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

  • 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
Submitted by Andre Platzer on