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

DOI10.1016/J.NAHS.2010.05.010MaRDI QIDQ547885zbMATH OpenOpenAlexFDO

Authors 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

hybrid systemsnonlinear systemsreachabilityinterval analysisuncertain systemscontinuous-time systems

Mathematics Subject Classification ID

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

Recommendations

• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• Computing reachable sets for uncertain nonlinear monotone systems
• scientific article; zbMATH DE number 1956649
• scientific article; zbMATH DE number 1798193

Cites work

• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 1956649 (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 2085344 (Why is no real title available?)
• scientific article; zbMATH DE number 903761 (Why is no real title available?)
• scientific article; zbMATH DE number 1440918 (Why is no real title available?)
• scientific article; zbMATH DE number 1444339 (Why is no real title available?)
• scientific article; zbMATH DE number 1444343 (Why is no real title available?)
• scientific article; zbMATH DE number 1444347 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Complete search in continuous global optimization and constraint satisfaction
• Computation and application of Taylor polynomials with interval remainder bounds
• Computational techniques for hybrid system verification
• Constraint propagation with interval labels
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• Formal Modeling and Analysis of Timed Systems
• Handbook of constraint programming.
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid abstractions of affine systems
• Hybridization methods for the analysis of nonlinear systems
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• 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

Cited in

(19)

• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
• Monitoring bounded LTL properties using interval analysis
• Hybrid Systems: Computation and Control
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• 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
• A verified method for solving piecewise smooth initial value problems
• Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
• Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
• Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
• Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
• Computing reachable sets for uncertain nonlinear monotone systems
• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
• Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides
• Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
• Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
• On the Reachability Problem for Uncertain Hybrid Systems
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability

Describes a project that uses

Uses Software

• RSOLVER
• Benchmarks
• HSolver
• RoVerGeNe
• RAMAS

This page was built for publication: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q547885)