{"id":"https://openalex.org/W2561294782","doi":"https://doi.org/10.1109/tac.2017.2722960","title":"Mode-Target Games: Reactive Synthesis for Control Applications","display_name":"Mode-Target Games: Reactive Synthesis for Control Applications","publication_year":2017,"publication_date":"2017-07-03","ids":{"openalex":"https://openalex.org/W2561294782","doi":"https://doi.org/10.1109/tac.2017.2722960","mag":"2561294782"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2017.2722960","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2017.2722960","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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1504.07702","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072235308","display_name":"Ay\u00e7a Balkan","orcid":"https://orcid.org/0000-0002-0899-659X"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ayca Balkan","raw_affiliation_strings":["Department of Electrical Engineering, University of California, Los Angeles, CA, USA","Department of Electrical Engineering, University of California, Los Angeles , CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-0899-659X","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, University of California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"Department of Electrical Engineering, University of California, Los Angeles , CA, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000059818","display_name":"Moshe Y. Vardi","orcid":"https://orcid.org/0000-0002-0661-5773"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Moshe Vardi","raw_affiliation_strings":["Department of Computer Science, Rice University, Houston, TX, USA","Dept of Computer Science, Rice University, Houston, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Dept of Computer Science, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047674203","display_name":"Paulo Tabuada","orcid":"https://orcid.org/0000-0002-3417-0951"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paulo Tabuada","raw_affiliation_strings":["Department of Electrical Engineering, University of California, Los Angeles, CA, USA","Department of Electrical Engineering, University of California, Los Angeles , CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3417-0951","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, University of California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"Department of Electrical Engineering, University of California, Los Angeles , CA, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02600774,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"63","issue":"1","first_page":"196","last_page":"202"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9972000122070312,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5832538604736328},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5594256520271301},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5519143342971802},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.5164813995361328},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5153874158859253},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5127183198928833},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.49096348881721497},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.4513987898826599},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.42037510871887207},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4119235873222351},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39774560928344727},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31699252128601074},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1055094301700592}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5832538604736328},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5594256520271301},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5519143342971802},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.5164813995361328},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5153874158859253},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5127183198928833},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.49096348881721497},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.4513987898826599},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.42037510871887207},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4119235873222351},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39774560928344727},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31699252128601074},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1055094301700592},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tac.2017.2722960","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2017.2722960","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"},{"id":"pmh:oai:arXiv.org:1504.07702","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1504.07702","pdf_url":"https://arxiv.org/pdf/1504.07702","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2561294782","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1504.07702.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1504.07702","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1504.07702","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1504.07702","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1504.07702","pdf_url":"https://arxiv.org/pdf/1504.07702","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3956846045","display_name":"CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems","funder_award_id":"1239037","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2561294782.pdf","grobid_xml":"https://content.openalex.org/works/W2561294782.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W104640233","https://openalex.org/W802593900","https://openalex.org/W1540597046","https://openalex.org/W1565544898","https://openalex.org/W1606824214","https://openalex.org/W1935675921","https://openalex.org/W1964007137","https://openalex.org/W1974672595","https://openalex.org/W1994143452","https://openalex.org/W2016206563","https://openalex.org/W2020883449","https://openalex.org/W2021711161","https://openalex.org/W2041701185","https://openalex.org/W2046213250","https://openalex.org/W2075665799","https://openalex.org/W2126313889","https://openalex.org/W2131064738","https://openalex.org/W2149191071","https://openalex.org/W2150335178","https://openalex.org/W2163941698","https://openalex.org/W2178626170","https://openalex.org/W2267833771","https://openalex.org/W2344321026","https://openalex.org/W2487779201","https://openalex.org/W3023554972","https://openalex.org/W3103706207","https://openalex.org/W6622775658","https://openalex.org/W6698259021","https://openalex.org/W6730924551"],"related_works":["https://openalex.org/W1568412951","https://openalex.org/W1565492074","https://openalex.org/W2971633023","https://openalex.org/W2913325211","https://openalex.org/W2095620890","https://openalex.org/W2981945897","https://openalex.org/W2051161818","https://openalex.org/W2406845908","https://openalex.org/W2607319504","https://openalex.org/W1525879420","https://openalex.org/W1855807124","https://openalex.org/W2958210738","https://openalex.org/W42115065","https://openalex.org/W2959401911","https://openalex.org/W2073051369","https://openalex.org/W1997450827","https://openalex.org/W2012935476","https://openalex.org/W2011816418","https://openalex.org/W2949433302","https://openalex.org/W2170622387"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,36],"introduce":[4],"a":[5,66,73],"class":[6,28],"of":[7,17,29,64,89,99],"linear":[8],"temporal":[9],"logic":[10],"(LTL)":[11],"specifications":[12,30],"for":[13,57],"which":[14],"the":[15,62,87,92,97],"problem":[16,63],"synthesizing":[18,65],"controllers":[19],"can":[20],"be":[21],"solved":[22],"in":[23,91],"polynomial":[24],"time.":[25],"The":[26],"new":[27],"is":[31,42,86],"an":[32,69,77],"LTL":[33],"fragment":[34],"that":[35,79],"term":[37],"Mode":[38],"Target":[39],"(MT)":[40],"and":[41,52,75,95],"inspired":[43],"by":[44],"numerous":[45],"control":[46],"applications":[47],"where":[48,84],"there":[49],"are":[50],"modes":[51],"corresponding":[53,101],"(possibly":[54],"multiple)":[55],"targets":[56,100],"each":[58],"mode.":[59],"We":[60],"formulate":[61],"controller":[67],"enforcing":[68],"MT":[70],"specification":[71],"as":[72],"game":[74,93],"provide":[76],"algorithm":[78],"requires":[80],"O(\u03a3itin2)":[81],"symbolic":[82],"steps,":[83],"n":[85],"number":[88,98],"states":[90],"graph,":[94],"tiis":[96],"to":[102],"mode":[103],"i.":[104]},"counts_by_year":[],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}