Abstract: Future CPS will include large, decentralized systems of semi-autonomous sensor and actuator components, and will need to operate safely beyond human response times. One current data-rich example is the U.S. network of electronic exchange networks which is the largest and fastest network CPS in existence, but is already known to produce a wide variety of sub-second instabilities that are little understood and which impact safety, efficiency and accuracy.

Ravishankar Iyer is the George and Ann Fisher Distinguished Professor of Engineering at the University of Illinois at Urbana-Champaign. He holds joint appointments in the Department of Electrical and Computer Engineering, the Coordinated Science Laboratory (CSL), and the Department of Computer Science and serves as Chief Scientist of the Information Trust Institute and is affiliate faculty of the National Center for Supercomputing Applications (NCSA) and the Carl R. Woese Institute for Genomic Biology at Illinois.

Alec Yasinsac is Professor and Dean of the School of Computing at the University of South Alabama. He joined the School of Computing in July 2008 after spending nine years on the faculty at Florida State University which followed a twenty year career in the United States Marines as a Data Systems and Communications Officer.

Abstract: The Internet of Things is emerging as a critical technology of the next decade, but no-one has yet asked what a security-driven architecture for these applications would look like. The web has shown us that applying existing technologies and a rush to development lead to tremendous security flaws that have piecemeal solutions.

Insup Lee is Cecilia Fitler Moore Professor of Computer and Information Science and Director of PRECISE Center, which he co-founded in 2008 at the University of Pennsylvania. His research interests include cyber- physical systems (CPS), real-time systems, embedded systems, high- confidence medical device systems, formal methods, run-time verification, assurance cases, CPS security, and trust management. The theme of his research activities has been to assure and improve the safety, security, and timeliness of life-critical embedded systems.

Liuyang Lily Yang (aka Lily Yang) is a Principal Engineer in Security and Privacy Research at Intel Labs, Hillsboro, Oregon, USA. Lily joined Intel in 1995 and over the last 21 years has held a number of positions at Intel in research, standard development, R&D management, product planning, product management and now academic partnership management.

Abstract: Success of numerous autonomous and unmanned missions in space, air, ground, and water is measured by the ability of the robots to usefully operate for extended time in highly dynamic and potentially hazardous environments. Persistent operation in unstructured environments hinges on active resource utilization, an example of which is collective power management.

Abstract: We will introduce SOlSTICe, a software synthesis framework that addresses the timing challenges in CPS by quantitatively exploring timing constraints for multiple conflicting design metrics and across multiple abstraction layers, and using these timing constraints to drive the design space exploration.

Saurabh Amin is the Robert N. Noyce Career Development Assistant Professor in the Department of Civil and Environmental Engineering, Massachusetts Institute of Technology (MIT). His research focuses on the design and implementation of high confidence network control algorithms for infrastructure systems. He works on robust diagnostics and control problems that involve using networked systems to facilitate the monitoring and control of large-scale critical infrastructures, including transportation, water, and energy distribution systems.