2013

file

Visible to the public FORCES Overview - Shankar Sastry

Submitted by S. Shankar Sastry on Mon, 10/21/2013 - 12:34pm. Contributor:

Abstract:

Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric- power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and control by exploiting the advances in wireless sensor-actuator networks, the internet of "everything", data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of com- putational and physical components. In addition, in many cases, CPS also interact with human decision makers.

file

Visible to the public Logical Foundations of Cyber-Physical Systems - André Platzer

Submitted by Andre Platzer on Fri, 10/18/2013 - 5:16pm. Contributor:

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

file

Visible to the public Designing-in Cyber Security - Darren Cofer

Submitted by dcofer on Fri, 10/18/2013 - 11:58am. Contributor:

Darren Cofer is a Principal Systems Engineer with Rockwell Collinsi Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.