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, […]