A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems

DOI10.1109/TAC.2009.2028974zbMath1367.93063MaRDI QIDQ4974767

Nacim Ramdani, Nacim Meslem, Yves Candau

Publication date: 8 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Attainable sets, reachability (93B03)

Related Items

Efficient polyhedral enclosures for the reachable set of nonlinear control systems, Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs, Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering, A note on reachable set bounding for delayed systems with polytopic uncertainties, Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis, Finite‐gain event‐triggered interval observers design for continuous‐time linear systems, Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis, Interval quadratic programming for day-ahead dispatch of uncertain predicted demand, Shaping pulses to control bistable systems: analysis, computation and counterexamples, A new method of reachable set estimation for time delay systems with polytopic uncertainties, A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability, 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, Exact Sampling of a Linear Interval Predictor, Experiments-based parameter identification on the GPU for cooperative systems, A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS, Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods, Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs