Publicaciones en las que colabora con Pavithra Prabhakar (14)

2020

  1. Abstraction based verification of stability of polyhedral switched systems

    Nonlinear Analysis: Hybrid Systems, Vol. 36

  2. Hybridization for Stability Verification of Nonlinear Switched Systems

    Proceedings - Real-Time Systems Symposium

2019

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

    2019 5th Indian Control Conference, ICC 2019 - Proceedings

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)

  3. From non-zenoness verification to termination

    2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015

2014

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

    Proceedings of the American Control Conference

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)