Parasara Sridhar Duggirala

Available identifiers

zbMath Open duggirala.parasara-sridharMaRDI QIDQ832031

List of research outcomes

Publication	Date of Publication	Type
Simulation-equivalent reachability of large linear systems with inputs	2022-07-01	Paper
Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems	2022-03-24	Paper
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems	2021-05-25	Paper
Rigorous Simulation-Based Analysis of Linear Hybrid Systems	2020-08-05	Paper
Extracting counterexamples induced by safety violation in linear hybrid systems	2020-05-29	Paper
Parsimonious, Simulation Based Verification of Linear Systems	2019-05-03	Paper
Lyapunov abstractions for inevitability of hybrid systems	2017-05-16	Paper
Hybrid automata-based CEGAR for rectangular hybrid systems	2015-10-30	Paper
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems	2014-11-03	Paper
Efficient probabilistic model checking of systems with ranged probabilities	2013-01-07	Paper

Research outcomes over time

This page was built for person: Parasara Sridhar Duggirala