National CPS PI Meeting 2012

file

Visible to the public Input-Output Robustness of Software Systems

Submitted by tabuada on Sun, 10/07/2012 - 12:29am. Contributors:

Abstract

A robust system is one that only modestly deviates from the nominal correct behavior upon the occurrence of small disturbances. Although it is accepted that engineered systems should be robust, it is less clear how to define robustness for Cyber-Physical Systems.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Submitted by Herbert Tanner on Sun, 10/07/2012 - 12:19am. Contributors:

Abstract

Scientific challenges. How can multiple cyber-physical systems be enabled and coordinated to accomplish complex tasks in unknown and adversarial environments?

file

Visible to the public Distributed Coordination of Agents For Air Traffic Flow Management

Submitted by Adrian Agogino on Sat, 10/06/2012 - 11:51pm. Contributors:

Abstract: This project addresses the management of the air traffic system, a cyber-physical system where the need for a tight connection between the computational algorithms and the physical system is critical to safe, reliable and efficient performance.