Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (4)

2017

  1. Formal synthesis of stabilizing controllers for switched systems

    HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

2016

  1. Counterexample guided abstraction refinement for stability analysis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. AVERIST: An Algorithmic Verifier for Stability

    Electronic Notes in Theoretical Computer Science, Vol. 317, pp. 133-139

2014

  1. An algorithmic approach to stability verification of polyhedral switched systems

    Proceedings of the American Control Conference