{"id":"https://openalex.org/W2112964545","doi":"https://doi.org/10.1109/tac.2009.2022101","title":"Synthesis Method for Hierarchical Interface-Based Supervisory Control","display_name":"Synthesis Method for Hierarchical Interface-Based Supervisory Control","publication_year":2009,"publication_date":"2009-07-01","ids":{"openalex":"https://openalex.org/W2112964545","doi":"https://doi.org/10.1109/tac.2009.2022101","mag":"2112964545"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2009.2022101","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2009.2022101","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/A5046074672","display_name":"Ryan J. Leduc","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"R.J. Leduc","raw_affiliation_strings":["Department of Computing and Software, McMaster University, Hamilton, ONT, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing and Software, McMaster University, Hamilton, ONT, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100705693","display_name":"Pengcheng Dai","orcid":"https://orcid.org/0000-0003-1455-7216"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pengcheng Dai","raw_affiliation_strings":["SIG, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SIG, Philadelphia, PA, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014276307","display_name":"Raoguang Song","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raoguang Song","raw_affiliation_strings":["Microsoft Corporation, Redmond, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Corporation, Redmond, WA, USA","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.1661,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.94344249,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"54","issue":"7","first_page":"1548","last_page":"1560"},"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.9998000264167786,"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.9998000264167786,"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.9991999864578247,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/supervisor","display_name":"Supervisor","score":0.8411078453063965},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.7932502031326294},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6894365549087524},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6001217365264893},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5697228908538818},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5135347843170166},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4870469868183136},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40584859251976013},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3709717094898224},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22633394598960876},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21906381845474243},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21811118721961975},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.182101309299469},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.10149285197257996}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8411078453063965},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.7932502031326294},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6894365549087524},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6001217365264893},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5697228908538818},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5135347843170166},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4870469868183136},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40584859251976013},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3709717094898224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22633394598960876},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21906381845474243},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21811118721961975},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.182101309299469},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.10149285197257996},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tac.2009.2022101","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2009.2022101","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:CiteSeerX.psu:10.1.1.150.2890","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport46.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7099999785423279,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320309333","display_name":"Hawaii Invasive Species Council","ror":"https://ror.org/006qwnw28"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1552519843","https://openalex.org/W1563342424","https://openalex.org/W1979349468","https://openalex.org/W2046213250","https://openalex.org/W2080267935","https://openalex.org/W2093397547","https://openalex.org/W2096911030","https://openalex.org/W2099157744","https://openalex.org/W2099529102","https://openalex.org/W2100410869","https://openalex.org/W2108872359","https://openalex.org/W2110855590","https://openalex.org/W2112951648","https://openalex.org/W2115425820","https://openalex.org/W2126295866","https://openalex.org/W2135254706","https://openalex.org/W2142604061","https://openalex.org/W2145972416","https://openalex.org/W2170715295","https://openalex.org/W2489145936","https://openalex.org/W2984582970","https://openalex.org/W4298844786","https://openalex.org/W4299138792","https://openalex.org/W6632828433","https://openalex.org/W6676757754"],"related_works":["https://openalex.org/W1536962364","https://openalex.org/W46796605","https://openalex.org/W2333630979","https://openalex.org/W2325169597","https://openalex.org/W1502177156","https://openalex.org/W4309988904","https://openalex.org/W4317418604","https://openalex.org/W2070318121","https://openalex.org/W2331919730","https://openalex.org/W1964497242"],"abstract_inverted_index":{"Hierarchical":[0],"interface-based":[1],"supervisory":[2],"control":[3],"(HISC)":[4],"decomposes":[5],"a":[6,11,27,57,78,97,107,132,172,216,220,239],"discrete-event":[7],"system":[8,49,191],"(DES)":[9],"into":[10],"high-level":[12],"subsystem":[13],"which":[14],"communicates":[15],"with":[16,219],"n":[17],"ges":[18],"1":[19],"low-level":[20],"subsystems,":[21],"through":[22],"separate":[23],"interfaces.":[24],"It":[25],"provides":[26],"set":[28,133],"of":[29,85,134,153,198,235,245,262],"local":[30],"conditions":[31,39],"that":[32,46,67,81,111,140,158,183,211,247],"can":[33,82,213,248],"be":[34,54,249],"used":[35],"to":[36,53],"verify":[37,66],"global":[38,123],"such":[40,45],"as":[41,222,224],"nonblocking":[42],"and":[43,64,138,156,176,260],"controllability":[44],"the":[47,61,70,86,91,113,118,143,151,165,196,202,243,252],"complete":[48],"model":[50],"never":[51],"needs":[52],"constructed.":[55],"Currently,":[56],"designer":[58],"must":[59],"create":[60],"supervisors":[62],"himself":[63],"then":[65,102,149],"they":[68,141,159],"satisfy":[69],"HISC":[71,87,115,174,253,263],"conditions.":[72,116],"In":[73],"this":[74],"paper,":[75],"we":[76,184,212],"develop":[77],"synthesis":[79,177,259],"method":[80,119,178],"take":[83],"advantage":[84],"structure.":[88],"We":[89,101,130,148,168],"replace":[90],"supervisor":[92,110],"for":[93,104,258],"each":[94,105],"level":[95,106,218],"by":[96,251],"corresponding":[98,114],"specification":[99],"DES.":[100],"construct":[103],"maximally":[108],"permissive":[109],"satisfies":[112],"However,":[117],"does":[120],"not":[121],"guarantee":[122],"maximal":[124,128],"permissiveness,":[125],"only":[126],"level-wise":[127,145],"permissiveness.":[129],"define":[131],"language-based":[135],"fixpoint":[136],"operators":[137],"show":[139,157],"compute":[142],"required":[144],"supremal":[146],"languages.":[147],"discuss":[150,171],"complexity":[152],"our":[154,266],"algorithms":[155],"potentially":[160],"offer":[161],"significant":[162,240],"savings":[163],"over":[164],"monolithic":[166],"approach.":[167,254],"also":[169,186,269],"briefly":[170,206],"symbolic":[173],"verification":[175,261],"using":[179,230,265],"binary":[180],"decision":[181],"diagrams,":[182],"have":[185],"developed.":[187,270],"A":[188,255],"large":[189,223],"manufacturing":[190],"example":[192,204,209],"(worst-case":[193],"statespace":[194,221],"on":[195],"order":[197],"1030)":[199],"extended":[200],"from":[201],"AIP":[203],"is":[205],"discussed.":[207],"The":[208],"showed":[210],"now":[214],"handle":[215],"given":[217],"10":[225],"<sup":[226],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[227],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">15</sup>":[228],"states,":[229],"less":[231],"than":[232],"160":[233],"MB":[234],"memory.":[236],"This":[237],"represents":[238],"improvement":[241],"in":[242],"size":[244],"systems":[246,264],"handled":[250],"software":[256],"tool":[257],"approach":[267],"was":[268]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}