{"id":"https://openalex.org/W3201396012","doi":"https://doi.org/10.1007/s10626-021-00349-x","title":"Hierarchical planning in a supervisory control context with compositional abstraction","display_name":"Hierarchical planning in a supervisory control context with compositional abstraction","publication_year":2021,"publication_date":"2021-09-14","ids":{"openalex":"https://openalex.org/W3201396012","doi":"https://doi.org/10.1007/s10626-021-00349-x","mag":"3201396012"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-021-00349-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-021-00349-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00349-x.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00349-x.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091199962","display_name":"Juliana Vilela","orcid":"https://orcid.org/0000-0002-7882-0696"},"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":true,"raw_author_name":"Juliana Vilela","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Detroit Mercy, Detroit, USA","Department of Electrical and Computer Engineering, University of Detroit Mercy, Detroit, MI, 48221, USA"],"raw_orcid":"https://orcid.org/0000-0002-7882-0696","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Detroit Mercy, Detroit, USA","institution_ids":["https://openalex.org/I71792333"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Detroit Mercy, Detroit, MI, 48221, USA","institution_ids":["https://openalex.org/I71792333"]}]},{"author_position":"last","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":true,"raw_author_name":"Richard Hill","raw_affiliation_strings":["Department of Mechanical Engineering, University of Detroit Mercy, Detroit, USA","Department of Mechanical Engineering, University of Detroit Mercy, Detroit, MI, 48221, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Detroit Mercy, Detroit, USA","institution_ids":["https://openalex.org/I71792333"]},{"raw_affiliation_string":"Department of Mechanical Engineering, University of Detroit Mercy, Detroit, MI, 48221, USA","institution_ids":["https://openalex.org/I71792333"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5050562740","https://openalex.org/A5091199962"],"corresponding_institution_ids":["https://openalex.org/I71792333"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":0.2676,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.60341382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"32","issue":"1","first_page":"89","last_page":"113"},"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.9976000189781189,"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.9976000189781189,"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.9915000200271606,"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.98580002784729,"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.8103593587875366},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.8010079264640808},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7115824222564697},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6525448560714722},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5949176549911499},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5592402219772339},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.45931532979011536},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39020147919654846},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.31498974561691284},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29487842321395874},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16530218720436096},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1269378960132599}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8103593587875366},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8010079264640808},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7115824222564697},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6525448560714722},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5949176549911499},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5592402219772339},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45931532979011536},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39020147919654846},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.31498974561691284},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29487842321395874},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16530218720436096},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1269378960132599},{"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10626-021-00349-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-021-00349-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00349-x.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10626-021-00349-x","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-021-00349-x","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-021-00349-x.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3201396012.pdf","grobid_xml":"https://content.openalex.org/works/W3201396012.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1512679854","https://openalex.org/W1587663028","https://openalex.org/W1589082502","https://openalex.org/W1818314896","https://openalex.org/W1907214776","https://openalex.org/W1964605603","https://openalex.org/W2008922760","https://openalex.org/W2020747373","https://openalex.org/W2104458112","https://openalex.org/W2108353746","https://openalex.org/W2114294750","https://openalex.org/W2152819606","https://openalex.org/W2154148696","https://openalex.org/W2509841691","https://openalex.org/W2555721567","https://openalex.org/W2571150272","https://openalex.org/W2734349411","https://openalex.org/W2884291821","https://openalex.org/W2905304454","https://openalex.org/W2968299882","https://openalex.org/W3096681988","https://openalex.org/W3161201111","https://openalex.org/W3161476343"],"related_works":["https://openalex.org/W46796605","https://openalex.org/W2111170027","https://openalex.org/W31046632","https://openalex.org/W2325169597","https://openalex.org/W4309989429","https://openalex.org/W2331919730","https://openalex.org/W4317418604","https://openalex.org/W2121132325","https://openalex.org/W2151188077","https://openalex.org/W3201396012"],"abstract_inverted_index":{"Abstract":[0],"Hierarchy":[1],"is":[2,57,68,208],"a":[3,93,128],"tool":[4],"that":[5,49,140,165,185],"has":[6],"been":[7],"applied":[8,61],"to":[9,37,62,70,151,157,169,210,219],"improve":[10,71],"the":[11,23,30,42,55,63,82,90,97,102,111,118,148,159,162,172,176,196,212,216],"scalability":[12],"of":[13,25,32,41,85,96,110,131,161],"solving":[14],"planning":[15],"problems":[16],"modeled":[17],"using":[18],"Supervisory":[19],"Control":[20],"Theory.":[21],"In":[22],"work":[24,67,120],"Hill":[26,123],"and":[27,107,122,137],"Lafortune":[28],"(2016),":[29],"notion":[31,130],"cost":[33,79,135],"equivalence":[34,132,136,146],"was":[35],"employed":[36],"generate":[38],"an":[39,50],"abstraction":[40,56,73,150,177,220],"supervisor":[43,149,174],"that,":[44],"with":[45,187],"additional":[46],"conditions,":[47],"guarantees":[48],"optimal":[51,59,103],"plan":[52],"generated":[53,153],"on":[54,81,92,134],"also":[58,116,183],"when":[60],"full":[64,173],"supervisor.":[65],"Their":[66],"able":[69],"their":[72],"by":[74,215,222],"artificially":[75],"giving":[76],"transitions":[77,190],"zero":[78],"based":[80,133],"sequentially-dependent":[83],"ordering":[84,95],"events.":[86],"Here,":[87,181],"we":[88,126,141,182],"relax":[89],"requirement":[91],"specific":[94],"dependent":[98],"events,":[99],"while":[100],"maintaining":[101],"relationship":[104],"between":[105],"upper":[106],"lower":[108],"levels":[109],"hierarchy.":[112],"This":[113,145,155],"present":[114],"paper":[115],"extends":[117],"authors\u2019":[119],"(Vilela":[121],"2020)":[124],"where":[125],"developed":[127],"new":[129,197],"weak":[138],"bisimulation":[139],"term":[142],"priced-observation":[143],"equivalence.":[144],"allows":[147],"be":[152,179,192],"compositionally.":[154],"helps":[156],"avoid":[158],"explosion":[160],"state":[163],"space":[164],"arises":[166],"from":[167],"having":[168],"first":[170],"synthesize":[171],"before":[175],"can":[178,191],"applied.":[180],"show":[184],"models":[186],"artificial":[188],"zero-cost":[189],"created":[193],"compositionally":[194],"employing":[195],"relaxed":[198],"sequential":[199],"dependence":[200],"definition.":[201],"An":[202],"example":[203],"cooperative":[204],"robot":[205],"control":[206],"application":[207],"used":[209],"demonstrate":[211],"improvements":[213],"achieved":[214],"compositional":[217],"approach":[218],"proposed":[221],"this":[223],"paper.":[224]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}