Dario Cattaruzza : Publications

Click here to download all publications in a single bibtex file

@article{Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants,
  title = "Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants",
  author = "Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening",
  year = "2017",
}

@article{Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration,
  title = "Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration",
  author = "Dario Cattaruzza and Alessandro Abate and Peter Schrammel and Daniel Kroening",
  year = "2015",
}