A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
DOI10.1007/S11786-014-0204-YzbMATH Open1302.65123OpenAlexW1997352513MaRDI QIDQ475431FDOQ475431
Authors: Moussa Maïga, Nacim Ramdani, Louise Travé-Massuyès, Christophe Combastel 
Publication date: 27 November 2014
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-014-0204-y
Recommendations
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Hybrid Systems: Computation and Control
General methods in interval analysis (65G40) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Hybrid systems of ordinary differential equations (34A38)
Cites Work
- PROFIL/BIAS - A fast interval library
- Title not available (Why is that?)
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Title not available (Why is that?)
- Reachability Analysis of Hybrid Systems Using Support Functions
- Title not available (Why is that?)
- A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- The algorithmic analysis of hybrid systems
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- A state event detection algorithm for numerically simulating hybrid systems with model singularities
- Reliable solution of special event location problems for ODEs
- Complete search in continuous global optimization and constraint satisfaction
- State event location in differential-algebraic models
- Validated solutions of initial value problems for ordinary differential equations
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Title not available (Why is that?)
- Constraint propagation with interval labels
- Comparing partial consistencies
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Title not available (Why is that?)
Cited In (10)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Range sets for weak efficiency in multiobjective linear programming and a parametric polytopes intersection problem
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Set-membership identifiability of nonlinear models and related parameter estimation properties
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Hybrid Systems: Computation and Control
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
Uses Software
This page was built for publication: A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q475431)
