Specification and Synthesis of Networked Control Systems with Application to Autonomous Vehicles

The emergence of wireless sensors and smartphones have created opportunities to understand and better manage �"in real-time�" the behavior of critical infrastructures, including their response to disruptive events. Ongoing resiliency research at CITRIS and the Banatao Institute involves improving the capacity of built infrastructure, such as our water systems, buildings, cybersecurity, and transportation, to withstand natural disasters, as well as helping communities prepare for and recover from major disruptions.