About the Event
Cyber-physical systems (CPSs) are integrations of computation, communication and physical processes. An outstanding challenge in the design of reliable CPSs is the complex interactions between heterogeneous system components as well as interactions with the dynamic environment the system operates in. In this talk, I will discuss how ideas from control theory and theoretical computer science can be combined to develop provably-correct hierarchical controllers for such systems. I will present an aircraft electric power system case-study and point out several feedback decision-making problems that arise in the design of such a system.