Preface

Abstract

Cyber-physical systems involve interactions between computer-controlled and actuator-enabled components, whose dynamics have thus far been modeled, designed, and analyzed separately, but now need to be investigated and taught jointly. They control much of the world’s critical infrastructure: power generation, telecommunications, water supply, and industrial control systems. Because of their critical nature, known, predictable, and secure behavior of cyber-physical systems is necessary to ensure the safety of the people whom these systems serve. Yet most cyber-physical systems provide limited operational guarantee outside of nominal conditions