{"id":"https://openalex.org/W4386869626","doi":"https://doi.org/10.1109/tac.2023.3317315","title":"Small-Gain Theorem for Safety Verification Under High-Relative-Degree Constraints","display_name":"Small-Gain Theorem for Safety Verification Under High-Relative-Degree Constraints","publication_year":2023,"publication_date":"2023-09-19","ids":{"openalex":"https://openalex.org/W4386869626","doi":"https://doi.org/10.1109/tac.2023.3317315"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2023.3317315","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3317315","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087160150","display_name":"Ziliang Lyu","orcid":"https://orcid.org/0000-0001-5785-5673"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ziliang Lyu","raw_affiliation_strings":["Department of Control Science and Engineering, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Control Science and Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033195779","display_name":"Xiangru Xu","orcid":"https://orcid.org/0000-0003-1367-6790"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangru Xu","raw_affiliation_strings":["Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100359415","display_name":"Yiguang Hong","orcid":"https://orcid.org/0000-0001-9505-8739"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiguang Hong","raw_affiliation_strings":["Department of Control Science and Engineering, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Control Science and Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5087160150"],"corresponding_institution_ids":["https://openalex.org/I116953780"],"apc_list":null,"apc_paid":null,"fwci":3.3769,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.92784935,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"69","issue":"6","first_page":"3717","last_page":"3731"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.6840500831604004},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5385630130767822},{"id":"https://openalex.org/keywords/small-gain-theorem","display_name":"Small-gain theorem","score":0.5195562839508057},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47174108028411865},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.46052485704421997},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.41177991032600403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4083763062953949},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3764532208442688},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3675185441970825},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.29967010021209717},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.25637829303741455},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10385063290596008}],"concepts":[{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6840500831604004},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5385630130767822},{"id":"https://openalex.org/C27385263","wikidata":"https://www.wikidata.org/wiki/Q4165677","display_name":"Small-gain theorem","level":3,"score":0.5195562839508057},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47174108028411865},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.46052485704421997},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.41177991032600403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4083763062953949},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3764532208442688},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3675185441970825},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.29967010021209717},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.25637829303741455},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10385063290596008},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2023.3317315","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3317315","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5977796052","display_name":null,"funder_award_id":"62173250","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W374079423","https://openalex.org/W1540883472","https://openalex.org/W1563147540","https://openalex.org/W1880805667","https://openalex.org/W1972149633","https://openalex.org/W1980569135","https://openalex.org/W2004470537","https://openalex.org/W2017493230","https://openalex.org/W2024267548","https://openalex.org/W2026769037","https://openalex.org/W2033118636","https://openalex.org/W2036031393","https://openalex.org/W2036826525","https://openalex.org/W2038137192","https://openalex.org/W2045511098","https://openalex.org/W2061741741","https://openalex.org/W2062373349","https://openalex.org/W2063970464","https://openalex.org/W2074857762","https://openalex.org/W2090167557","https://openalex.org/W2095040111","https://openalex.org/W2098287094","https://openalex.org/W2098989671","https://openalex.org/W2099184899","https://openalex.org/W2108912872","https://openalex.org/W2113301266","https://openalex.org/W2116364955","https://openalex.org/W2129729773","https://openalex.org/W2151136609","https://openalex.org/W2159130301","https://openalex.org/W2168247844","https://openalex.org/W2489231587","https://openalex.org/W2525042068","https://openalex.org/W2560504659","https://openalex.org/W2602502146","https://openalex.org/W2765203865","https://openalex.org/W2789826932","https://openalex.org/W2887154784","https://openalex.org/W2964239424","https://openalex.org/W3021643916","https://openalex.org/W3045947256","https://openalex.org/W3045976685","https://openalex.org/W3081304589","https://openalex.org/W3094947075","https://openalex.org/W3102238624","https://openalex.org/W3104239214","https://openalex.org/W3168522732","https://openalex.org/W3195647294","https://openalex.org/W4205940976","https://openalex.org/W4240125867","https://openalex.org/W4292249799","https://openalex.org/W4377224316"],"related_works":["https://openalex.org/W2399035783","https://openalex.org/W3161230432","https://openalex.org/W4367190712","https://openalex.org/W2168900540","https://openalex.org/W2519597917","https://openalex.org/W1487201914","https://openalex.org/W4301429470","https://openalex.org/W280458463","https://openalex.org/W2902245280","https://openalex.org/W1170131723"],"abstract_inverted_index":{"This":[0],"paper":[1],"develops":[2],"a":[3,22,42,73,119],"small-gain":[4,74,87,104],"technique":[5],"for":[6,78],"the":[7,32,38,45,53,64,86,89,102,109],"safety":[8,17,25,65,79],"analysis":[9,66],"and":[10,52,96],"verification":[11],"of":[12,34,101,113],"interconnected":[13],"systems":[14],"with":[15],"high-relative-degree":[16,23,55,71],"constraints.":[18],"To":[19],"this":[20],"end,":[21],"input-to-state":[24],"(ISSf)":[26],"approach":[27],"is":[28,60,76,82,93,106],"proposed":[29,77,103],"to":[30,62],"quantify":[31],"influence":[33],"external":[35,68],"inputs":[36],"on":[37,108,122],"subsystem":[39],"safety.":[40],"With":[41,70],"coordination":[43],"transformation,":[44],"relationship":[46],"between":[47],"ISSf":[48],"barrier":[49,58],"functions":[50,59],"(ISSf-BFs)":[51],"existing":[54],"(or":[56],"high-order)":[57],"established":[61],"simplify":[63],"under":[67,85],"inputs.":[69],"ISSf-BFs,":[72],"theorem":[75,105],"verification.":[80],"It":[81],"shown":[83],"that,":[84],"condition,":[88],"compositional":[90],"safe":[91],"set":[92],"forward":[94],"invariant":[95],"asymptotically":[97],"stable.":[98],"The":[99],"effectiveness":[100],"illustrated":[107],"output-constrained":[110],"decentralized":[111],"control":[112],"two":[114,123],"inverted":[115],"pendulums":[116],"connected":[117],"by":[118],"spring":[120],"mounted":[121],"carts.":[124]},"counts_by_year":[{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":8}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}