{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T19:29:17Z","timestamp":1747855757981},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1007\/s11432-018-9840-6","type":"journal-article","created":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T14:03:34Z","timestamp":1593785014000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A novel kind of sufficient conditions for safety judgement based on control barrier function"],"prefix":"10.1007","volume":"64","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"}]}],"member":"297","published-online":{"date-parts":[[2020,6,29]]},"reference":[{"key":"9840_CR1","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":"9840_CR2","doi-asserted-by":"crossref","unstructured":"Prajna S, Rantzer A. On the necessity of barrier certificates. In: Proceedings of the IFAC World Congress, Prague, 2005. 526\u2013531","DOI":"10.3182\/20050703-6-CZ-1902.00743"},{"key":"9840_CR3","doi-asserted-by":"crossref","unstructured":"Prajna S, Jadbabaie A, Pappas G J. Stochastic safety verification using barrier certificates. In: Proceedings of the 43rd IEEE Conference on Decision and Control, Nassau, 2004","DOI":"10.1109\/CDC.2004.1428804"},{"key":"9840_CR4","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":"9840_CR5","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":"9840_CR6","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, Chengdu, 2016. 2483\u20132489","DOI":"10.1109\/ChiCC.2016.7553737"},{"key":"9840_CR7","volume-title":"Mathematical Analysis","author":"Department of Mathematics, East China Normal University","year":"1999","unstructured":"Department of Mathematics, East China Normal University. Mathematical Analysis (in Chinese). 3rd ed. Beijing: Higher Education Press, 1999","edition":"3rd ed."}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9840-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-018-9840-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9840-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T20:15:35Z","timestamp":1666296935000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-018-9840-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":7,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["9840"],"URL":"https:\/\/doi.org\/10.1007\/s11432-018-9840-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"14 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 February 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"199205"}}