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
https://portal.mardi4nfdi.de/entity/Q5009441	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
Pre-orders for reasoning about stability	2017-05-16	Paper
On the decidability of stability of hybrid systems	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
Introduction to Hybrid Automata	2013-02-26	Paper
Automata and Logics over Signals	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pavithra Prabhakar