{"id":"https://openalex.org/W7123341023","doi":"https://doi.org/10.1109/cdc57313.2025.11312407","title":"Integral Input-to-State Safe Barrier Functions","display_name":"Integral Input-to-State Safe Barrier Functions","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123341023","doi":"https://doi.org/10.1109/cdc57313.2025.11312407"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312407","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312407","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-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/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ziliang Lyu","raw_affiliation_strings":["Nanyang Technological University,School of Electrical, and Electronic Engineering,Singapore,Singapore,639798"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University,School of Electrical, and Electronic Engineering,Singapore,Singapore,639798","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052083635","display_name":"Xiaodong Fang","orcid":"https://orcid.org/0000-0001-7061-3337"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Fang","raw_affiliation_strings":["Dalian University of Technology,Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education,Dalian,China,116024"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dalian University of Technology,Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education,Dalian,China,116024","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032934116","display_name":"Heling Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Heling Yuan","raw_affiliation_strings":["Nanyang Technological University,School of Electrical, and Electronic Engineering,Singapore,Singapore,639798"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University,School of Electrical, and Electronic Engineering,Singapore,Singapore,639798","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102944165","display_name":"Xiuxian Li","orcid":"https://orcid.org/0000-0002-7286-6271"},"institutions":[{"id":"https://openalex.org/I4210105785","display_name":"Intelligent Systems Research (United States)","ror":"https://ror.org/01reevc91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210105785"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiuxian Li","raw_affiliation_strings":["Tongji University,Frontiers Science Center for Intelligent Autonomous Systems, Ministry of Education, and Shanghai Institute of Intelligent Science and Technology,Department of Control Science and Engineering, College of Electronics and Information Engineering, Shanghai Research Institute for Intelligent Autonomous Systems, State Key Laboratory of Autonomous Intelligent Unmanned Systems,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tongji University,Frontiers Science Center for Intelligent Autonomous Systems, Ministry of Education, and Shanghai Institute of Intelligent Science and Technology,Department of Control Science and Engineering, College of Electronics and Information Engineering, Shanghai Research Institute for Intelligent Autonomous Systems, State Key Laboratory of Autonomous Intelligent Unmanned Systems,Shanghai,China","institution_ids":["https://openalex.org/I4210105785"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110011173","display_name":"Yiguang Hong","orcid":null},"institutions":[{"id":"https://openalex.org/I4210105785","display_name":"Intelligent Systems Research (United States)","ror":"https://ror.org/01reevc91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210105785"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yiguang Hong","raw_affiliation_strings":["Tongji University,Frontiers Science Center for Intelligent Autonomous Systems, Ministry of Education, and Shanghai Institute of Intelligent Science and Technology,Department of Control Science and Engineering, College of Electronics and Information Engineering, Shanghai Research Institute for Intelligent Autonomous Systems, State Key Laboratory of Autonomous Intelligent Unmanned Systems,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tongji University,Frontiers Science Center for Intelligent Autonomous Systems, Ministry of Education, and Shanghai Institute of Intelligent Science and Technology,Department of Control Science and Engineering, College of Electronics and Information Engineering, Shanghai Research Institute for Intelligent Autonomous Systems, State Key Laboratory of Autonomous Intelligent Unmanned Systems,Shanghai,China","institution_ids":["https://openalex.org/I4210105785"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122854246","display_name":"Lihua Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Lihua Xie","raw_affiliation_strings":["Nanyang Technological University,School of Electrical, and Electronic Engineering,Singapore,Singapore,639798"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University,School of Electrical, and Electronic Engineering,Singapore,Singapore,639798","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.70090895,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3901","last_page":"3906"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6258000135421753,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6258000135421753,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.06560000032186508,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.053599998354911804,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.49309998750686646},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.47679999470710754},{"id":"https://openalex.org/keywords/integral-equation","display_name":"Integral equation","score":0.4577000141143799},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.42289999127388},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.3587999939918518},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3564000129699707}],"concepts":[{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.49309998750686646},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.47679999470710754},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47510001063346863},{"id":"https://openalex.org/C27016315","wikidata":"https://www.wikidata.org/wiki/Q580101","display_name":"Integral equation","level":2,"score":0.4577000141143799},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.42289999127388},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.3587999939918518},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3564000129699707},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.313400000333786},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2976999878883362},{"id":"https://openalex.org/C99336924","wikidata":"https://www.wikidata.org/wiki/Q598146","display_name":"Surface integral","level":3,"score":0.2955000102519989},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2939000129699707},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2728999853134155}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312407","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312407","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Understanding":[0],"the":[1,11,16,31,36,44,69],"effect":[2],"of":[3,10,18,33,38,46,71,110],"inputs":[4],"on":[5,35],"system":[6],"safety":[7,23,34],"is":[8,25,74],"one":[9],"most":[12],"important":[13],"issues":[14],"in":[15],"study":[17],"safety-critical":[19,93],"systems.":[20],"Integral":[21],"input-to-state":[22,112],"(iISSf)":[24],"a":[26,50,61,75,92,101],"concept":[27],"that":[28,68,116],"can":[29],"describe":[30],"dependence":[32],"integral":[37,111],"external":[39],"inputs.":[40],"This":[41],"paper":[42],"studies":[43],"characterization":[45],"iISSf":[47,56,81,97,103],"properties":[48],"from":[49],"barrier":[51,57,83],"function":[52],"perspective.":[53],"We":[54],"introduce":[55],"functions":[58,84],"(iISSf-BFs)":[59],"as":[60],"tool":[62],"to":[63,95,100],"verify":[64],"iISSf,":[65],"and":[66,86],"establish":[67],"existence":[70],"an":[72,107],"iISSf-BF":[73],"sufficient":[76],"condition":[77],"for":[78,121],"iISSf.":[79,122],"With":[80],"control":[82],"(iISSf-CBFs)":[85],"quadratic":[87],"programs":[88],"(QPs),":[89],"we":[90,114],"construct":[91],"controller":[94],"enforce":[96],"with":[98],"respect":[99],"prescribed":[102],"gain.":[104],"Finally,":[105],"under":[106],"additional":[108],"assumption":[109],"stability,":[113],"show":[115],"iISSfs-BFs":[117],"are":[118],"also":[119],"necessary":[120]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-14T00:00:00"}