HYST
From MaRDI portal
Software:31959
No author found.
Related Items (6)
Reachability analysis for high-index linear differential algebraic equations ⋮ Time-triggered conversion of guards for reachability analysis of hybrid automata ⋮ Order-reduction abstractions for safety verification of high-dimensional linear systems ⋮ Scalable Static Hybridization Methods for Analysis of Nonlinear Systems ⋮ Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems
This page was built for software: HYST
