Generating Box Invariants
From MaRDI portal
Publication:3523152
Recommendations
Cited in
(10)- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
- Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes
- Generating invariants for non-linear hybrid systems
- Box invariance in biologically-inspired dynamical systems
- Pegasus: sound continuous invariant generation
- Verification of Hybrid Systems
- Generating invariants for non-linear loops by linear algebraic methods
- Pegasus: a framework for sound continuous invariant generation
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
This page was built for publication: Generating Box Invariants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523152)