{"id":"https://openalex.org/W4407948435","doi":"https://doi.org/10.1109/cdc56724.2024.10886799","title":"Path-Complete Barrier Functions for Safety of Switched Linear Systems","display_name":"Path-Complete Barrier Functions for Safety of Switched Linear Systems","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407948435","doi":"https://doi.org/10.1109/cdc56724.2024.10886799"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10886799","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2078.1/307621","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029222201","display_name":"Mahathi Anand","orcid":"https://orcid.org/0000-0002-3151-2098"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Mahathi Anand","raw_affiliation_strings":["Institute for Systems Theory and Automatic Control, University of Stuttgart,Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Systems Theory and Automatic Control, University of Stuttgart,Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056625594","display_name":"Rapha\u00ebl M. Jungers","orcid":"https://orcid.org/0000-0002-7789-0940"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Rapha\u00ebl Jungers","raw_affiliation_strings":["Université catholique de Louvain,Department of Mathematical Engineering"],"affiliations":[{"raw_affiliation_string":"Université catholique de Louvain,Department of Mathematical Engineering","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030109984","display_name":"Majid Zamani","orcid":"https://orcid.org/0000-0001-6608-3708"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Majid Zamani","raw_affiliation_strings":["University of Colorado Boulder,USA"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder,USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001090900","display_name":"Frank Allg\u00f6wer","orcid":"https://orcid.org/0000-0002-3702-3658"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Frank Allg\u00f6wer","raw_affiliation_strings":["Institute for Systems Theory and Automatic Control, University of Stuttgart,Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Systems Theory and Automatic Control, University of Stuttgart,Germany","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029222201"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35170832,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7423","last_page":"7428"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9884999990463257,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9884999990463257,"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/T10142","display_name":"Formal Methods in Verification","score":0.9559000134468079,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9350000023841858,"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/path","display_name":"Path (computing)","score":0.5947908163070679},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4378213882446289},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42230314016342163},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3298640251159668},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.275538831949234},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11193475127220154},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.10579901933670044},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06224137544631958}],"concepts":[{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5947908163070679},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4378213882446289},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42230314016342163},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3298640251159668},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.275538831949234},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11193475127220154},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.10579901933670044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06224137544631958},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc56724.2024.10886799","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886799","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:dial.uclouvain.be:boreal:307621","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/307621","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings 2024 IEEE 63rd Conference on Decision and Control (CDC),  (2024)","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:dial.uclouvain.be:boreal:307621","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/307621","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings 2024 IEEE 63rd Conference on Decision and Control (CDC),  (2024)","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1552094772","https://openalex.org/W1607353007","https://openalex.org/W1967073510","https://openalex.org/W1967184028","https://openalex.org/W2041454172","https://openalex.org/W2052446317","https://openalex.org/W2084970142","https://openalex.org/W2133860287","https://openalex.org/W2166929155","https://openalex.org/W2507178009","https://openalex.org/W2509841691","https://openalex.org/W2536620281","https://openalex.org/W2562075274","https://openalex.org/W2937722039","https://openalex.org/W2952849136","https://openalex.org/W2963148864","https://openalex.org/W2968914631","https://openalex.org/W3012437857","https://openalex.org/W3025302876","https://openalex.org/W3113187462","https://openalex.org/W3117881175","https://openalex.org/W3153253890","https://openalex.org/W3209581072","https://openalex.org/W3210839039","https://openalex.org/W4225399887","https://openalex.org/W4295854926"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W1514662352"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,163],"address":[4],"the":[5,48,88,108,117,123,158,169,177],"safety":[6,79],"verification":[7],"problem":[8],"of":[9,27,35,61,110,171],"switched":[10,85],"linear":[11,86,101],"dynamical":[12],"systems":[13],"under":[14,104],"arbitrary":[15],"switching":[16,50],"via":[17,91],"barrier":[18,29,36,56,65,93,118,127,131,144,154,160],"functions.":[19,119],"Our":[20],"approach":[21],"is":[22],"based":[23],"on":[24,107],"a":[25,33,40,149],"notion":[26],"path-complete":[28,55,92,126,138,143,159],"functions,":[30,132],"which":[31],"utilizes":[32],"collection":[34],"functions":[37,57,66,94,128],"associated":[38],"with":[39,140],"directed":[41],"labeled":[42],"graph":[43,139],"that":[44,54,135,179],"can":[45,72,95,147],"encode":[46],"all":[47],"possible":[49],"sequences.":[51],"We":[52,81,120],"show":[53,134],"effectively":[58],"generalize":[59],"notions":[60],"common":[62,130,153],"and":[63,71,112,129,133,174],"multiple":[64],"studied":[67],"in":[68],"existing":[69],"literature,":[70],"potentially":[73],"provide":[74],"less":[75],"conservative":[76],"conditions":[77],"for":[78,84,116,136,182],"verification.":[80],"demonstrate":[82],"that,":[83],"systems,":[87],"inequalities":[89,103],"imposed":[90],"be":[96],"easily":[97],"encoded":[98],"into":[99],"simple":[100],"matrix":[102],"some":[105],"assumptions":[106],"regions":[109],"interest":[111],"appropriately":[113],"chosen":[114],"templates":[115],"also":[121],"study":[122],"relationship":[124],"between":[125],"any":[137],"an":[141],"admissible":[142],"function,":[145],"one":[146],"derive":[148],"suitable":[150],"(possibly":[151],"non-smooth)":[152],"function":[155],"by":[156],"utilizing":[157],"function.":[161],"Finally,":[162],"utilize":[164],"several":[165],"examples":[166],"to":[167],"illustrate":[168],"effectiveness":[170],"our":[172],"approach,":[173],"briefly":[175],"discuss":[176],"challenges":[178],"lay":[180],"foundations":[181],"future":[183],"research.":[184]},"counts_by_year":[],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}