Pavithra Prabhakar
From MaRDI portal
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
