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

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

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

(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)