The following pages link to Parasara Sridhar Duggirala (Q832031):
Displaying 9 items.
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Simulation-equivalent reachability of large linear systems with inputs (Q2151263) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (Q2926638) (← links)
- Lyapunov abstractions for inevitability of hybrid systems (Q2986758) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Parsimonious, Simulation Based Verification of Linear Systems (Q4633548) (← links)
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities (Q4899147) (← links)
