Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
From MaRDI portal
Publication:547885
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
uncertain systemsnonlinear systemshybrid systemsreachabilityinterval analysiscontinuous-time systems
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
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
