Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques

DOI10.1016/j.nahs.2010.05.010zbMath1225.93026OpenAlexW1990733120MaRDI QIDQ547885

Nacim Ramdani, Nedialko S. Nedialkov

Publication date: 27 June 2011

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2010.05.010

zbMATH Keywords

uncertain systemsnonlinear systemshybrid systemsreachabilityinterval analysiscontinuous-time systems

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) General methods in interval analysis (65G40) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Efficient polyhedral enclosures for the reachable set of nonlinear control systems ⋮ Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem ⋮ Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems ⋮ Bracketing the solutions of an ordinary differential equation with uncertain initial conditions ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ A verified method for solving piecewise smooth initial value problems ⋮ Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides ⋮ Monitoring bounded LTL properties using interval analysis ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Uses Software

• RSOLVER
• Benchmarks
• HSolver
• RoVerGeNe
• RAMAS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Hybridization methods for the analysis of nonlinear systems
• Constraint propagation with interval labels
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Computation and application of Taylor polynomials with interval remainder bounds
• 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
• Hybrid abstractions of affine systems
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• State event location in differential-algebraic models
• Computational techniques for hybrid system verification
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Complete search in continuous global optimization and constraint satisfaction
• Hybrid Systems: Computation and Control
• Formal Modeling and Analysis of Timed Systems
• Hybrid Systems: Computation and Control