Parasara Sridhar Duggirala

MaRDI QIDQ832031zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 (available as arXiv preprint)	2022-03-24	Paper
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems (available as arXiv preprint)	2021-05-25	Paper
Rigorous simulation-based analysis of linear hybrid systems Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Extracting counterexamples induced by safety violation in linear hybrid systems Automatica	2020-05-29	Paper
Parsimonious, Simulation Based Verification of Linear Systems Computer Aided Verification	2019-05-03	Paper
Lyapunov abstractions for inevitability of hybrid systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control	2017-05-16	Paper
Hybrid automata-based CEGAR for rectangular hybrid systems Formal Methods in System Design	2015-10-30	Paper
Hybrid automata-based CEGAR for rectangular hybrid systems Lecture Notes in Computer Science	2014-11-03	Paper
Efficient probabilistic model checking of systems with ranged probabilities Lecture Notes in Computer Science	2013-01-07	Paper

Research outcomes over time

This page was built for person: Parasara Sridhar Duggirala