{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T11:41:52Z","timestamp":1775562112489,"version":"3.50.1"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2022YFA1004700"],"award-info":[{"award-number":["2022YFA1004700"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62173250"],"award-info":[{"award-number":["62173250"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shanghai Municipal Science and Technology Major Project","award":["2021SHZDZX0100"],"award-info":[{"award-number":["2021SHZDZX0100"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1109\/tac.2023.3317315","type":"journal-article","created":{"date-parts":[[2023,9,19]],"date-time":"2023-09-19T18:35:21Z","timestamp":1695148521000},"page":"3717-3731","source":"Crossref","is-referenced-by-count":18,"title":["Small-Gain Theorem for Safety Verification Under High-Relative-Degree Constraints"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5785-5673","authenticated-orcid":false,"given":"Ziliang","family":"Lyu","sequence":"first","affiliation":[{"name":"Department of Control Science and Engineering, Tongji University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1367-6790","authenticated-orcid":false,"given":"Xiangru","family":"Xu","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9505-8739","authenticated-orcid":false,"given":"Yiguang","family":"Hong","sequence":"additional","affiliation":[{"name":"Department of Control Science and Engineering, Tongji University, Shanghai, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/icra.2013.6630576"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_20"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3012630"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.11.017"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040372"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.152"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3035467"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7524935"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.10.005"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3089639"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3105491"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110178"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382196"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2361595"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185639"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1966.1098316"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1115\/1.3426967"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90140-W"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211469"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(96)00051-9"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/9.536496"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/9.28018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2286898"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2304397"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/090746483"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/9.360"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2396645"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.3454"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853698"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2023.3278788"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/9.151092"},{"key":"ref37","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4606-6","volume-title":"Set-Theoretic Methods in Control","author":"Blanchini","year":"2008"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-042371-5.50039-3"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_17"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3018438"},{"key":"ref41","volume-title":"Nonlinear and Adaptive Control Design","author":"Krstic","year":"1995"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00015-1"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3182\/20070822-3-za-2920.00076"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9362-7"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012993259981"},{"key":"ref46","volume-title":"Nonlinear Systems","author":"Khalil","year":"2002"},{"key":"ref47","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0549-7","volume-title":"Nonlinear Control Systems II","author":"Isidori","year":"1999"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00028-0"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.23919\/acc45564.2020.9147367"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2760863"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798663"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434732"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10541101\/10255265.pdf?arnumber=10255265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T18:09:27Z","timestamp":1717092567000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10255265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":52,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2023.3317315","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6]]}}}