Abstract:Delays in feedback control loop, as induced by networked distributed control schemes, may have detrimental effects on control performance. This induces an interest in safety verification of delay differential equations (DDEs) used as a model of embedded control. This article explores reachable-set computation for a class of DDEs featuring a local homeomorphism property. This topological property facilitates construction of over- and under-approximations of their full reachable sets by performing reachability analysis on the boundaries of their initial sets, thereby permitting an efficient lifting of reach-set computation methods for ODEs to DDEs. Membership in this class of DDEs is determined by conducting sensitivity analysis of the solution mapping with respect to the initial states to impose a bound constraint on the time-lag term. We then generalize boundary-based reachability analysis to such DDEs. Our reachability algorithm is iterative along the time axis and the computations in each iteration are performed in two steps. The first step computes an enclosure of the set of states reachable from the boundary of the step's initial state set. The second step derives an over- and under-approximations of the full reachable set by including (excluding, resp.) the obtained boundary enclosure from certain convex combinations of points in that boundary enclosure. Experiments on two illustrative examples demonstrate the efficacy of our algorithm.

Estimation of Reachable Set for Interval Time-Varying Delay Systems

Robust control for a class of uncertain time-varying time-delay systems with actuator limit

Stability Analysis for Neutral Systems with Interval Time-Varying Delays

Delay-Dependent Robust Stabilizing Control Law Design for a Class of Uncertain Time-Delay Systems

Delay-dependent robust stabilization for uncertain linear system

Delay-Dependent Robust Stabilizability For Uncertain Discrete Time-Delay Systems

Delay-range-dependent and delay-distribution-independent stability criteria for discrete-time singular Markovian jump systems

Zonotopic reachable set estimation for linear discrete‐time systems with time delay

Delay-dependent robust stabilization for a class of uncertain time-delay systems

Reachable Set Estimation for Markovian Jump Neural Networks With Time-Varying Delays.

Reachable set estimation for neutral semi-Markovian jump systems with time-varying delay

Improved results on reachable set estimation for singularly perturbed systems with time-varying delay

Reachable Set Estimation and Controller Design for Linear Time-Delayed Control System with Disturbances

A new method of reachable sets estimation for the nonlinear switched singular system with impulsive performance and time-delay

New Delay-Dependent Absolute Stability for Uncertain Lur'E System with Interval Delay

Improved results on reachable set estimation of singular systems

Reachable Set Estimation for Singular Discrete‐Time Nonlinear Systems With Time‐Varying Delays

Safe Over- And Under-Approximation Of Reachable Sets For Delay Differential Equations

Novel Robust Stability Criteria for Uncertain Systems with Time-Varying Delay

Robust Stability and Stabilization of Uncertain Systems with Time-varying Delays via Delay-partition

An estimation of the domain of attraction for recurrent neural networks with time-varying delays