When deployed into real environments, control systems need to be able to operate when their sensor data can become 'missing' (e.g., a vehicle's radar system may incorrectly detect a falling leaf as a vehicle on the road, or a distributed control system ...

In this paper, we consider the problem of formally verifying the safety of an autonomous robot equipped with a Neural Network (NN) controller that processes LiDAR images to produce control actions. Given a workspace that is characterized by a set of ...

In this paper we study how to formulate the optimal control problem for a piecewise-affine dynamical system as a mixed-integer program. Problems of this form arise typically in hybrid Model Predictive Control (MPC), where at every time step an open-loop ...

We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by boolean ...

HSCC focuses on original research that involves concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid systems with an emphasis on computational aspects. Papers in HSCC range ...