High-Dimensional Optimal State-Feedback Mapping using Deep Neural Networks for Agile Quadrotor Flight

For most robotics applications, optimal control remains a promising solution for solving complex control tasks. One example is the time-optimal flight of Micro Air Vehicles (MAVs), where strict computational requirements fail to resolve such algorithms onboard. Recent work on the use of deep neural networks for guidance and control (G&CNets)...

Formal Synthesis of Optimal Neural Network Controllers

Stability, safety and optimality are often sought-after properties in the field of controller synthesis. In the last century, linear control theory has matured to a level where scalable algorithms are widely available that are able to synthesize controllers with stability and optimality guarantee. However, the synthesis of safe controllers...