Generating Box Invariants

DOI10.1007/978-3-540-78929-1_58MaRDI QIDQ3523152zbMATH OpenOpenAlexFDO

Authors Ashish 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)

Recommendations

• Box invariance in biologically-inspired dynamical systems
• Hybrid Systems: Computation and Control
• Constructing invariants for hybrid systems
• Generating invariants for non-linear hybrid systems
• Invariant sets computation for convex difference inclusions systems

Cited in

(11)

• Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes
• Pegasus: sound continuous invariant generation
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Generating invariants for non-linear hybrid systems
• Verification of Hybrid Systems
• Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
• Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
• Pegasus: a framework for sound continuous invariant generation
• Differential elimination and algebraic invariants of polynomial dynamical systems
• Generating invariants for non-linear loops by linear algebraic methods
• Box invariance in biologically-inspired dynamical systems

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)