Publicacions (16) Publicacions de MIRIAM GARCÍA SOTO

2022

  1. Synthesis of Parametric Hybrid Automata from Time Series

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

2021

  1. Synthesis of hybrid automata with affine dynamics from time-series data

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

2019

  1. Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems

    2019 5th Indian Control Conference, ICC 2019 - Proceedings

  2. Membership-Based Synthesis of Linear Hybrid Automata

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

2018

  1. Averist: Algorithmic verifier for stability of linear hybrid systems

    HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

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. An algorithmic approach to global asymptotic stability verification of hybrid systems

    Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016

  2. Counterexample guided abstraction refinement for stability analysis

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

  3. Erratum to: Verification Techniques for Hybrid Systems (Leveraging Applications of Formal Methods, Verification and Validation (Part II) 10.1007/978-3-319-47169-3_61)

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

  4. Hybridization for stability analysis of switched linear systems

    HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control

2015

  1. AVERIST: An Algorithmic Verifier for Stability

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

  2. Foundations of quantitative predicate abstraction for stability analysis of hybrid systems

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

2013

  1. Abstraction based model-checking of stability of hybrid systems

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