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:
CPS Domains
Robotics
Transportation
Automotive
CPS Technologies
Systems Engineering
Foundations
Modeling
Hybrid Models
Model Integration
2013
National CPS PI Meeting 2013
Presentation
Academia
Session 5: CPS PI Talks
License: CC-2.5
Submitted by Andre Platzer on