List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Bounded Verification of Reachability of Probabilistic Hybrid Systems Quantitative Evaluation of Systems | 2023-06-28 | Paper |
| Stability analysis of planar probabilistic piecewise constant derivative systems Quantitative Evaluation of Systems | 2023-06-02 | Paper |
| Bisimulations for neural network reduction | 2022-07-08 | Paper |
| Relating syntactic and semantic perturbations of hybrid automata | 2021-08-04 | Paper |
| Abstraction based verification of stability of polyhedral switched systems Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
| Hybridization based CEGAR for hybrid automata with affine dynamics | 2019-09-17 | Paper |
| Counterexample guided abstraction refinement for stability analysis Computer Aided Verification | 2019-05-03 | Paper |
| Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems Discrete Event Dynamic Systems | 2018-10-02 | Paper |
| Verification of Bounded Discrete Horizon Hybrid Automata IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
| Formal synthesis of stabilizing controllers for switched systems Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
| Robust model checking of timed automata under clock drifts Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
| Hybridization for Stability Analysis of Switched Linear Systems Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| A dynamic algorithm for approximate flow computations Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| On the decidability of stability of hybrid systems Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Pre-orders for reasoning about stability Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Hybrid automata-based CEGAR for rectangular hybrid systems Formal Methods in System Design | 2015-10-30 | Paper |
| Deciding concurrent planar monotonic linear hybrid systems Lecture Notes in Computer Science | 2015-09-14 | Paper |
| Abstraction-Refinement Based Optimal Control with Regular Objectives | 2015-04-11 | Paper |
| A decidable class of planar linear hybrid systems Theoretical Computer Science | 2015-02-24 | Paper |
| Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems Lecture Notes in Computer Science | 2015-02-04 | Paper |
| Hybrid automata-based CEGAR for rectangular hybrid systems Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Automata and logics over signals Modern Applications of Automata Theory | 2013-02-26 | Paper |
| Introduction to hybrid automata Modern Applications of Automata Theory | 2013-02-26 | Paper |
| Specifications for decidable hybrid games Theoretical Computer Science | 2011-12-07 | Paper |
| Automata and logics over finitely varying functions Annals of Pure and Applied Logic | 2011-08-26 | Paper |
| Complexity bounds for the verification of real-time software Lecture Notes in Computer Science | 2010-01-14 | Paper |
| On Convergence of Concurrent Systems under Regular Interactions CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5587267 (Why is no real title available?) | 2009-07-27 | Paper |
| STORMED Hybrid Games Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
| A Decidable Class of Planar Linear Hybrid Systems Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
| STORMED Hybrid Systems Automata, Languages and Programming | 2008-08-19 | Paper |
| On the Expressiveness of MTL with Past Operators Lecture Notes in Computer Science | 2008-07-08 | Paper |
| Counter-Free Input-Determined Timed Automata Lecture Notes in Computer Science | 2008-07-03 | Paper |
| On Continuous Timed Automata with Input-Determined Guards FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
Research outcomes over time
This page was built for person: Pavithra Prabhakar
