Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario ; Cordeiro, Lucas ; David, Cristina ; Kesseli, Pascal ; Kroening, Daniel
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017, p.197-206New York, NY, USA: ACM
Texto completo disponível