Pavithra Prabhakar

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 49

Top Topics

Hybrid Automata

Stability Analysis

Top Venues

Publications

Habeeb P, Pavithra Prabhakar
Approximate Conformance Verification of Deep Neural Networks. NFM (2024)
Lipsy Gupta, Jahid Chowdhury Choton, Pavithra Prabhakar
Safety Verification of Closed-loop Control System with Anytime Perception. ICRA (2024)
Spandan Das, Pavithra Prabhakar
Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems. CoRR (2023)
Spandan Das, Pavithra Prabhakar
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. HSCC (2023)
Ratan Lal, Pavithra Prabhakar
Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers. CDC (2023)
Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (10) (2023)
Vishnu Bondalakunta, Pavithra Prabhakar
Star Based Reachability Analysis of Interval Neural Networks. CDC (2023)
Jahid Chowdhury Choton, Pavithra Prabhakar
Optimal Multi-Robot Coverage Path Planning for Agricultural Fields using Motion Dynamics. ICRA (2023)
Jahid Chowdhury Choton, Mithila Jugulam, Pavithra Prabhakar
An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields. ICCPS (2023)
Spandan Das, Pavithra Prabhakar
Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL. CoRR (2022)
Spandan Das, Pavithra Prabhakar
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. QEST (2022)
Pavithra Prabhakar
Bisimulations for Neural Network Reduction. VMCAI (2022)
Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar
Formally Verified Switching Logic for Recoverability of Aircraft Controller. CAV (1) (2021)
Ratan Lal, Pavithra Prabhakar
Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying. ICRA (2021)
Pavithra Prabhakar, Jun Liu
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ADHS (2021)
Pavithra Prabhakar
Bisimulations for Neural Network Reduction. CoRR (2021)
Spandan Das, Pavithra Prabhakar
Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics. CoRR (2021)
Ratan Lal, Weikang Duan, Pavithra Prabhakar
Bayesian Statistical Model Checking for Continuous Stochastic Logic. MEMOCODE (2020)
P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza
Verifying Band Convergence for Sampled Control Systems. NFM (2020)
Pavithra Prabhakar, Zahra Rahimi Afzal
Abstraction based Output Range Analysis for Neural Networks. CoRR (2020)
Ratan Lal, Pavithra Prabhakar
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress. EMSOFT (2020)
Zahra Rahimi Afzal, Pavana Prabhakar, Pavithra Prabhakar
Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints. CoRR (2020)
Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM (2020)
Miriam García Soto, Pavithra Prabhakar
Hybridization for Stability Verification of Nonlinear Switched Systems. RTSS (2020)
Atreyee Kundu, Pavithra Prabhakar
Learning event-driven switched linear systems. CoRR (2020)
Pavithra Prabhakar, Zahra Rahimi Afzal
Abstraction based Output Range Analysis for Neural Networks. NeurIPS (2019)
Yoke Peng Leong, Pavithra Prabhakar
Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement. ICRA (2019)
Ratan Lal, Pavithra Prabhakar
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. MEMOCODE (2019)
Ratan Lal, Pavithra Prabhakar
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Ratan Lal, Pavithra Prabhakar
Bounded Verification of Reachability of Probabilistic Hybrid Systems. QEST (2018)
Miriam Garcia Soto, Pavithra Prabhakar
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. HSCC (2018)
Pavithra Prabhakar, Ratan Lal, James Kapinski
Automatic Trace Generation for Signal Temporal Logic. RTSS (2018)
Pavithra Prabhakar, Jun Liu, Richard M. Murray
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. 28 (3) (2018)
Ratan Lal, Pavithra Prabhakar
Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. Allerton (2018)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
Relating Syntactic and Semantic Perturbations of Hybrid Automata. CONCUR (2018)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
Robust Model Checking of Timed Automata under Clock Drifts. HSCC (2017)
Pavithra Prabhakar, Miriam Garcia Soto
Formal Synthesis of Stabilizing Controllers for Switched Systems. HSCC (2017)
Ratan Lal, Ajay Sharda, Pavithra Prabhakar
Optimal multi-robot path planning for pesticide spraying in agricultural fields. CDC (2017)
Ratan Lal, Pavithra Prabhakar
Safety analysis using compositional bounded error approximations of communicating hybrid systems. CDC (2017)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. TACAS (1) (2017)
Wenji Zhang, Pavithra Prabhakar, Balasubramaniam Natarajan
Abstraction based reachability analysis for finite branching stochastic hybrid systems. ICCPS (2017)
Martin Fränzle, James Kapinski, Pavithra Prabhakar
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Dagstuhl Reports 6 (9) (2016)
Pavithra Prabhakar, Miriam Garcia Soto
Counterexample Guided Abstraction Refinement for Stability Analysis. CAV (1) (2016)
Pavithra Prabhakar, Miriam Garcia Soto
Hybridization for Stability Analysis of Switched Linear Systems. HSCC (2016)
Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal
Verification Techniques for Hybrid Systems. ISoLA (2) (2016)
Pavithra Prabhakar, Jun Liu
Bisimulations for input-output stability of hybrid systems. CDC (2016)
Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. TACAS (2016)
Yoke Peng Leong, Pavithra Prabhakar
Optimal control with regular objectives using an abstraction-refinement approach. ACC (2016)
Pavithra Prabhakar, Miriam Garcia Soto
An algorithmic approach to global asymptotic stability verification of hybrid systems. EMSOFT (2016)
Pavithra Prabhakar, Miriam Garcia Soto
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. SNR@CAV (2015)
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
A decidable class of planar linear hybrid systems. Theor. Comput. Sci. 574 (2015)
Ratan Lal, Pavithra Prabhakar
Bounded error flowpipe computation of parameterized linear systems. EMSOFT (2015)
Pavithra Prabhakar, Miriam Garcia Soto
AVERIST: An Algorithmic Verifier for Stability. Electron. Notes Theor. Comput. Sci. 317 (2015)
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46 (2) (2015)
Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar
From non-zenoness verification to termination. MEMOCODE (2015)
Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan
Deciding Concurrent Planar Monotonic Linear Hybrid Systems. FORMATS (2015)
Pavithra Prabhakar, Miriam Garcia Soto
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. VMCAI (2015)
Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
Stability Preserving Simulations and Bisimulations for Hybrid Systems. IEEE Trans. Autom. Control. 60 (12) (2015)
Scott C. Livingston, Pavithra Prabhakar
Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications. DARS (2014)
Jun Liu, Pavithra Prabhakar
Switching control of dynamical systems from metric temporal logic specifications. ICRA (2014)
Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). Dagstuhl Reports 4 (3) (2014)
Pavithra Prabhakar, Miriam Garcia Soto
An algorithmic approach to stability verification of polyhedral switched systems. ACC (2014)
Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray
Patching task-level robot controllers based on a local μ-calculus formula. ICRA (2013)
Pavithra Prabhakar, Jun Liu, Richard M. Murray
Pre-orders for reasoning about stability properties with respect to input of hybrid systems. EMSOFT (2013)
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI (2013)
Pavithra Prabhakar, Miriam Garcia Soto
Abstraction Based Model-Checking of Stability of Hybrid Systems. CAV (2013)
Pavithra Prabhakar, Boris Köpf
Verifying information flow properties of hybrid systems. HiCoNS (2013)
Pavithra Prabhakar, Mahesh Viswanathan
On the decidability of stability of hybrid systems. HSCC (2013)
Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. ACC (2013)
Pavithra Prabhakar
Foundations for approximation based analysis of stability properties of hybrid systems. Allerton Conference (2012)
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
Verification of Bounded Discrete Horizon Hybrid Automata. IEEE Trans. Autom. Control. 57 (6) (2012)
Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan
Pre-orders for reasoning about stability. HSCC (2012)
Pavithra Prabhakar, Mahesh Viswanathan
Conformance Testing of Boolean Programs with Multiple Faults. FMOODS/FORTE (2012)
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
Specifications for decidable hybrid games. Theor. Comput. Sci. 412 (48) (2011)
Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan
Behavior Based Service Composition. WS-FM (2011)
Pavithra Prabhakar, Mahesh Viswanathan
A dynamic algorithm for approximate flow computations. HSCC (2011)
Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan
Complexity Bounds for the Verification of Real-Time Software. VMCAI (2010)
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
Verifying Tolerant Systems Using Polynomial Approximations. RTSS (2009)
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
STORMED Hybrid Games. HSCC (2009)
Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar
Automata and logics over finitely varying functions. Ann. Pure Appl. Log. 161 (3) (2009)
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan
On Convergence of Concurrent Systems under Regular Interactions. CONCUR (2009)
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud
STORMED Hybrid Systems. ICALP (2) (2008)
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
A Decidable Class of Planar Linear Hybrid Systems. HSCC (2008)
Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS (2008)
Deepak D'Souza, Pavithra Prabhakar
On the expressiveness of MTL in the pointwise and continuous semantics. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
Counter-Free Input-Determined Timed Automata. FORMATS (2007)
Pavithra Prabhakar, Deepak D'Souza
On the Expressiveness of MTL with Past Operators. FORMATS (2006)
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
On Continuous Timed Automata with Input-Determined Guards. FSTTCS (2006)