{"id":"https://openalex.org/W2430332395","doi":"https://doi.org/10.1109/wodes.2016.7497835","title":"Supervisor abstraction to deal with planning problems in manufacturing systems","display_name":"Supervisor abstraction to deal with planning problems in manufacturing systems","publication_year":2016,"publication_date":"2016-05-01","ids":{"openalex":"https://openalex.org/W2430332395","doi":"https://doi.org/10.1109/wodes.2016.7497835","mag":"2430332395"},"language":"en","primary_location":{"id":"doi:10.1109/wodes.2016.7497835","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wodes.2016.7497835","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 13th International Workshop on Discrete Event Systems (WODES)","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/A5091199962","display_name":"Juliana Vilela","orcid":"https://orcid.org/0000-0002-7882-0696"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Juliana Nogueira Vilela","raw_affiliation_strings":["Graduate Program in Electrical Engineering, Federal University of Minas Gerais, Belo Horizonte, MG, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate Program in Electrical Engineering, Federal University of Minas Gerais, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028968326","display_name":"Patr\u00edcia N. Pena","orcid":"https://orcid.org/0000-0002-7595-7814"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Patricia N. Pena","raw_affiliation_strings":["Department of Electronics Engineering, Federal University of Minas Gerais, Belo Horizonte, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electronics Engineering, Federal University of Minas Gerais, Belo Horizonte, Brazil","institution_ids":["https://openalex.org/I110200422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.5232,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.90128062,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"117","last_page":"122"},"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.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/T11125","display_name":"Petri Nets in System Modeling","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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9966999888420105,"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"}},{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9958000183105469,"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.8642915487289429},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7524155378341675},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6671409010887146},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4405917227268219},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.385786771774292},{"id":"https://openalex.org/keywords/management","display_name":"Management","score":0.06238332390785217}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8642915487289429},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7524155378341675},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6671409010887146},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4405917227268219},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.385786771774292},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.06238332390785217},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/wodes.2016.7497835","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wodes.2016.7497835","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 13th International Workshop on Discrete Event Systems (WODES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1587663028","https://openalex.org/W1818314896","https://openalex.org/W1964605603","https://openalex.org/W2016380948","https://openalex.org/W2020747373","https://openalex.org/W2050191525","https://openalex.org/W2059057465","https://openalex.org/W2078233504","https://openalex.org/W2108353746","https://openalex.org/W2130122181","https://openalex.org/W2134659903","https://openalex.org/W2137510081","https://openalex.org/W2142857017","https://openalex.org/W2148762194","https://openalex.org/W2509841691","https://openalex.org/W2612858323","https://openalex.org/W3111885891","https://openalex.org/W4229644324","https://openalex.org/W4230524891","https://openalex.org/W6641504955","https://openalex.org/W6677188240","https://openalex.org/W6738030333"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4387731985","https://openalex.org/W2755149878","https://openalex.org/W2941808082","https://openalex.org/W2468425257","https://openalex.org/W4377009725","https://openalex.org/W4379086698","https://openalex.org/W2528721242","https://openalex.org/W4320164562"],"abstract_inverted_index":{"Finite-state":[0],"automata":[1],"and":[2,11,15,30,51,100,137],"Supervisory":[3],"Control":[4],"Theory":[5],"have":[6],"been":[7],"used":[8],"to":[9,23,26,64,80],"model":[10,133],"solve":[12,81],"job-shop":[13],"scheduling":[14],"planning":[16,83],"problems.":[17],"However,":[18],"even":[19],"if":[20],"it":[21,101],"seems":[22],"be":[24],"easier":[25],"work":[27,65],"with":[28,36,66],"DFA":[29],"SCT,":[31],"this":[32],"solution":[33],"will":[34,140],"suffer":[35],"\u201cthe":[37],"curse":[38],"of":[39,59,68,72,91,97,129,134,145],"dimensionality\u201d,":[40],"which":[41,115],"can":[42],"cause":[43],"state":[44],"explosion":[45],"when":[46],"the":[47,69,73,77,88,92,95,104,112,117,121,132,135,143,146],"system":[48,136],"becomes":[49],"bigger":[50],"more":[52],"complex.":[53],"This":[54,107],"paper":[55],"presents":[56],"a":[57,82,127],"set":[58,96,128],"sufficient":[60],"conditions":[61,130],"that":[62,139],"allow":[63],"abstractions":[67],"supervisor,":[70],"instead":[71],"supervisor":[74,93],"itself,":[75],"as":[76],"search":[78,118],"universe":[79,119],"problem.":[84],"Such":[85],"abstraction":[86,108],"is":[87,109],"natural":[89],"projection":[90],"into":[94],"controllable":[98],"events":[99],"should":[102],"satisfy":[103],"observer":[105,147],"property.":[106,148],"smaller":[110],"then":[111],"original":[113],"automaton,":[114],"reduces":[116],"for":[120,131],"optimization":[122],"algorithms.":[123],"Also,":[124],"we":[125],"present":[126],"specifications":[138],"results":[141],"on":[142],"satisfaction":[144]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}