Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. In Goran Frehse, Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. pages 197-206, ACM, 2017. [doi]
Abstract is missing.