Bounds on the reachable sets of nonlinear control systems

From MaRDI portal
Publication:1939609

DOI10.1016/j.automatica.2012.09.020zbMath1257.93015OpenAlexW2093908927MaRDI QIDQ1939609

Paul I. Barton, Joseph K. Scott

Publication date: 4 March 2013

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2012.09.020




Related Items

Efficient polyhedral enclosures for the reachable set of nonlinear control systemsConstrained zonotopes: a new tool for set-based estimation and fault detectionTowards rigorous robust optimal control via generalized high-order moment expansionImproved relaxations for the parametric solutions of ODEs using differential inequalitiesInterval bounds on the solutions of semi-explicit index-one DAEs. I: AnalysisInterval bounds on the solutions of semi-explicit index-one DAEs. II: ComputationHow to solve a design centering problemTight reachability bounds for constrained nonlinear systems using mean value differential inequalitiesGlobal dynamic optimization using edge-concave underestimatorExact hierarchical reductions of dynamical models via linear transformationsAn algorithm for the formal reduction of differential equations as over-approximationsSensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued IntegrationOutlier‐robust zonotope set‐membership filter for discrete‐time nonlinear systemConvergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEsRobust MPC via min-max differential inequalitiesConvergent under-approximations of reachable sets and tubes: a piecewise constant approachReachability Analysis and Deterministic Global Optimization of DAE ModelsExploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalitiesOptimization-based convex relaxations for nonconvex parametric systems of ordinary differential equationsUnified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs