{"id":"https://openalex.org/W4400350573","doi":"https://doi.org/10.1109/tac.2024.3423837","title":"Reach-Avoid Controllers Synthesis for Safety Critical Systems","display_name":"Reach-Avoid Controllers Synthesis for Safety Critical Systems","publication_year":2024,"publication_date":"2024-07-05","ids":{"openalex":"https://openalex.org/W4400350573","doi":"https://doi.org/10.1109/tac.2024.3423837"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2024.3423837","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3423837","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/A5100781916","display_name":"Xue Bai","orcid":"https://orcid.org/0000-0001-9717-846X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bai Xue","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences), State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences), State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100781916"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":1.9707,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.86149385,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"69","issue":"12","first_page":"8892","last_page":"8899"},"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.8967999815940857,"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.8967999815940857,"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/T11081","display_name":"Advanced Control Systems Design","score":0.815500020980835,"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/T11236","display_name":"Control Systems and Identification","score":0.8011999726295471,"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/computer-science","display_name":"Computer science","score":0.5412755012512207},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4889134466648102},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4580264985561371},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.39267998933792114},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3278055191040039},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.32423603534698486},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3125300407409668},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.09264340996742249},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08895286917686462}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5412755012512207},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4889134466648102},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4580264985561371},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.39267998933792114},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3278055191040039},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.32423603534698486},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3125300407409668},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.09264340996742249},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08895286917686462},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2024.3423837","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3423837","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":[{"score":0.6200000047683716,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W9012611","https://openalex.org/W1607353007","https://openalex.org/W1726255445","https://openalex.org/W2057789475","https://openalex.org/W2066423936","https://openalex.org/W2149713648","https://openalex.org/W2171505650","https://openalex.org/W2181225540","https://openalex.org/W2238345790","https://openalex.org/W2560504659","https://openalex.org/W2761962793","https://openalex.org/W2968945909","https://openalex.org/W3107034996","https://openalex.org/W3163376802","https://openalex.org/W4376457114","https://openalex.org/W4388642335","https://openalex.org/W4388903135","https://openalex.org/W6704139216"],"related_works":["https://openalex.org/W2615607975","https://openalex.org/W2355865573","https://openalex.org/W2155981143","https://openalex.org/W2155245395","https://openalex.org/W2192101006","https://openalex.org/W2116800748","https://openalex.org/W2638730922","https://openalex.org/W2190465783","https://openalex.org/W2027827693","https://openalex.org/W2381267592"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3,128],"propose":[4],"a":[5,44,49,53,68],"framework":[6],"for":[7,11,92,113],"synthesizing":[8,93],"reach-avoid":[9,45,59,94,121],"controllers":[10,95,122],"deterministic":[12,38,114],"systems":[13,21,39,115,118],"modeled":[14,22],"by":[15,23],"ordinary":[16],"differential":[17,25],"equations":[18,26],"and":[19,40,89],"stochastic":[20,24,117],"based":[27],"on":[28],"the":[29,58,65,80,124,134,141],"notion":[30],"of":[31,110,136],"control":[32,86],"guidance-barrier":[33,87],"functions.":[34],"We":[35,106],"first":[36,81],"consider":[37],"aim":[41],"to":[42,56,116,119,132],"synthesize":[43,120],"controller":[46,51,104],"that":[47,64],"modifies":[48],"nominal":[50],"in":[52,123],"minimal":[54],"way":[55],"enforce":[57],"objective.":[60],"This":[61],"objective":[62],"ensures":[63],"system":[66],"enters":[67],"target":[69,82],"set":[70,78],"eventually":[71],"while":[72],"staying":[73],"within":[74],"an":[75],"open":[76],"safe":[77],"before":[79],"hitting":[83],"time.":[84],"Three":[85],"functions":[88,112],"corresponding":[90],"conditions":[91,99],"are":[96],"developed.":[97],"These":[98],"progressively":[100],"weaken,":[101],"facilitating":[102],"optimal":[103],"design.":[105],"then":[107],"extend":[108],"two":[109],"these":[111],"probabilistic":[125],"setting.":[126],"Finally,":[127],"provide":[129],"several":[130],"examples":[131],"demonstrate":[133],"effectiveness":[135],"our":[137],"proposed":[138],"methods,":[139],"using":[140],"semidefinite":[142],"programming":[143],"tool.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}