Dario Cattaruzza
Dario Cattaruzza
Selected Publications
-
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Daniel Kroening Alessandro Abate Iury Bessa Dario Cattaruzza Lucas C. Cordeiro Cristina David Pascal Kesseli
2017.
Details about Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants | BibTeX data for Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
-
Unbounded−Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Dario Cattaruzza‚ Alessandro Abate‚ Peter Schrammel and Daniel Kroening
2015.
Details about Unbounded−Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration | BibTeX data for Unbounded−Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration