Generating Box Invariants

DOI10.1007/978-3-540-78929-1_58zbMath1144.93311OpenAlexW1869606479MaRDI QIDQ3523152

Ashish Kumar Tiwari

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_58

Mathematics Subject Classification ID

Algebraic methods (93B25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Verification of Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Generating invariants for non-linear loops by linear algebraic methods ⋮ Box invariance in biologically-inspired dynamical systems ⋮ Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Generating invariants for non-linear hybrid systems