Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
| Title: | Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants |
|---|---|
| Authors: | Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel |
| Source: | Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. :197-206 |
| Availability: | http://dl.acm.org/doi/10.1145/3049797.3049802 |
| Database: | ACM Full-Text Collection |