Reachable Set Estimation in Time-Delayed Systems

Reachable set estimation addresses the problem of determining all possible states that a dynamical system can attain over a given time horizon, under bounded disturbances and initial uncertainties. When time delays are present in state or input channels, the system’s future evolution depends not only on its current state but also on its history, complicating both analysis and numerical computation. To manage this complexity, researchers construct Lyapunov–Krasovskii functionals that capture the influence of past states and then derive delay-dependent or delay-independent conditions expressed as linear matrix inequalities (LMIs). These conditions yield ellipsoidal or polytopic enclosures of the reachable set, balancing tightness of the bound against computational tractability. Applications span safety verification in networked control, state-feedback controller synthesis, robotic motion planning under communication latency and biological or chemical processes with transport delays. Recent advances have refined integral inequalities and free-weighting matrix techniques to reduce conservatism, enabling more accurate real-time estimation and robust controller design in complex engineering and life-science systems.

Research from Nature Portfolio

No recent Nature Portfolio content available.

Research from all publishers

Recent work has focused on integrating reachability analysis with controller design for linear time-delay control systems subject to bounded disturbances. By formulating an augmented Lyapunov–Krasovskii functional and casting the estimation and controller synthesis tasks as a volume-minimisation problem for an ellipsoidal bound, researchers have derived delay-dependent LMIs that yield both the reachable set and corresponding state-feedback gain in a unified framework. Numerical examples demonstrate significant improvements in conservatism and controller performance compared with classical methods.

Studies of neutral-type systems with various disturbance profiles have produced refined techniques for ellipsoidal boundary determination. By introducing novel Lyapunov functions that account for discrete and distributed delays, and by employing advanced matrix inequality methods, these investigations have obtained smaller and more accurate reachable-set ellipsoids. Comparative analyses confirm enhanced theoretical tightness and practical reliability, particularly in systems where derivative delays critically affect stability and estimation.

Foundational approaches to nonlinear perturbed time-delay systems have also been revisited to establish the smallest bounding boxes for reachable sets. By leveraging tailored Lyapunov-Krasovskii constructions and bounding techniques for nonlinearities, these seminal results underpin many modern LMI-based formulations and continue to serve as benchmarks for evaluating the tightness of more recent ellipsoidal-based methods.

Reachable Set Estimation in Time-Delayed Systems publication trend

The graph below shows the total number of articles in reachable set estimation in time-delayed systems across all publications each year (not limited to Nature Index journals).

Technical terms

Reachable set: The collection of all states that a system can reach within a specified time frame, given bounds on disturbances and initial conditions.

Time-delay system: A dynamical system in which current derivatives depend on past states or inputs, introducing memory effects.

Lyapunov–Krasovskii functional: A generalisation of Lyapunov functions incorporating integrals over past intervals, used to assess stability and derive state bounds in delayed systems.

Linear matrix inequality (LMI): A convex constraint on matrix variables, often used to express stability, performance or reachability conditions in control designs.

Ellipsoidal bound: A compact, convex region defined by an ellipsoid that encloses the reachable set, often optimised to minimise volume.

Neutral-type system: A delay system where derivatives of past states appear explicitly alongside state delays, heightening analytical complexity.

References

1. Reachable set bounding for nonlinear perturbed time-delay systems: The smallest bound. Applied Mathematics Letters (2015).
2. New Results on Reachable Set Estimation and Controller Design for Linear Systems with Mixed Delays via Triple Integral Functionals. Discrete Dynamics in Nature and Society (2015).
3. Research on reachable set boundary of neutral system with various types of disturbances. PLOS ONE (2025).