Computing reachable sets for uncertain nonlinear monotone systems

DOI10.1016/j.nahs.2009.10.002zbMath1201.93019OpenAlexW2101159853MaRDI QIDQ988783

Yves Candau, Nacim Meslem, Nacim Ramdani

Publication date: 19 August 2010

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

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

zbMATH Keywords

uncertain systemsnonlinear systemshybrid systemsreachabilityinterval analysismonotone systems

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Control/observation systems with incomplete information (93C41) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (9)

Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities ⋮ Shaping pulses to control bistable systems: analysis, computation and counterexamples ⋮ An algorithm for the formal reduction of differential equations as over-approximations ⋮ Determination of inner and outer bounds of reachable sets through subpavings ⋮ Interval observer design based on nonlinear hybridization and practical stability analysis ⋮ Event-based controller synthesis by bounding methods ⋮ Experiments-based parameter identification on the GPU for cooperative systems ⋮ Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

Uses Software

• 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
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• 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
• Controlling the wrapping effect in the solution of ODEs for asteroids
• Hybrid abstractions of affine systems
• Multi-stability in monotone input/output systems
• Molecular systems biology and control
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• A graph theoretical approach to monotonicity with respect to initial conditions II
• State event location in differential-algebraic models
• Differential inequalities and maximum principles: theory, new methods and applications
• A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
• Monotone control systems
• Computational techniques for hybrid system verification
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Hybrid Systems: Computation and Control
• Formal Modeling and Analysis of Timed Systems
• Hybrid Systems: Computation and Control

This page was built for publication: Computing reachable sets for uncertain nonlinear monotone systems