Computing reachable sets for uncertain nonlinear monotone systems
type: Item
instance of: scholarly article
title: Computing reachable sets for uncertain nonlinear monotone systems
zbMATH Open document ID: 1201.93019
author: Nacim Ramdani
author: Nacim Meslem
author: Yves Candau
published in: Nonlinear Analysis. Hybrid Systems
publication date: 2010-08-19T00:00:00Z
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 93C15
Mathematics Subject Classification ID: 93C10
Mathematics Subject Classification ID: 93C41
zbMATH DE Number: 5772973
zbMATH Keywords: hybrid systems
zbMATH Keywords: interval analysis
zbMATH Keywords: nonlinear systems
zbMATH Keywords: reachability
zbMATH Keywords: uncertain systems
zbMATH Keywords: monotone systems
describes a project that uses: RoVerGeNe
describes a project that uses: RAMAS
MaRDI profile type: Publication
full work available at URL: j.nahs.2009.10.002
OpenAlex ID: W2101159853
cites work: The algorithmic analysis of hybrid systems
cites work: Reachability analysis of dynamical systems having piecewise-constant derivatives
cites work: Q4953376
cites work: Computational techniques for hybrid system verification
cites work: Hybrid Systems: Computation and Control
cites work: Q4953384
cites work: Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Hybrid abstractions of affine systems
cites work: Q4736610
cites work: Model Checking Genetic Regulatory Networks with Parameter Uncertainty
cites work: Hybridization methods for the analysis of nonlinear systems
cites work: A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
cites work: Q4736576
cites work: Validated solutions of initial value problems for ordinary differential equations
cites work: Q4953388
cites work: Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
cites work: Differential inequalities and maximum principles: theory, new methods and applications
cites work: Q2713275
cites work: Q5566070
cites work: An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
cites work: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
cites work: Controlling the wrapping effect in the solution of ODEs for asteroids
cites work: Q4949367
cites work: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
cites work: Monotone control systems
cites work: Q4296601
cites work: Q4834372
cites work: Q5718755
cites work: Multi-stability in monotone input/output systems
cites work: A graph theoretical approach to monotonicity with respect to initial conditions II
cites work: State event location in differential-algebraic models
cites work: Q4552468
cites work: Molecular systems biology and control
DOI: 10.1016/J.NAHS.2009.10.002
Recommended article: Reachable set computation for uncertain time-varying linear systems
Recommended article: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
Recommended article: Hybrid Systems: Computation and Control
Recommended article: Lyapunov approximation of reachable sets for uncertain linear systems
Recommended article: Q3306381
Recommended article: On reachable sets for a class of nonlinear systems with constraints
Recommended article: Q4885524
Recommended article: Accurate reachability analysis of uncertain nonlinear systems
Recommended article: Computing Reachable Sets of Differential Inclusions
description: scientific article; zbMATH DE number 5772973