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

• Published in: IEEE access Vol. 8; pp. 180825 - 180843
• Main Authors: Shmarov, Fedor, Soudjani, Sadegh, Paoletti, Nicola, Bartocci, Ezio, Lin, Shan, Smolka, Scott A., Zuliani, Paolo
• Format: Journal Article
• Language: English
• Published: Piscataway IEEE 2020; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Automation; Closed loop systems; Controllers; Dynamical systems; Evaluation; Feedback control; Formal controller synthesis; Lyapunov methods; Noise measurement; Nonlinear dynamics; Nonlinear systems; Optimal control; Optimization; Pancreas; parameter synthesis; Powertrain; probabilistic guarantees; Safety; safety verification; sampled-data nonlinear systems; satisfiability modulo theories; Stability analysis; statistical model checking; Stochastic processes; Stochastic systems; Synthesis; Systems analysis

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