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

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

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 stochastic disturbances. Our method derives digital controllers such that the corresponding closed-loop system, modeled as a sa...

Full description

Bibliographic Details
Main Authors: Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Formal controller synthesis
parameter synthesis
probabilistic guarantees
safety verification
sampled-data nonlinear systems
satisfiability modulo theories
Online Access:https://ieeexplore.ieee.org/document/9211405/

Internet

https://ieeexplore.ieee.org/document/9211405/

Similar Items