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

No abstract is available for this paper.

• Publication year

  2009

• Venue

  IEEE Transactions on Automatic Control

• Publication date

  2009-09-22

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1109/TAC.2009.2028974
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal verification of hybrid systems

  2011cited by this paper
• Introduction to Automatic Differentiation

  2009cited by this paper
• Hybridization methods for the analysis of nonlinear systems

  2007cited by this paper
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty

  2007cited by this paper
• Interval methods for simulation of dynamical systems with state-dependent switching characteristics

  2006cited by this paper
• HYBRID ABSTRACTIONS OF AFFINE SYSTEMS

  2006cited by this paper
• GUARANTEED NONLINEAR PARAMETER ESTIMATION FOR CONTINUOUS-TIME DYNAMICAL MODELS

  2006cited by this paper
• Reachability analysis of multi-affine systems

  2006cited by this paper
• Set-Membership Identification of Continuous-Time Systems

  2006cited by this paper
• Reachability of Uncertain Linear Systems Using Zonotopes

  2005cited by this paper
• Automatic Rectangular Refinement of Affine Hybrid Systems

  2005cited by this paper
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem

  2005cited by this paper
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games

  2005cited by this paper
• Molecular Systems Biology and Control

  2005cited by this paper
• Closed loop observers bundle for uncertain biotechnological models

  2004cited by this paper
• On Practical Stability and Stabilization of Hybrid and Switched Systems

  2004cited by this paper
• Computational techniques for hybrid system verification

  2003cited by this paper
• Computational techniques for the verification of hybrid systems

  2003cited by this paper
• Controlling the Wrapping Effect in the Solution of ODEs for Asteroids

  2003cited by this paper
• Introduction to Automatic Differentiation

  2003cited by this paper
• Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics

  2002cited by this paper
• Series of Abstractions for Hybrid Automata

  2002cited by this paper
• A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations

  2002cited by this paper
• Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques

  2002cited by this paper
• An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE

  2001cited by this paper
• Applied Interval Analysis

  2001cited by this paper
• Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

  2000cited by this paper
• Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

  2000cited by this paper
• Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods

  2000cited by this paper
• Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation

  1999cited by this paper
• Validated solutions of initial value problems for ordinary differential equations

  1999cited by this paper
• An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation

  1999cited by this paper
• Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

  1998cited by this paper
• Differential inequalities and maximum principles: theory, new methods, and applications

  1997cited by this paper
• Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives

  1995cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper
• Über das Fundamentaltheorem in der Theorie der gewöhnlichen Differentialgleichungen

  1927cited by this paper

• Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction

  2025cites this paper
• A review of fault management issues in aircraft systems: Current status and future directions

  2024cites this paper
• Online hazard prediction of train operations with parametric hybrid automata based runtime verification

  2023cites this paper
• Finite-gain L1 Event-triggered Interval Observers design for Continuous-time Linear Systems

  2023cites this paper
• Convex Hulls of Reachable Sets

  2023cites this paper
• Reach-Avoid Verification Based on Convex Optimization

  2022cites this paper
• Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis

  2022cites this paper
• Safe and adaptive autonomous navigation under uncertainty based on sequential waypoints and reachability analysis

  2022cites this paper
• Finite‐gain ℒ1 event‐triggered interval observers design for continuous‐time linear systems

  2021cites this paper
• Set-membership state estimators based on cooperative output injections

  2021cites this paper
• Reachable Set Estimation for Uncertain Linear Systems with Known Inputs

  2020cites this paper
• Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering

  2020cites this paper
• On the Reachable Set of Uncertain Closed Loop Discrete-Time Linear Systems

  2020cites this paper
• A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS

  2020cites this paper
• Reachable Set Estimation for Uncertain Linear Systems with Known Inputs

  2020cites this paper
• Interval Predictors for a Class of Uncertain Discrete-Time Systems

  2020cites this paper
• Safety Verification for Random Ordinary Differential Equations

  2020cites this paper
• Higher Order Method for Differential Inclusions

  2020cites this paper
• Functional sets with typed symbols: Framework and mixed Polynotopes for hybrid nonlinear reachability and filtering

  2020cites this paper
• Experiments-based parameter identification on the GPU for cooperative systems

  2020cites this paper
• Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne

  2019cites this paper
• In memory of Oded Maler: automatic reachability analysis of hybrid-state automata

  2019cites this paper
• An H∞ interval observer for uncertain continuous‐time linear systems

  2019influential citation
• Contribution to ellipsoidal and zonotopic set-membership state estimation. (Contribution à l'estimation d'état par méthodes ensemblistes ellipsoidales et zonotopiques)

  2019cites this paper
• State set representations and their usage in the reachability analysis of hybrid systems

  2019cites this paper
• Rigorous Continuous Evolution of Uncertain Systems

  2019cites this paper
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs

  2018cites this paper
• Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity

  2018cites this paper
• Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination

  2018cites this paper
• Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties

  2018cites this paper
• FDI in Cyber Physical Systems: A Distributed Zonotopic and Gaussian Kalman Filter with Bit-level Reduction

  2018cites this paper
• Mesh-Based Affine Abstraction of Nonlinear Systems with Tighter Bounds

  2018cites this paper
• An anticipatory warning/advisory system for crew-aided flight status management

  2018cites this paper
• Under-Approximating Reach Sets for Polynomial Continuous Systems

  2018cites this paper
• Just scratching the surface: Partial exploration of initial values in reach-set computation

  2017influential citation
• Cyber Physical Systems. Design, Modeling, and Evaluation

  2017cites this paper
• EPiC Series in Computing

  2017cites this paper
• Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis

  2017cites this paper
• Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract)

  2017cites this paper
• Event-Based Prediction-Correction State Estimator

  2017cites this paper
• Interval enclosures for reachable sets of chemical kinetic flow systems. Part 3: Indirect-bounding method

  2017cites this paper
• Shaping pulses to control bistable systems: Analysis, computation and counterexamples

  2016cites this paper
• Set-membership tests to evaluate the performance of nominal feedback control laws

  2016cites this paper
• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems

  2016cites this paper
• Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls

  2016influential citation
• Verification column

  2016cites this paper
• An Extended Zonotopic and Gaussian Kalman Filter (EZGKF) merging set-membership and stochastic paradigms: Toward non-linear filtering and fault detection

  2016cites this paper
• Kalman filtering and zonotopic state bounding for robust fault detection

  2016cites this paper
• Efficient polyhedral enclosures for the reachable set of nonlinear control systems

  2016cites this paper
• Non-linear Continuous Systems for Safety Verification

  2016cites this paper
• Estimation of uncertain dynamical systems and related properties. Application to health-monitoring. (Estimation des systèmes dynamiques incertains et des propriétés connexes. Application à la surveillance de la santé )

  2016cites this paper
• Mean Field Approximation of Uncertain Stochastic Models

  2016cites this paper
• Efficient polyhedral enclosures for the reachable set of nonlinear control systems

  2016cites this paper
• PhD Research Offer (title and short presentation) Title: Efficient methods and algorithms for reachability analysis of dynamic hybrid systems.

  2016cites this paper
• Interval quadratic programming for day-ahead dispatch of uncertain predicted demand

  2016cites this paper
• Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs

  2015cites this paper
• IntervalQuadraticProgramming forDay-AheadDispatch of UncertainPredictedDemand ⋆

  2015cites this paper
• Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

  2015influential citation
• Voltage Ride-Through Capability Verification of Wind Turbines With Fully-Rated Converters Using Reachability Analysis

  2015cites this paper
• Current Challenges in the Verification of Hybrid Systems

  2015cites this paper
• Impact of Optimized Input on Guaranteed Parameter and State Estimation in a Bounded- Error Context for Nonlinear Dynamical Aerospace Models

  2015cites this paper
• Event-based stabilizing controller using a state observer

  2015cites this paper
• Event-based controller synthesis by bounding methods

  2015cites this paper
• Reliable stabilizing controller based on set-value parameter synthesis

  2015cites this paper
• Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings

  2015cites this paper
• Reachability and robust design in dynamic systems

  2015influential citation
• Exact Sampling of a Linear Interval Predictor

  2015cites this paper
• Reachable Set Bounding Estimation for Distributed Delay Systems with Disturbances

  2014cites this paper
• A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability

  2014cites this paper
• Détection de défauts des systèmes non linéaires à incertitudes bornées continus

  2014influential citation
• Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs

  2014cites this paper
• State Estimation Based on Self-Triggered Measurements

  2014influential citation
• Hybrid and multi-controller architecture for autonomous system application to the navigation of a mobile robot

  2014influential citation
• Shaping pulses to control bistable biological systems

  2014cites this paper
• Computing reachable sets for nonlinear systems in presence of bounded uncertainties

  2014cites this paper
• Direct Handling of Ordinary Dierential Equations in Constraint-Solving-Based Analysis of Hybrid Systems

  2014cites this paper
• Voltage ride-through capability verification of wind turbines with fully-rated converters using reachability analysis

  2014cites this paper
• Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings

  2014cites this paper
• Analyse et contrôle des systèmes dynamiques polynomiaux

  2013cites this paper
• Stable Interval Observers in BBC for Linear Systems With Time-Varying Input Bounds

  2013cites this paper
• A note on reachable set bounding for delayed systems with polytopic uncertainties

  2013cites this paper
• Continuous-discrete confidence interval observer - Application to vehicle positioning

  2013cites this paper
• Fault detection based on robust adaptive thresholds: A dynamic interval approach

  2013cites this paper
• Event-triggered algorithms for continuous-time systems based on reachability analysis

  2013cites this paper
• Interval bounds on the solutions of semi-explicit index-one DAEs. Part 1: analysis

  2013cites this paper
• A new method of reachable set estimation for time delay systems with polytopic uncertainties

  2013cites this paper
• Interval bounds on the solutions of semi-explicit index-one DAEs. Part 1: analysis

  2013cites this paper
• Bounds on the reachable sets of nonlinear control systems

  2013cites this paper
• Establishing global error bounds for model reduction in combustion

  2013cites this paper
• Generation of worst-case input signals based on the guaranteed sampling of linear interval predictors with non-held uncertain inputs

  2012cites this paper
• A tighter reachable set bound for linear systems subject to both discrete and distributed delays

  2012cites this paper
• Robust Adaptive Thresholds under Additive and Multiplicative Disturbances

  2012cites this paper
• New Criteria of Reachable Set Estimation for Time Delay Systems Subject to Polytopic Uncertainties

  2012cites this paper
• Reachability analysis and deterministic global optimization of differential-algebraic systems

  2012influential citation
• Results on reachable set estimation for linear systems with both discrete and distributed delays

  2012cites this paper
• On Computing Envelopes for Discrete-time Linear Systems with Affine Parametric Uncertainties and Bounded Inputs

  2011cites this paper
• A nonlinear uncertain normal form for interval observers

  2011cites this paper
• Interval analysis on non-linear monotonic systems as an efficient tool to optimise fresh food packaging

  2011cites this paper
• A Stable Interval Observer for LTI Systems with No Multiple Poles

  2011cites this paper
• Convex/concave relaxations of parametric ODEs using Taylor models

  2011cites this paper