Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
From MaRDI portal
Publication:5275332
DOI10.1145/3049797.3049802zbMath1369.93189arXiv1610.04761OpenAlexW2537041723MaRDI QIDQ5275332
Pascal Kesseli, Dario Cattaruzza, Daniel Kroening, Cristina David, Iury Bessa, Lucas Cordeiro, Alessandro Abate
Publication date: 11 July 2017
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.04761
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers ⋮ Automated formal synthesis of provably safe digital controllers for continuous plants ⋮ DSSynth
This page was built for publication: Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants