{"id":"https://openalex.org/W2885499807","doi":"https://doi.org/10.1109/allerton.2018.8635905","title":"Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems","display_name":"Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2885499807","doi":"https://doi.org/10.1109/allerton.2018.8635905","mag":"2885499807"},"language":"en","primary_location":{"id":"doi:10.1109/allerton.2018.8635905","is_oa":false,"landing_page_url":"https://doi.org/10.1109/allerton.2018.8635905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","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/A5061035016","display_name":"Matija Buci\u0107","orcid":"https://orcid.org/0000-0002-1055-3309"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Matija Bucic","raw_affiliation_strings":["Department of Mathematics, ETH Z\u00fcrich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, ETH Z\u00fcrich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070897457","display_name":"Melkior Ornik","orcid":"https://orcid.org/0000-0002-8510-8787"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Melkior Ornik","raw_affiliation_strings":["Institute for Computational Engineering and Sciences, University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computational Engineering and Sciences, University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068441112","display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["Institute for Computational Engineering and Sciences and the Department of Aerospace Engineering and Engineering Mechanics, University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computational Engineering and Sciences and the Department of Aerospace Engineering and Engineering Mechanics, University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2145,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.56025362,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"297","last_page":"304"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9768000245094299,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.6483193635940552},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.5681081414222717},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.5262340903282166},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5151647329330444},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.47700026631355286},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45062994956970215},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.44337892532348633},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.4139726459980011},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.41114044189453125},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3816351592540741},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.36191341280937195},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.20787644386291504},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2058737576007843},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18422266840934753},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12955275177955627}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6483193635940552},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.5681081414222717},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.5262340903282166},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5151647329330444},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.47700026631355286},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45062994956970215},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.44337892532348633},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.4139726459980011},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.41114044189453125},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3816351592540741},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36191341280937195},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.20787644386291504},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2058737576007843},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18422266840934753},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12955275177955627},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/allerton.2018.8635905","is_oa":false,"landing_page_url":"https://doi.org/10.1109/allerton.2018.8635905","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","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":39,"referenced_works":["https://openalex.org/W948637","https://openalex.org/W33923495","https://openalex.org/W105334049","https://openalex.org/W105733880","https://openalex.org/W630397680","https://openalex.org/W852087202","https://openalex.org/W1483893502","https://openalex.org/W1498432697","https://openalex.org/W1579764623","https://openalex.org/W1975573070","https://openalex.org/W1985055441","https://openalex.org/W1995056472","https://openalex.org/W1995875735","https://openalex.org/W2049724793","https://openalex.org/W2099413756","https://openalex.org/W2106883926","https://openalex.org/W2107667896","https://openalex.org/W2120967289","https://openalex.org/W2123357397","https://openalex.org/W2126523012","https://openalex.org/W2152238493","https://openalex.org/W2161439427","https://openalex.org/W2166853159","https://openalex.org/W2226549490","https://openalex.org/W2296693980","https://openalex.org/W2424346616","https://openalex.org/W2477379160","https://openalex.org/W2487779201","https://openalex.org/W2606327391","https://openalex.org/W2913210435","https://openalex.org/W2977322974","https://openalex.org/W3005919462","https://openalex.org/W3150976312","https://openalex.org/W4229970255","https://openalex.org/W4249363607","https://openalex.org/W4252971074","https://openalex.org/W6604308027","https://openalex.org/W6689049650","https://openalex.org/W6717958981"],"related_works":["https://openalex.org/W2502115930","https://openalex.org/W2482350142","https://openalex.org/W4246396837","https://openalex.org/W3126451824","https://openalex.org/W1561927205","https://openalex.org/W3191453585","https://openalex.org/W4297672492","https://openalex.org/W4310988119","https://openalex.org/W4285226279","https://openalex.org/W4288019534"],"abstract_inverted_index":{"Resilience":[0],"to":[1,19,24,38,64,120,155],"damage,":[2],"component":[3],"degradation,":[4],"and":[5,173,193,203,222],"adversarial":[6,105,148],"action":[7],"is":[8,30,118],"a":[9,71,109,134,142,156,163,167,170,176,186,194,200,204,218,223,228,232],"critical":[10],"consideration":[11],"in":[12,69,132],"design":[13,89,202],"of":[14,53,87,111,113,124,146,169,178,180,225],"autonomous":[15,34,92,220],"systems.":[16],"In":[17,80],"addition":[18],"designing":[20],"strategies":[21],"that":[22,32,73,127,136,207,230],"seek":[23],"prevent":[25],"such":[26,70,133,162],"negative":[27],"events,":[28],"it":[29,60],"vital":[31],"an":[33,91,147,181],"system":[35,46,93,129,138,201,209],"remains":[36,140],"able":[37],"achieve":[39],"its":[40],"control":[41,49,58,76,101,125,153,205],"objective":[42],"even":[43],"if":[44],"the":[45,56,66,74,85,99,122,128,137,151],"partially":[47],"loses":[48],"authority.":[50,114],"While":[51],"loss":[52,112],"authority":[54,68],"limits":[55],"system's":[57,75],"capabilities,":[59],"may":[61],"be":[62],"possible":[63],"use":[65],"remaining":[67],"way":[72,135],"objectives":[77],"remain":[78],"achievable.":[79],"this":[81],"paper,":[82],"we":[83],"consider":[84],"problem":[86,164,177],"optimal":[88],"for":[90,191,198],"with":[94],"discrete-time":[95],"linear":[96],"dynamics":[97],"where":[98],"available":[100,152],"actions":[102],"depend":[103],"on":[104,185,215],"input":[106,149],"produced":[107],"as":[108,166,175],"result":[110],"The":[115],"central":[116],"question":[117],"how":[119],"partition":[121,158],"set":[123,144],"inputs":[126,154],"can":[130],"apply":[131],"state":[139],"within":[141],"safe":[143],"regardless":[145],"limiting":[150],"single":[157],"elements.":[159],"We":[160,188,211],"interpret":[161],"first":[165],"variant":[168],"safety":[171],"game,":[172],"then":[174],"existence":[179,192],"appropriate":[182],"edge":[183],"labeling":[184],"graph.":[187],"obtain":[189],"conditions":[190],"computationally":[195],"efficient":[196],"algorithm":[197],"determining":[199],"policy":[206],"preserve":[208],"safety.":[210],"illustrate":[212],"our":[213],"results":[214],"two":[216],"examples:":[217],"damaged":[219],"vehicle":[221],"method":[224],"communication":[226],"over":[227],"channel":[229],"ensures":[231],"minimal":[233],"running":[234],"digital":[235],"sum.":[236]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}