Computing reachable sets for uncertain nonlinear monotone systems
From MaRDI portal
Publication:988783
DOI10.1016/j.nahs.2009.10.002zbMath1201.93019MaRDI 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
uncertain systems; nonlinear systems; hybrid systems; reachability; interval analysis; monotone systems
93C10: Nonlinear systems in control theory
93C41: Control/observation systems with incomplete information
93B03: Attainable sets, reachability
93C15: Control/observation systems governed by ordinary differential equations
Related Items
An algorithm for the formal reduction of differential equations as over-approximations, Determination of inner and outer bounds of reachable sets through subpavings, Event-based controller synthesis by bounding methods, Shaping pulses to control bistable systems: analysis, computation and counterexamples, Experiments-based parameter identification on the GPU for cooperative systems, Finite abstraction of mixed monotone systems with discrete and continuous inputs, Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities, Interval observer design based on nonlinear hybridization and practical stability analysis, Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item