Logical Foundations of Cyber-Physical Systems - André Platzer

Download
pdf

Logical Foundations of Cyber-Physical Systems

CPS are Multi-dynamical Systems

Dynamic Logic of Multi-dynamical Systems

Proofs for CPS

Theory of CPS

  Soundness and Completeness

  Differential Invariants

Applications

Summary

Tags:
License: CC-2.5
Submitted by Andre Platzer on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.