A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability

DOI10.1007/s11786-014-0204-yzbMath1302.65123OpenAlexW1997352513MaRDI QIDQ475431

Moussa Maïga, Nacim Ramdani, Christophe Combastel, Louise Travé-Massuyès

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

zbMATH Keywords

hybrid systemszonotopereachability analysisevent detectionevent localizationintervals analysis

Mathematics Subject Classification ID

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)

Related Items (3)

A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Range sets for weak efficiency in multiobjective linear programming and a parametric polytopes intersection problem ⋮ Set-membership identifiability of nonlinear models and related parameter estimation properties

Uses Software

• PROFIL/BIAS
• FADBAD++
• Armadillo
• IBEX
• AML++

Cites Work

• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• The algorithmic analysis of hybrid systems
• Constraint propagation with interval labels
• PROFIL/BIAS - A fast interval library
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Validated solutions of initial value problems for ordinary differential equations
• Comparing partial consistencies
• Avoiding geometric intersection operations in reachability analysis of hybrid systems
• Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• A state event detection algorithm for numerically simulating hybrid systems with model singularities
• Reachability Analysis of Hybrid Systems Using Support Functions
• State event location in differential-algebraic models
• Reliable solution of special event location problems for ODEs
• A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
• Complete search in continuous global optimization and constraint satisfaction
• Hybrid Systems: Computation and Control
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability