A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
From MaRDI portal
(Redirected from Publication:475431)
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
Cites work
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- scientific article; zbMATH DE number 2035082 (Why is no real title available?)
- scientific article; zbMATH DE number 1794371 (Why is no real title available?)
- scientific article; zbMATH DE number 744075 (Why is no real title available?)
- scientific article; zbMATH DE number 854566 (Why is no real title available?)
- scientific article; zbMATH DE number 903761 (Why is no real title available?)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
- A state event detection algorithm for numerically simulating hybrid systems with model singularities
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Comparing partial consistencies
- Complete search in continuous global optimization and constraint satisfaction
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Constraint propagation with interval labels
- Hybrid Systems: Computation and Control
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- PROFIL/BIAS - A fast interval library
- Reachability Analysis of Hybrid Systems Using Support Functions
- Reliable solution of special event location problems for ODEs
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- State event location in differential-algebraic models
- The algorithmic analysis of hybrid systems
- Validated solutions of initial value problems for ordinary differential equations
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
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
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)
