Skip to main content
SpringerLink
Log in

Safety guarantee for time-delay systems with disturbances

  • Research Paper
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

Abstract

Time delays occur in various engineering applications because they may be inherent in the plants or caused by networks. In this paper, we investigate the safety verification problem of time-delay systems modeled by nonlinear delay differential equations subject to control inputs and disturbances in their dynamics. Building upon classical control barrier functionals, we develop the notions of input-to-state safety and input-to-state safe control barrier functionals, in which input-to-state safe control barrier functionals are used to guarantee the safety of time-delay systems with control inputs and disturbances. Three examples are provided to demonstrate the proposed approach.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chen T M, Sanchez-Aarnoutse J C, Buford J. Petri net modeling of cyber-physical attacks on smart grid. IEEE Trans Smart Grid, 2011, 2: 741–749

    Article  Google Scholar 

  2. Jia D T, Lu K, Wang J, et al. A survey on platoon-based vehicular cyber-physical systems. IEEE Commun Surv Tut, 2016, 18: 263–284

    Article  Google Scholar 

  3. Wang L, Törngren M, Onori M. Current status and advancement of cyber-physical systems in manufacturing. J Manuf Syst, 2015, 37: 517–527

    Article  Google Scholar 

  4. Yang K. Delay Differential Equations: With Applications in Population Dynamics. Boston: Academic Press, 1993

    Google Scholar 

  5. Cooke K L. Stability analysis for a vector disease model. Rocky Mountain J Math, 1979, 9: 31–42

    Article  MathSciNet  Google Scholar 

  6. Datko R F. Theory of functional differential equations (Jack Hale). SIAM Rev, 1978, 20: 610–612

    Article  Google Scholar 

  7. Stepan G. Delay effects in the human sensory system during balancing. Phil Trans R Soc A, 2009, 367: 1195–1212

    Article  MathSciNet  Google Scholar 

  8. Srikant R. The Mathematics of Internet Congestion Control. Boston: Springer, 2004

    Book  Google Scholar 

  9. Shayer L P, Campbell S A. Stability, bifurcation, and multistability in a system of two coupled neurons with multiple time delays. SIAM J Appl Math, 2000, 61: 673–700

    Article  MathSciNet  Google Scholar 

  10. Myschkis A D. Lineare Differentialgleichungen MIT Nacheilendem Argument. Berlin: VEB Verlag, 1955

    Google Scholar 

  11. Bellman R E, Cooke K L. Differential-Difference Equations. California: RAND Corporation, 1963

    Google Scholar 

  12. Forbes J R. L2-gain and passivity techniques in nonlinear control, third edition [bookshelf]. IEEE Control Syst, 2017, 37: 75–76

    Article  Google Scholar 

  13. Jayawardhana B, Logemann H, Ryan E P. The circle criterion and input-to-state stability. IEEE Control Syst, 2011, 31: 32–67

    Article  Google Scholar 

  14. Prajna S, Jadbabaie A. Safety verification of hybrid systems using barrier certificates. In: Proceedings of International Workshop on Hybrid Systems: Computation and Control, 2004. 477–492

  15. Ames A D, Grizzle J W, Tabuada P. Control barrier function based quadratic programs with application to adaptive cruise control. In: Proceedings of the 53rd IEEE Conference on Decision and Control, 2015. 6271–6278

  16. Kolathaya S, Ames A D. Input-to-state safety with control barrier functions. IEEE Control Syst Lett, 2019, 3: 108–113

    Article  MathSciNet  Google Scholar 

  17. Prajna S, Jadbabaie A. Methods for safety verification of time-delay systems. In: Proceedings of the 44th IEEE Conference on Decision and Control, 2005. 4348–4353

  18. Orosz G, Ames A D. Safety functionals for time delay systems. In: Proceedings of American Control Conference, 2019. 4374–4379

  19. Wang X, Chiang H D, Wang J, et al. Long-term stability analysis of power systems with wind power based on stochastic differential equations: model development and foundations. IEEE Trans Sustain Energy, 2015, 6: 1534–1542

    Article  Google Scholar 

  20. Hoogendoorn S P, Bovy P H L. Pedestrian route-choice and activity scheduling theory and models. Transp Res Part B-Meth, 2004, 38: 169–190

    Article  Google Scholar 

  21. Black F, Scholes M. The pricing of options and corporate liabilities. J Political Econ, 1973, 81: 637–654

    Article  MathSciNet  Google Scholar 

  22. Panik M J. Stochastic Differential Equations: An Introduction with Applications in Population Dynamics Modeling. Hoboken: Wiley, 2017

    Book  Google Scholar 

  23. Fränzle M, Chen M, Kröger P. In memory of Oded Maler. ACM SIGLOG New, 2019, 6: 19–39

    Article  Google Scholar 

  24. Kong H, He F, Song X Y, et al. Exponential-condition-based barrier certificate generation for safety verification of hybrid systems. In: Proceedings of International Conference on Computer Aided Verification, 2013. 242–257

  25. Zeng X, Lin W, Yang Z F, et al. Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. In: Proceedings of the 13th International Conference on Embedded Software, 2016. 1–10

  26. Dai L Y, Gan T, Xia B C, et al. Barrier certificates revisited. J Symb Comput, 2017, 80: 62–86

    Article  MathSciNet  Google Scholar 

  27. Sogokon A, Ghorbal K, Tan Y K, et al. Vector barrier certificates and comparison systems. In: Proceedings of International Symposium on Formal Methods, 2018. 418–437

  28. Liu J, Zhan N J, Zhao H J. Computing semi-algebraic invariants for polynomial dynamical systems. In: Proceedings of the 9th ACM International Conference on Embedded Software, 2011. 97–106

  29. Feng S H, Chen M S, Zhan N J, et al. Taming delays in dynamical systems. In: Proceedings of the 31st International Conference on Computer-Aided Verification, Springer, 2019. 650–669

  30. Pola G, Pepe P, di Benedetto M D, et al. Symbolic models for nonlinear time-delay systems using approximate bisimulations. Syst Control Lett, 2010, 59: 365–373

    Article  MathSciNet  Google Scholar 

  31. Pola G, Pepe P, di Benedetto M D. Symbolic models for time-varying time-delay systems via alternating approximate bisimulation. Int J Robust Nonlinear Control, 2015, 25: 2328–2347

    Article  MathSciNet  Google Scholar 

  32. Huang Z Q, Fan C C, Mitra S. Bounded invariant verification for time-delayed nonlinear networked dynamical systems. Nonlinear Anal-Hybrid Syst, 2017, 23: 211–229

    Article  MathSciNet  Google Scholar 

  33. Xue B, Mosaad P N, Fränzle M, et al. Safe over- and under-approximation of reachable sets for delay differential equations. In: Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems, 2017. 281–299

  34. Xue B, Wang Q Y, Feng S H, et al. Over- and underapproximating reach sets for perturbed delay differential equations. IEEE Trans Autom Control, 2021, 66: 283–290

    Article  MathSciNet  Google Scholar 

  35. Xue B, She Z K, Easwaran A. Under-approximating backward reachable sets by polytopes. In: Proceedings of International Conference on Computer Aided Verification, 2016. 457–476

  36. Goubault E, Putot S, Sahlmann L. Inner and outer approximating flowpipes for delay differential equations. In: Proceedings of International Conference on Computer Aided Verification, 2018. 523–541

  37. Zou L, Fränzle M, Zhan N J, et al. Automatic stability and safety verification for delay differential equations. In: Proceedings of International Conference on Computer Aided Verification, 2015. 338–355

  38. Zuo Z Q, Ho D W C, Wang Y J. Reachable set bounding for delayed systems with polytopic uncertainties: the maximal Lyapunov-Krasovskii functional approach. Automatica, 2010, 46: 949–952

    Article  MathSciNet  Google Scholar 

  39. Blake W K. Mechanics of Flow-Induced Sound and Vibration. Orlando: Academic Press, 1986

    Google Scholar 

  40. Khalil H K. Nonlinear Systems. Englewood Cliffs: Prentice Hall, 2002

    Google Scholar 

  41. Teel A R, Praly L. A smooth Lyapunov function from a class-\(\cal{K}\cal{L}\) estimate involving two positive semidefinite functions. ESAIM-COCV, 2000, 5: 313–367

    Article  Google Scholar 

  42. Romdlony M Z, Jayawardhana B. Robustness analysis of systems’ safety through a new notion of input-to-state safety. Int J Robust Nonlinear Control, 2019, 29: 2125–2136

    Article  MathSciNet  Google Scholar 

  43. Romdlony M Z, Jayawardhana B. On the sufficient conditions for input-to-state safety. In: Proceedings of IEEE International Conference on Control & Automation, 2017. 170–173

  44. Sontag E D. Smooth stabilization implies coprime factorization. IEEE Trans Autom Control, 1989, 34: 435–443

    Article  MathSciNet  Google Scholar 

  45. Hale J, Lunel S M V. Introduction to Functional Differential Equations. Berlin: Springer, 1993

    Book  Google Scholar 

  46. Hutchinson G E. Circular causal systems in ecology. Ann NY Acad Sci, 1948, 50: 221–246

    Article  Google Scholar 

  47. Liu C, Zhang Q L, Huang J. The dynamics and control of a harvested differential-algebraic prey-predator model. In: Proceedings of Chinese Control and Decision Conference (CCDC), 2011. 586–591

Download references

Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant Nos. 61625206, 61732001, 61836005, 61872341, 61972385). In addition, we thank Dr. Bai XUE for helpful discussions.

Author information

Authors and Affiliations

  1. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China

    Wenyou Liu, Yunjun Bai, Li Jiao & Naijun Zhan

  2. University of Chinese Academy of Sciences, Beijing, 100049, China

    Wenyou Liu, Yunjun Bai, Li Jiao & Naijun Zhan

Authors
  1. Wenyou Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yunjun Bai
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Li Jiao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Naijun Zhan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Li Jiao or Naijun Zhan.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Liu, W., Bai, Y., Jiao, L. et al. Safety guarantee for time-delay systems with disturbances. Sci. China Inf. Sci. 66, 132102 (2023). https://doi.org/10.1007/s11432-020-3266-6

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11432-020-3266-6

Keywords

Search

Navigation