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

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: Parasara Sridhar Duggirala