{"id":"https://openalex.org/W2734349411","doi":"https://doi.org/10.23919/acc.2017.7963543","title":"Scaling the formal synthesis of supervisory control software for multiple robot systems","display_name":"Scaling the formal synthesis of supervisory control software for multiple robot systems","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2734349411","doi":"https://doi.org/10.23919/acc.2017.7963543","mag":"2734349411"},"language":"en","primary_location":{"id":"doi:10.23919/acc.2017.7963543","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2017.7963543","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5050562740","display_name":"Richard Hill","orcid":"https://orcid.org/0009-0009-9892-970X"},"institutions":[{"id":"https://openalex.org/I71792333","display_name":"University of Detroit Mercy","ror":"https://ror.org/0037qsh65","country_code":"US","type":"education","lineage":["https://openalex.org/I71792333"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R.C. Hill","raw_affiliation_strings":["Department of Mechanical Engineering, University of Detroit Mercy, Detroit, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Detroit Mercy, Detroit, MI, USA","institution_ids":["https://openalex.org/I71792333"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Lafortune","raw_affiliation_strings":["Department of EECS, University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4847,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.93721565,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"3840","last_page":"3847"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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/T11125","display_name":"Petri Nets in System Modeling","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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/supervisory-control","display_name":"Supervisory control","score":0.7354930639266968},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6521782279014587},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6428356766700745},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6375809907913208},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5658615827560425},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5365443825721741},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.5343126058578491},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5196005702018738},{"id":"https://openalex.org/keywords/self-reconfiguring-modular-robot","display_name":"Self-reconfiguring modular robot","score":0.48328688740730286},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.478431761264801},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.4339662492275238},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4196263551712036},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.418287068605423},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.39856281876564026},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.3470029830932617},{"id":"https://openalex.org/keywords/robot-control","display_name":"Robot control","score":0.26453161239624023},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22105169296264648},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2034945785999298},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20072898268699646}],"concepts":[{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7354930639266968},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6521782279014587},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6428356766700745},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6375809907913208},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5658615827560425},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5365443825721741},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.5343126058578491},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5196005702018738},{"id":"https://openalex.org/C49603950","wikidata":"https://www.wikidata.org/wiki/Q17165512","display_name":"Self-reconfiguring modular robot","level":5,"score":0.48328688740730286},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.478431761264801},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.4339662492275238},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4196263551712036},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.418287068605423},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.39856281876564026},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.3470029830932617},{"id":"https://openalex.org/C65401140","wikidata":"https://www.wikidata.org/wiki/Q7353385","display_name":"Robot control","level":4,"score":0.26453161239624023},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22105169296264648},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2034945785999298},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20072898268699646},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc.2017.7963543","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc.2017.7963543","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W199736301","https://openalex.org/W258022877","https://openalex.org/W1964496030","https://openalex.org/W1975134293","https://openalex.org/W2007347868","https://openalex.org/W2041426923","https://openalex.org/W2059057465","https://openalex.org/W2064572756","https://openalex.org/W2151958719","https://openalex.org/W2152819606","https://openalex.org/W2160380290","https://openalex.org/W2274806495","https://openalex.org/W2571150272"],"related_works":["https://openalex.org/W2382992246","https://openalex.org/W2162712621","https://openalex.org/W4238590755","https://openalex.org/W2098906570","https://openalex.org/W2172083724","https://openalex.org/W2099363701","https://openalex.org/W2971012351","https://openalex.org/W2358241609","https://openalex.org/W2169597155","https://openalex.org/W2135155064"],"abstract_inverted_index":{"In":[0],"this":[1,70],"work":[2,148],"we":[3,169],"demonstrate":[4],"a":[5,14,30,41,76,84,92,102,106,174],"new":[6],"approach":[7],"for":[8,13,136,173],"formally":[9],"synthesizing":[10],"control":[11,155,162],"software":[12],"set":[15,31,43,58,175],"of":[16,32,44,59,69,79,95,117,132,154,176],"cooperating":[17],"ground":[18],"robots.":[19],"Existing":[20],"discrete":[21],"event":[22],"system":[23],"theory":[24],"is":[25,73,87,109,125,141],"applied":[26],"to":[27,39],"efficiently":[28],"generate":[29],"modular":[33,65],"supervisory":[34],"controllers":[35],"that":[36,161],"are":[37],"guaranteed":[38],"meet":[40],"given":[42,145],"logical":[45],"specifications":[46],"(safety":[47],"and":[48,81,128,166],"nonblockingness).":[49],"A":[50],"subsequent":[51],"synthesis":[52],"step":[53,72],"then":[54],"chooses":[55],"from":[56],"the":[57,64,96,118,130,133,137,152,158],"legal":[60],"behaviors":[61],"allowed":[62],"by":[63],"supervisors.":[66],"The":[67,122],"efficiency":[68],"planning":[71],"improved":[74],"through":[75],"novel":[77],"combination":[78],"hierarchy":[80],"decomposition.":[82],"Specifically,":[83],"global":[85],"plan":[86,104,140],"generated":[88,110],"off-line":[89],"based":[90,112],"on":[91,113],"formal":[93],"abstraction":[94],"full":[97],"controlled":[98,119],"system's":[99,120],"behavior,":[100],"while":[101],"local":[103,139],"with":[105,157],"receding":[107],"horizon":[108],"on-line":[111],"an":[114],"unabstracted":[115,123],"model":[116,124,134],"behavior.":[121],"built":[126],"\u201con-the-fly\u201d":[127],"only":[129],"portion":[131],"needed":[135],"current":[138],"stored":[142],"at":[143],"any":[144],"moment.":[146],"This":[147],"also":[149],"explains":[150],"how":[151],"supervisory-level":[153],"interacts":[156],"robot-level":[159],"algorithms":[160],"each":[163],"robot's":[164],"heading":[165],"velocity.":[167],"Finally,":[168],"present":[170],"simulation":[171],"results":[172],"illustrative":[177],"examples.":[178]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}