Logical Foundations of Cyber-Physical Systems - André Platzer
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
License:
Creative Commons 2.5 
PDF document- 3.59 MB
- 299 downloads
- Download
- PDF version
- Printer-friendly version