Abate, Alessandro ; Bessa, Lury ; Cattaruzza, Dario... Abate , A , Bessa , L , Cattaruzza , D , Cordeiro , L , David , C , Kesseli , P & Kroening , D 2017 , Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants . in HSCC '17: Proceedings of the 20th International Conference on Hybrid Systems : Computation and Control . Association for Computing Machinery (ACM) , pp. 197–206 , ACM International Conference on Hybrid Systems , Pittsburgh , Pennsylvania , United States , 18/04/17 . https://doi.org/10.1145/3049797.3049802.
,
2017
Abate, Alessandro ; Bessa, Lury ; Cattaruzza, Dario... Abate , A , Bessa , L , Cattaruzza , D , Chaves , L , Cordeiro , L , David , C , Kesseli , P , Kroening , D & Polgreen , E 2017 , DSSynth : An automated digital controller synthesis tool for physical plants . in ASE 2017 : Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering . Association for Computing Machinery (ACM) , pp. 919–924 . https://doi.org/10.1109/ASE.2017.8115705.
,
2017
