Computing reachable sets for uncertain nonlinear monotone systems
From MaRDI portal
Publication:988783
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
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
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
