Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
DOI10.1016/j.automatica.2021.109911zbMath1478.93041OpenAlexW3199525169MaRDI QIDQ2665719
Dillard L. Robertson, Kai Shen, Joseph K. Scott
Publication date: 19 November 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109911
Nonlinear systems in control theory (93C10) Nonlinear ordinary differential equations and systems (34A34) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15) Differential inequalities involving functions of a single real variable (34A40)
Uses Software
Cites Work
- Unnamed Item
- SUNDIALS
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
- Robust MPC via min-max differential inequalities
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Computing reachable sets for uncertain nonlinear monotone systems
- Near optimal interval observers bundle for uncertain bioreactors
- Approximately bisimilar symbolic models for nonlinear control systems
- Bounds on the reachable sets of nonlinear control systems
- Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Validated solutions of initial value problems for parametric ODEs
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
This page was built for publication: Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities