Pavithra Prabhakar

Available identifiers

zbMath Open prabhakar.pavithraMaRDI QIDQ636271

List of research outcomes

Publication	Date of Publication	Type
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems	2024-02-21	Paper
Bounded Verification of Reachability of Probabilistic Hybrid Systems	2023-06-28	Paper
Stability analysis of planar probabilistic piecewise constant derivative 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	2020-05-07	Paper
Hybridization based CEGAR for hybrid automata with affine dynamics	2019-09-17	Paper
Counterexample Guided Abstraction Refinement for Stability Analysis	2019-05-03	Paper
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems	2018-10-02	Paper
Verification of Bounded Discrete Horizon Hybrid Automata	2017-09-08	Paper
Formal Synthesis of Stabilizing Controllers for Switched Systems	2017-07-11	Paper
Robust Model Checking of Timed Automata under Clock Drifts	2017-07-11	Paper
Hybridization for Stability Analysis of Switched Linear Systems	2017-05-19	Paper
A dynamic algorithm for approximate flow computations	2017-05-16	Paper
On the decidability of stability of hybrid systems	2017-05-16	Paper
Pre-orders for reasoning about stability	2017-05-16	Paper
Hybrid automata-based CEGAR for rectangular hybrid systems	2015-10-30	Paper
Deciding Concurrent Planar Monotonic Linear Hybrid Systems	2015-09-14	Paper
Abstraction-Refinement Based Optimal Control with Regular Objectives	2015-04-11	Paper
A decidable class of planar linear hybrid systems	2015-02-24	Paper
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems	2015-02-04	Paper
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems	2014-11-03	Paper
Automata and Logics over Signals	2013-02-26	Paper
Introduction to Hybrid Automata	2013-02-26	Paper
Specifications for decidable hybrid games	2011-12-07	Paper
Automata and logics over finitely varying functions	2011-08-26	Paper
Complexity Bounds for the Verification of Real-Time Software	2010-01-14	Paper
On Convergence of Concurrent Systems under Regular Interactions	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q5190775	2009-07-27	Paper
STORMED Hybrid Games	2009-04-30	Paper
A Decidable Class of Planar Linear Hybrid Systems	2008-09-02	Paper
STORMED Hybrid Systems	2008-08-19	Paper
On the Expressiveness of MTL with Past Operators	2008-07-08	Paper
Counter-Free Input-Determined Timed Automata	2008-07-03	Paper
On Continuous Timed Automata with Input-Determined Guards	2008-04-17	Paper

Research outcomes over time

This page was built for person: Pavithra Prabhakar