Abstract: This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save hu- man lives.

Abstract: Processors in cyber‐physical systems are increasingly being used in applications where they must operate in harsh ambient conditions and a computational workload which can lead to high chip temperatures. Examples include cars, robots, aircraft and spacecraft. High operating temperatures accelerate the aging of the chips, thus increasing transient and permanent failure rates. Current ways to deal with this mostly turn off the processor core or drastically slow it down when some part of it is seen to exceed a given temperature threshold.

Abstract: The project is developing novel architectures for control and diagnosis of complex cyber-­‐physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-­‐increasing demands necessitate the use of formal model-­‐based approaches to synthesize provably-­‐correct feedback controllers.

Abstract: The research objective of this project is to bridge two disparate paths to the control of hybrid dynamical systems—namely, symbolic model-based and Lyapunov analysis-based approaches—via convex programming in order to address major challenges in hybrid control. Hybrid systems are characterized by the presence of both continuous dynamics and discrete logic that interact with each other.