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

One of the major challenges in design of complex networked control systems –such as those arising in aerospace, computing, robotics, critical infrastructure and manufacturing systems, to name a few– is insuring that the combination of dynamical behavior and logical decision-making satisfy detailed safety and performance specifications.