Dr.
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
