Cited in
(20)- Rigorous simulation-based analysis of linear hybrid systems
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- Scalable static hybridization methods for analysis of nonlinear systems
- BACH
- HyDI
- TopDeg
- SynchAADL2Maude
- Charon
- C2e2
- HyCreate
- HyComp
- HyLAA
- Model Predictive Control Toolbox
- XSat
- iSAT
- VERIFAI
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Reachability analysis for high-index linear differential algebraic equations
- Verisig
- Order-reduction abstractions for safety verification of high-dimensional linear systems
This page was built for software: HYST
