Correct-by-Design Synthesis of Neural Network Controllers

The use of artificial neural networks is becoming ever more ubiquitous as the computational power available to use grows. The widespread implementation of neural networks as controllers in the field of systems and control is however being hindered by the lack of verifiability of these controllers. One type of controller that does not lack...

Representing Symbolic Controllers with Deep Neural Networks

Controller synthesis techniques based on symbolic models or discrete abstractions are becoming increasingly attractive as they allow for synthesizing correct-by-design controllers of general nonlinear systems under complex behavioral requirements. However, its immense size as the consequence of the state-space explosion prohibits the approach to...

Symbolic models for braking systems