Implementing Symbolic Controllers into FPGAs

Embedded control systems are processor-based systems that need to run an application for an extended amount of time, such as months or years. Typically, they implement a realtime function to control a system. Embedded systems are implemented using hardware and software to perform an specific task. This is why they can be optimized to reduce its...

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...