Pavithra Prabhakar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Approximate Conformance Verification of Deep Neural Networks.

[BibT_eX]

[DOI]

Habeeb P

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Safety Verification of Closed-loop Control System with Anytime Perception.

[BibT_eX]

[DOI]

Lipsy Gupta

Jahid Chowdhury Choton

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Verification of Camera-Based Autonomous Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023

Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Optimal Multi-Robot Coverage Path Planning for Agricultural Fields using Motion Dynamics.

[BibT_eX]

[DOI]

Jahid Chowdhury Choton

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

An End-to-End Multi-Robot Framework for Weed Control in Agricultural Fields.

[BibT_eX]

[DOI]

Jahid Chowdhury Choton

Mithila Jugulam

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Star Based Reachability Analysis of Interval Neural Networks.

[BibT_eX]

[DOI]

Vishnu Bondalakunta

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL.

[BibT_eX]

[DOI]

CoRR, 2022

Bisimulations for Neural Network Reduction.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics.

[BibT_eX]

[DOI]

CoRR, 2021

Time-Optimal Multi-Quadrotor Trajectory Planning for Pesticide Spraying.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Formally Verified Switching Logic for Recoverability of Aircraft Controller.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Learning event-driven switched linear systems.

[BibT_eX]

[DOI]

Atreyee Kundu

CoRR, 2020

Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints.

[BibT_eX]

[DOI]

Zahra Rahimi Afzal

Pavana Prabhakar

CoRR, 2020

Hybridization for Stability Verification of Nonlinear Switched Systems.

[BibT_eX]

[DOI]

Miriam García Soto

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Verifying Band Convergence for Sampled Control Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Model Checking Timed Hyperproperties in Discrete-Time Systems.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

César Sánchez

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Bayesian Statistical Model Checking for Continuous Stochastic Logic.

[BibT_eX]

[DOI]

Weikang Duan

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Embedded Software, 2020

2019

Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Abstraction based Output Range Analysis for Neural Networks.

[BibT_eX]

[DOI]

Zahra Rahimi Afzal

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement.

[BibT_eX]

[DOI]

Yoke Peng Leong

Proceedings of the International Conference on Robotics and Automation, 2019

2018

Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems.

[BibT_eX]

[DOI]

Richard M. Murray

Discret. Event Dyn. Syst., 2018

Automatic Trace Generation for Signal Temporal Logic.

[BibT_eX]

[DOI]

James Kapinski

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Bounded Verification of Reachability of Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Relating Syntactic and Semantic Perturbations of Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

2017

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Abstraction based reachability analysis for finite branching stochastic hybrid systems.

[BibT_eX]

[DOI]

Wenji Zhang

Balasubramaniam Natarajan

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Robust Model Checking of Timed Automata under Clock Drifts.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Formal Synthesis of Stabilizing Controllers for Switched Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Optimal multi-robot path planning for pesticide spraying in agricultural fields.

[BibT_eX]

[DOI]

Ajay Sharda

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Safety analysis using compositional bounded error approximations of communicating hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362).

[BibT_eX]

[DOI]

Martin Fränzle

James Kapinski

Dagstuhl Reports, 2016

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Verification Techniques for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Hybridization for Stability Analysis of Switched Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

An algorithmic approach to global asymptotic stability verification of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Embedded Software, 2016

Bisimulations for input-output stability of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Counterexample Guided Abstraction Refinement for Stability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Optimal control with regular objectives using an abstraction-refinement approach.

[BibT_eX]

[DOI]

Yoke Peng Leong

Proceedings of the 2016 American Control Conference, 2016

2015

A decidable class of planar linear hybrid systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Stability Preserving Simulations and Bisimulations for Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Hybrid automata-based CEGAR for rectangular hybrid systems.

[BibT_eX]

[DOI]

Parasara Sridhar Duggirala

Sayan Mitra

Formal Methods Syst. Des., 2015

AVERIST: An Algorithmic Verifier for Stability.

[BibT_eX]

[DOI]

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

From non-zenoness verification to termination.

[BibT_eX]

[DOI]

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Deciding Concurrent Planar Monotonic Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Bounded error flowpipe computation of parameterized linear systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Embedded Software, 2015

An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

2014

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122).

[BibT_eX]

[DOI]

Rupak Majumdar

Richard M. Murray

Dagstuhl Reports, 2014

Switching control of dynamical systems from metric temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Scott C. Livingston

Proceedings of the Distributed Autonomous Robotic Systems, 2014

An algorithmic approach to stability verification of polyhedral switched systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Patching task-level robot controllers based on a local μ-calculus formula.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

On the decidability of stability of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Verifying information flow properties of hybrid systems.

[BibT_eX]

[DOI]

Boris Köpf

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Pre-orders for reasoning about stability properties with respect to input of hybrid systems.

[BibT_eX]

[DOI]

Richard M. Murray

Proceedings of the International Conference on Embedded Software, 2013

Abstraction Based Model-Checking of Stability of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Verification of Bounded Discrete Horizon Hybrid Automata.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Pre-orders for reasoning about stability.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Conformance Testing of Boolean Programs with Multiple Faults.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

Foundations for approximation based analysis of stability properties of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

Introduction to Hybrid Automata.

[BibT_eX]

[DOI]

Madhu Gopinathan

Proceedings of the Modern Applications of Automata Theory., 2012

Automata and Logics over Signals.

[BibT_eX]

[DOI]

Fabrice Chevalier

Raj Mohan Matteplackel

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Approximation Based Safety and Stability Verification of Hybrid Systems

[BibT_eX]

[DOI]

PhD thesis, 2011

Specifications for decidable hybrid games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Behavior Based Service Composition.

[BibT_eX]

[DOI]

Fangzhe Chang

Ramesh Viswanathan

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

A dynamic algorithm for approximate flow computations.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Complexity Bounds for the Verification of Real-Time Software.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

2009

Automata and logics over finitely varying functions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2009

Verifying Tolerant Systems Using Polynomial Approximations.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

STORMED Hybrid Games.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On Convergence of Concurrent Systems under Regular Interactions.

[BibT_eX]

[DOI]

Sayan Mitra

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.

[BibT_eX]

[DOI]

Peter Csaba Ölveczky

Xue Liu

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

STORMED Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

On the expressiveness of MTL in the pointwise and continuous semantics.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Counter-Free Input-Determined Timed Automata.

[BibT_eX]

[DOI]

Fabrice Chevalier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

On Continuous Timed Automata with Input-Determined Guards.

[BibT_eX]

[DOI]

Fabrice Chevalier

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

On the Expressiveness of MTL with Past Operators.

[BibT_eX]

[DOI]