Submitted by John Hatcliff on October 24th, 2013
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
Submitted by Andre Platzer on October 18th, 2013
Submitted by Anuradha Annaswamy on October 18th, 2013
File
Formally Analyzing Human-User Interactions with Cyber-Physical Systems - Sriram Sankaranarayanan
Submitted by Sriram Sankaranarayanan on October 18th, 2013