{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T00:22:51Z","timestamp":1775607771470,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,1,14]],"date-time":"2022-01-14T00:00:00Z","timestamp":1642118400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,14]],"date-time":"2022-01-14T00:00:00Z","timestamp":1642118400000},"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":[[2022,2]]},"DOI":"10.1007\/s11432-020-3028-4","type":"journal-article","created":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T05:17:56Z","timestamp":1643087876000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Safety criteria based on barrier function under the framework of boundedness for some dynamic systems"],"prefix":"10.1007","volume":"65","author":[{"given":"Zheren","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Chai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhimin","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenghong","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,14]]},"reference":[{"key":"3028_CR1","volume-title":"Technology of Dynamic System Operational Safety (in Chinese)","author":"Y Chai","year":"2019","unstructured":"Chai Y, Zhang K, Mao Y F, et al. Technology of Dynamic System Operational Safety (in Chinese). Beijing: Chemical Industry Press, 2019"},{"key":"3028_CR2","first-page":"1829","volume":"45","author":"Y Chai","year":"2019","unstructured":"Chai Y, Mao W B, Ren H, et al. Research on operational safety assessment for spacecraft launch system: progress and challenges (in Chinese). Acta Autom Sin, 2019, 45: 1829\u20131845","journal-title":"Acta Autom Sin"},{"key":"3028_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.arcontrol.2014.09.004","volume":"38","author":"B O Bouamama","year":"2014","unstructured":"Bouamama B O, Biswas G, Loureiro R, et al. Graphical methods for diagnosis of dynamic systems: review. Annu Rev Control, 2014, 38: 199\u2013219","journal-title":"Annu Rev Control"},{"key":"3028_CR4","doi-asserted-by":"publisher","first-page":"13308","DOI":"10.1016\/j.ijhydene.2016.05.231","volume":"41","author":"N Kasai","year":"2016","unstructured":"Kasai N, Fujimoto Y, Yamashita I, et al. The qualitative risk assessment of an electrolytic hydrogen generation system. Int J Hydrogen Energy, 2016, 41: 13308\u201313314","journal-title":"Int J Hydrogen Energy"},{"key":"3028_CR5","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/j.jlp.2016.09.016","volume":"44","author":"S B Cunha","year":"2016","unstructured":"Cunha S B. A review of quantitative risk assessment of onshore pipelines. J Loss Prevent Process Ind, 2016, 44: 282\u2013298","journal-title":"J Loss Prevent Process Ind"},{"key":"3028_CR6","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/j.jhazmat.2016.05.096","volume":"317","author":"J Ahn","year":"2016","unstructured":"Ahn J, Chang D. Fuzzy-based HAZOP study for process industry. J Hazard Mater, 2016, 317: 303\u2013311","journal-title":"J Hazard Mater"},{"key":"3028_CR7","first-page":"345","volume":"34","author":"Y Q Chang","year":"2017","unstructured":"Chang Y Q, Han Z F, Zou X T. Online assessment of complex industrial processes operating performance based on improved dynamic causality diagram (in Chinese). Control Theory Appl, 2017, 34: 345\u2013354","journal-title":"Control Theory Appl"},{"key":"3028_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.coche.2016.07.006","volume":"14","author":"F Khan","year":"2016","unstructured":"Khan F, Hashemi S J, Paltrinieri N, et al. Dynamic risk management: a contemporary approach to process safety management. Curr Opin Chem Eng, 2016, 14: 9\u201317","journal-title":"Curr Opin Chem Eng"},{"key":"3028_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.ress.2014.08.003","volume":"133","author":"M Naderpour","year":"2015","unstructured":"Naderpour M, Lu J, Zhang G Q. An abnormal situation modeling method to assist operators in safety-critical systems. Reliab Eng Syst Saf, 2015, 133: 33\u201347","journal-title":"Reliab Eng Syst Saf"},{"key":"3028_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.ssci.2016.06.002","volume":"89","author":"V Villa","year":"2016","unstructured":"Villa V, Paltrinieri N, Khan F, et al. Towards dynamic risk analysis: a review of the risk assessment approach and its limitations in the chemical process industry. Saf Sci, 2016, 89: 77\u201393","journal-title":"Saf Sci"},{"key":"3028_CR11","doi-asserted-by":"publisher","first-page":"1298","DOI":"10.1111\/risa.12681","volume":"37","author":"J S Busby","year":"2017","unstructured":"Busby J S, Green B, Hutchison D. Analysis of affordance, time, and adaptation in the assessment of industrial control system cybersecurity risk. Risk Anal, 2017, 37: 1298\u20131314","journal-title":"Risk Anal"},{"key":"3028_CR12","series-title":"Dissertation for Ph.D. Degree","volume-title":"Research on safety analysis method based on safety risk state (in Chinese)","author":"H T Li","year":"2012","unstructured":"Li H T. Research on safety analysis method based on safety risk state (in Chinese). Dissertation for Ph.D. Degree. Changsha: National University of Defense Technology, 2012"},{"key":"3028_CR13","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.ress.2015.02.008","volume":"139","author":"S Kriaa","year":"2015","unstructured":"Kriaa S, Pietre-Cambacedes L, Bouissou M, et al. A survey of approaches combining safety and security for industrial control systems. Reliab Eng Syst Saf, 2015, 139: 156\u2013178","journal-title":"Reliab Eng Syst Saf"},{"key":"3028_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.jlp.2016.09.007","volume":"44","author":"M Talebberrouane","year":"2016","unstructured":"Talebberrouane M, Khan F, Lounis Z. Availability analysis of safety critical systems using advanced fault tree and stochastic Petri net formalisms. J Loss Prevent Process Ind, 2016, 44: 193\u2013203","journal-title":"J Loss Prevent Process Ind"},{"key":"3028_CR15","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.jngse.2016.04.052","volume":"33","author":"Y B Guo","year":"2016","unstructured":"Guo Y B, Meng X L, Wang D G, et al. Comprehensive risk evaluation of long-distance oil and gas transportation pipelines using a fuzzy Petri net model. J Nat Gas Sci Eng, 2016, 33: 18\u201329","journal-title":"J Nat Gas Sci Eng"},{"key":"3028_CR16","doi-asserted-by":"publisher","first-page":"2321","DOI":"10.1109\/TAC.2015.2405293","volume":"60","author":"X Wang","year":"2015","unstructured":"Wang X, Mahulea C, Silva M. Diagnosis of time Petri nets using fault diagnosis graph. IEEE Trans Autom Control, 2015, 60: 2321\u20132335","journal-title":"IEEE Trans Autom Control"},{"key":"3028_CR17","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.psep.2017.06.019","volume":"110","author":"G Landucci","year":"2017","unstructured":"Landucci G, Argenti F, Cozzani V, et al. Assessment of attack likelihood to support security risk assessment studies for chemical facilities. Process Saf Environ Protection, 2017, 110: 102\u2013114","journal-title":"Process Saf Environ Protection"},{"key":"3028_CR18","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.jlp.2015.11.024","volume":"41","author":"S Barua","year":"2016","unstructured":"Barua S, Gao X D, Pasman H, et al. Bayesian network based dynamic operational risk assessment. J Loss Prevention Process Ind, 2016, 41: 399\u2013410","journal-title":"J Loss Prevention Process Ind"},{"key":"3028_CR19","series-title":"Dissertation for Ph.D. Degree","volume-title":"A study on operation safety analysis and online assessment of industrial processes (in Chinese)","author":"L B Ye","year":"2011","unstructured":"Ye L B. A study on operation safety analysis and online assessment of industrial processes (in Chinese). Dissertation for Ph.D. Degree. Hangzhou: Zhejiang University, 2011"},{"key":"3028_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.automatica.2015.12.011","volume":"66","author":"M Z Romdlony","year":"2016","unstructured":"Romdlony M Z, Jayawardhana B. Stabilization with guaranteed safety using control Lyapunov-barrier function. Automatica, 2016, 66: 39\u201347","journal-title":"Automatica"},{"key":"3028_CR21","doi-asserted-by":"crossref","unstructured":"Prajna S, Rantzer A. On the necessity of barrier certificates. In: Proceedings of the 16th IFAC World Congress, Prague, 2005. 526\u2013531","DOI":"10.3182\/20050703-6-CZ-1902.00743"},{"key":"3028_CR22","doi-asserted-by":"crossref","unstructured":"Prajna S, Jadbabaie A, Pappas G J. Stochastic safety verification using barrier certificates. In: Proceedings of IEEE Conference on Decision and Control, 2004","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"3028_CR23","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1093\/comjnl\/bxt059","volume":"57","author":"H Kong","year":"2014","unstructured":"Kong H, Song X Y, Han D, et al. A new barrier certificate for safety verification of hybrid systems. Comput J, 2014, 57: 1033\u20131045","journal-title":"Comput J"},{"key":"3028_CR24","first-page":"1","volume":"2016","author":"G B Wang","year":"2016","unstructured":"Wang G B, He J F, Liu J, et al. Safety verification of interconnected hybrid systems using barrier certificates. Math Problem Eng, 2016, 2016: 1\u201310","journal-title":"Math Problem Eng"},{"key":"3028_CR25","doi-asserted-by":"crossref","unstructured":"Wang G B, Liu J, Sun H Y, et al. Safety verification of state\/time-driven hybrid systems using barrier certificates. In: Proceedings of the 35th Chinese Control Conference (CCC), 2016. 2483\u20132489","DOI":"10.1109\/ChiCC.2016.7553737"},{"key":"3028_CR26","doi-asserted-by":"publisher","first-page":"199205","DOI":"10.1007\/s11432-018-9840-6","volume":"64","author":"Z R Zhu","year":"2021","unstructured":"Zhu Z R, Chai Y, Yang Z M. A novel kind of sufficient conditions for safety judgement based on control barrier function. Sci China Inf Sci, 2021, 64: 199205","journal-title":"Sci China Inf Sci"},{"key":"3028_CR27","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 Annual Conference on Decision and Control (CDC), 2014. 6271\u20136278","DOI":"10.1109\/CDC.2014.7040372"},{"key":"3028_CR28","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.ifacol.2015.11.152","volume":"48","author":"X R Xu","year":"2015","unstructured":"Xu X R, Tabuada P, Grizzle J W, et al. Robustness of control barrier functions for safety critical control. IFAC-PapersOnLine, 2015, 48: 54\u201361","journal-title":"IFAC-PapersOnLine"},{"key":"3028_CR29","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1109\/LCSYS.2017.2710943","volume":"1","author":"P Glotfelter","year":"2017","unstructured":"Glotfelter P, Cortes J, Egerstedt M. Nonsmooth barrier functions with applications to multi-robot systems. IEEE Control Syst Lett, 2017, 1: 310\u2013315","journal-title":"IEEE Control Syst Lett"},{"key":"3028_CR30","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.ifacol.2015.11.154","volume":"48","author":"U Borrmann","year":"2015","unstructured":"Borrmann U, Wang L, Ames A D, et al. Control barrier certificates for safe swarm behavior. IFAC-PapersOnLine, 2015, 48: 68\u201373","journal-title":"IFAC-PapersOnLine"},{"key":"3028_CR31","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/TRO.2017.2659727","volume":"33","author":"L Wang","year":"2017","unstructured":"Wang L, Ames A D, Egerstedt M. Safety barrier certificates for collisions-free multirobot systems. IEEE Trans Robot, 2017, 33: 661\u2013674","journal-title":"IEEE Trans Robot"},{"key":"3028_CR32","doi-asserted-by":"crossref","unstructured":"Wang L, Ames A, Egerstedt M. Safety barrier certificates for heterogeneous multi-robot systems. In: Proceedings of American Control Conference (ACC), Boston, 2016. 5213\u20135218","DOI":"10.1109\/ACC.2016.7526486"},{"key":"3028_CR33","doi-asserted-by":"publisher","first-page":"3861","DOI":"10.1109\/TAC.2016.2638961","volume":"62","author":"A D Ames","year":"2017","unstructured":"Ames A D, Xu X, Grizzle J W, et al. Control barrier function based quadratic programs for safety critical systems. IEEE Trans Autom Control, 2017, 62: 3861\u20133876","journal-title":"IEEE Trans Autom Control"},{"key":"3028_CR34","doi-asserted-by":"crossref","unstructured":"Agrawal A, Sreenath K. Discrete control barrier functions for safety critical control of discrete systems with application to bipedal robot navigation. In: Proceedings of Robotics: Science and Systems Conference, Cambridge, 2017","DOI":"10.15607\/RSS.2017.XIII.073"},{"key":"3028_CR35","doi-asserted-by":"publisher","first-page":"012204","DOI":"10.1007\/s11432-013-5043-y","volume":"57","author":"S C Tong","year":"2014","unstructured":"Tong S C, Li Y M. Observer-based adaptive fuzzy backstepping control of uncertain nonlinear pure-feedback systems. Sci China Inf Sci, 2014, 57: 012204","journal-title":"Sci China Inf Sci"},{"key":"3028_CR36","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1109\/JAS.2019.1911807","volume":"7","author":"A K Jain","year":"2020","unstructured":"Jain A K, Bhasin S. Tracking control of uncertain nonlinear systems with unknown constant input delay. IEEE\/CAA J Autom Sin, 2020, 7: 420\u2013425","journal-title":"IEEE\/CAA J Autom Sin"},{"key":"3028_CR37","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s11432-010-0031-y","volume":"53","author":"S C Tong","year":"2010","unstructured":"Tong S C, Li Y M. Robust adaptive fuzzy backstepping output feedback tracking control for nonlinear system with dynamic uncertainties. Sci China Inf Sci, 2010, 53: 307\u2013324","journal-title":"Sci China Inf Sci"},{"key":"3028_CR38","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/TR.2015.2417171","volume":"65","author":"J P P Gomes","year":"2016","unstructured":"Gomes J P P, Galvao R K H, Yoneyama T, et al. A new degradation indicator based on a statistical anomaly approach. IEEE Trans Rel, 2016, 65: 326\u2013335","journal-title":"IEEE Trans Rel"},{"key":"3028_CR39","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1109\/TR.2015.2513044","volume":"65","author":"J F Zheng","year":"2016","unstructured":"Zheng J F, Si X S, Hu C H, et al. A nonlinear prognostic model for degrading systems with three-source variability. IEEE Trans Rel, 2016, 65: 736\u2013750","journal-title":"IEEE Trans Rel"},{"key":"3028_CR40","volume-title":"Mathematical Analysis (in Chinese)","author":"Department of Mathematics","year":"1999","unstructured":"Department of Mathematics, East China Normal University. Mathematical Analysis (in Chinese). 3rd. Beijing: Higher Education Press, 1999","edition":"3rd."}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-020-3028-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-020-3028-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-020-3028-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,6]],"date-time":"2023-03-06T22:04:50Z","timestamp":1678140290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-020-3028-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,14]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["3028"],"URL":"https:\/\/doi.org\/10.1007\/s11432-020-3028-4","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,14]]},"assertion":[{"value":"4 April 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 July 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 January 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"122203"}}