Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti +4

We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochas…