Generating Box Invariants

DOI10.1007/978-3-540-78929-1_58zbMATH Open1144.93311OpenAlexW1869606479MaRDI QIDQ3523152FDOQ3523152

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

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

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)

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)