{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T17:07:22Z","timestamp":1777396042005,"version":"3.51.4"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T00:00:00Z","timestamp":1674000000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T00:00:00Z","timestamp":1674000000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11432-020-3266-6","type":"journal-article","created":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T08:47:36Z","timestamp":1674550056000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Safety guarantee for time-delay systems with disturbances"],"prefix":"10.1007","volume":"66","author":[{"given":"Wenyou","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunjun","family":"Bai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Jiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,18]]},"reference":[{"key":"3266_CR1","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1109\/TSG.2011.2160000","volume":"2","author":"T M Chen","year":"2011","unstructured":"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\u2013749","journal-title":"IEEE Trans Smart Grid"},{"key":"3266_CR2","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/COMST.2015.2410831","volume":"18","author":"D T Jia","year":"2016","unstructured":"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\u2013284","journal-title":"IEEE Commun Surv Tut"},{"key":"3266_CR3","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.jmsy.2015.04.008","volume":"37","author":"L Wang","year":"2015","unstructured":"Wang L, T\u00f6rngren M, Onori M. Current status and advancement of cyber-physical systems in manufacturing. J Manuf Syst, 2015, 37: 517\u2013527","journal-title":"J Manuf Syst"},{"key":"3266_CR4","volume-title":"Delay Differential Equations: With Applications in Population Dynamics","author":"K Yang","year":"1993","unstructured":"Yang K. Delay Differential Equations: With Applications in Population Dynamics. Boston: Academic Press, 1993"},{"key":"3266_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1216\/RMJ-1979-9-1-31","volume":"9","author":"K L Cooke","year":"1979","unstructured":"Cooke K L. Stability analysis for a vector disease model. Rocky Mountain J Math, 1979, 9: 31\u201342","journal-title":"Rocky Mountain J Math"},{"key":"3266_CR6","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1137\/1020090","volume":"20","author":"R F Datko","year":"1978","unstructured":"Datko R F. Theory of functional differential equations (Jack Hale). SIAM Rev, 1978, 20: 610\u2013612","journal-title":"SIAM Rev"},{"key":"3266_CR7","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1098\/rsta.2008.0278","volume":"367","author":"G Stepan","year":"2009","unstructured":"Stepan G. Delay effects in the human sensory system during balancing. Phil Trans R Soc A, 2009, 367: 1195\u20131212","journal-title":"Phil Trans R Soc A"},{"key":"3266_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-8216-3","volume-title":"The Mathematics of Internet Congestion Control","author":"R Srikant","year":"2004","unstructured":"Srikant R. The Mathematics of Internet Congestion Control. Boston: Springer, 2004"},{"key":"3266_CR9","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1137\/S0036139998344015","volume":"61","author":"L P Shayer","year":"2000","unstructured":"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\u2013700","journal-title":"SIAM J Appl Math"},{"key":"3266_CR10","volume-title":"Lineare Differentialgleichungen MIT Nacheilendem Argument","author":"A D Myschkis","year":"1955","unstructured":"Myschkis A D. Lineare Differentialgleichungen MIT Nacheilendem Argument. Berlin: VEB Verlag, 1955"},{"key":"3266_CR11","volume-title":"Differential-Difference Equations","author":"R E Bellman","year":"1963","unstructured":"Bellman R E, Cooke K L. Differential-Difference Equations. California: RAND Corporation, 1963"},{"key":"3266_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MCS.2017.2743535","volume":"37","author":"J R Forbes","year":"2017","unstructured":"Forbes J R. L2-gain and passivity techniques in nonlinear control, third edition [bookshelf]. IEEE Control Syst, 2017, 37: 75\u201376","journal-title":"IEEE Control Syst"},{"key":"3266_CR13","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MCS.2011.941143","volume":"31","author":"B Jayawardhana","year":"2011","unstructured":"Jayawardhana B, Logemann H, Ryan E P. The circle criterion and input-to-state stability. IEEE Control Syst, 2011, 31: 32\u201367","journal-title":"IEEE Control Syst"},{"key":"3266_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013492","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"3266_CR15","doi-asserted-by":"crossref","unstructured":"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\u20136278","DOI":"10.1109\/CDC.2014.7040372"},{"key":"3266_CR16","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/LCSYS.2018.2853698","volume":"3","author":"S Kolathaya","year":"2019","unstructured":"Kolathaya S, Ames A D. Input-to-state safety with control barrier functions. IEEE Control Syst Lett, 2019, 3: 108\u2013113","journal-title":"IEEE Control Syst Lett"},{"key":"3266_CR17","doi-asserted-by":"crossref","unstructured":"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\u20134353","DOI":"10.1109\/CDC.2005.1582846"},{"key":"3266_CR18","doi-asserted-by":"crossref","unstructured":"Orosz G, Ames A D. Safety functionals for time delay systems. In: Proceedings of American Control Conference, 2019. 4374\u20134379","DOI":"10.23919\/ACC.2019.8814681"},{"key":"3266_CR19","doi-asserted-by":"publisher","first-page":"1534","DOI":"10.1109\/TSTE.2015.2454333","volume":"6","author":"X Wang","year":"2015","unstructured":"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\u20131542","journal-title":"IEEE Trans Sustain Energy"},{"key":"3266_CR20","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0191-2615(03)00007-9","volume":"38","author":"S P Hoogendoorn","year":"2004","unstructured":"Hoogendoorn S P, Bovy P H L. Pedestrian route-choice and activity scheduling theory and models. Transp Res Part B-Meth, 2004, 38: 169\u2013190","journal-title":"Transp Res Part B-Meth"},{"key":"3266_CR21","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1086\/260062","volume":"81","author":"F Black","year":"1973","unstructured":"Black F, Scholes M. The pricing of options and corporate liabilities. J Political Econ, 1973, 81: 637\u2013654","journal-title":"J Political Econ"},{"key":"3266_CR22","doi-asserted-by":"publisher","DOI":"10.1002\/9781119377399","volume-title":"Stochastic Differential Equations: An Introduction with Applications in Population Dynamics Modeling","author":"M J Panik","year":"2017","unstructured":"Panik M J. Stochastic Differential Equations: An Introduction with Applications in Population Dynamics Modeling. Hoboken: Wiley, 2017"},{"key":"3266_CR23","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/3313909.3313913","volume":"6","author":"M Fr\u00e4nzle","year":"2019","unstructured":"Fr\u00e4nzle M, Chen M, Kr\u00f6ger P. In memory of Oded Maler. ACM SIGLOG New, 2019, 6: 19\u201339","journal-title":"ACM SIGLOG New"},{"key":"3266_CR24","doi-asserted-by":"crossref","unstructured":"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\u2013257","DOI":"10.1007\/978-3-642-39799-8_17"},{"key":"3266_CR25","doi-asserted-by":"crossref","unstructured":"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\u201310","DOI":"10.1145\/2968478.2968484"},{"key":"3266_CR26","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jsc.2016.07.010","volume":"80","author":"L Y Dai","year":"2017","unstructured":"Dai L Y, Gan T, Xia B C, et al. Barrier certificates revisited. J Symb Comput, 2017, 80: 62\u201386","journal-title":"J Symb Comput"},{"key":"3266_CR27","doi-asserted-by":"crossref","unstructured":"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\u2013437","DOI":"10.1007\/978-3-319-95582-7_25"},{"key":"3266_CR28","doi-asserted-by":"crossref","unstructured":"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\u2013106","DOI":"10.1145\/2038642.2038659"},{"key":"3266_CR29","doi-asserted-by":"crossref","unstructured":"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\u2013669","DOI":"10.1007\/978-3-030-25540-4_37"},{"key":"3266_CR30","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.sysconle.2010.04.001","volume":"59","author":"G Pola","year":"2010","unstructured":"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\u2013373","journal-title":"Syst Control Lett"},{"key":"3266_CR31","doi-asserted-by":"publisher","first-page":"2328","DOI":"10.1002\/rnc.3204","volume":"25","author":"G Pola","year":"2015","unstructured":"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\u20132347","journal-title":"Int J Robust Nonlinear Control"},{"key":"3266_CR32","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.nahs.2016.05.005","volume":"23","author":"Z Q Huang","year":"2017","unstructured":"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\u2013229","journal-title":"Nonlinear Anal-Hybrid Syst"},{"key":"3266_CR33","doi-asserted-by":"crossref","unstructured":"Xue B, Mosaad P N, Fr\u00e4nzle 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\u2013299","DOI":"10.1007\/978-3-319-65765-3_16"},{"key":"3266_CR34","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1109\/TAC.2020.2977993","volume":"66","author":"B Xue","year":"2021","unstructured":"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\u2013290","journal-title":"IEEE Trans Autom Control"},{"key":"3266_CR35","doi-asserted-by":"crossref","unstructured":"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\u2013476","DOI":"10.1007\/978-3-319-41528-4_25"},{"key":"3266_CR36","doi-asserted-by":"crossref","unstructured":"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\u2013541","DOI":"10.1007\/978-3-319-96142-2_31"},{"key":"3266_CR37","doi-asserted-by":"crossref","unstructured":"Zou L, Fr\u00e4nzle 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\u2013355","DOI":"10.1007\/978-3-319-21668-3_20"},{"key":"3266_CR38","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1016\/j.automatica.2010.02.022","volume":"46","author":"Z Q Zuo","year":"2010","unstructured":"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\u2013952","journal-title":"Automatica"},{"key":"3266_CR39","volume-title":"Mechanics of Flow-Induced Sound and Vibration","author":"W K Blake","year":"1986","unstructured":"Blake W K. Mechanics of Flow-Induced Sound and Vibration. Orlando: Academic Press, 1986"},{"key":"3266_CR40","volume-title":"Nonlinear Systems","author":"H K Khalil","year":"2002","unstructured":"Khalil H K. Nonlinear Systems. Englewood Cliffs: Prentice Hall, 2002"},{"key":"3266_CR41","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1051\/cocv:2000113","volume":"5","author":"A R Teel","year":"2000","unstructured":"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\u2013367","journal-title":"ESAIM-COCV"},{"key":"3266_CR42","doi-asserted-by":"publisher","first-page":"2125","DOI":"10.1002\/rnc.4482","volume":"29","author":"M Z Romdlony","year":"2019","unstructured":"Romdlony M Z, Jayawardhana B. Robustness analysis of systems\u2019 safety through a new notion of input-to-state safety. Int J Robust Nonlinear Control, 2019, 29: 2125\u20132136","journal-title":"Int J Robust Nonlinear Control"},{"key":"3266_CR43","doi-asserted-by":"crossref","unstructured":"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\u2013173","DOI":"10.1109\/ICCA.2017.8003054"},{"key":"3266_CR44","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1109\/9.28018","volume":"34","author":"E D Sontag","year":"1989","unstructured":"Sontag E D. Smooth stabilization implies coprime factorization. IEEE Trans Autom Control, 1989, 34: 435\u2013443","journal-title":"IEEE Trans Autom Control"},{"key":"3266_CR45","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4342-7","volume-title":"Introduction to Functional Differential Equations","author":"J Hale","year":"1993","unstructured":"Hale J, Lunel S M V. Introduction to Functional Differential Equations. Berlin: Springer, 1993"},{"key":"3266_CR46","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1111\/j.1749-6632.1948.tb39854.x","volume":"50","author":"G E Hutchinson","year":"1948","unstructured":"Hutchinson G E. Circular causal systems in ecology. Ann NY Acad Sci, 1948, 50: 221\u2013246","journal-title":"Ann NY Acad Sci"},{"key":"3266_CR47","doi-asserted-by":"crossref","unstructured":"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\u2013591","DOI":"10.1109\/CCDC.2011.5968249"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-020-3266-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-020-3266-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-020-3266-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T20:48:49Z","timestamp":1728766129000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-020-3266-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,18]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["3266"],"URL":"https:\/\/doi.org\/10.1007\/s11432-020-3266-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,18]]},"assertion":[{"value":"18 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 February 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 January 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"132102"}}