Dario Cattaruzza : Publications

Journal papers

• [1]

  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

• [2]

  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