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

arXiv: Systems and Control, Volume abs/1901.03315, 2019.

Cited by: 0|Bibtex|Views25|Links
EI

Abstract:

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 sampled-data stochastic control system, sa...More

Code:

Data:

Your rating :
0

 

Tags
Comments