{"id":"https://openalex.org/W2104927240","doi":"https://doi.org/10.1109/wodes.2008.4605944","title":"Extraction and representation of a supervisor using guards in extended finite automata","display_name":"Extraction and representation of a supervisor using guards in extended finite automata","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2104927240","doi":"https://doi.org/10.1109/wodes.2008.4605944","mag":"2104927240"},"language":"en","primary_location":{"id":"doi:10.1109/wodes.2008.4605944","doi":"https://doi.org/10.1109/wodes.2008.4605944","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wodes.2008.4605944","pdf_url":null,"source":{"id":"https://openalex.org/S4306420293","display_name":"International Workshop on Discrete Event Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 9th International Workshop on Discrete Event Systems","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://publications.lib.chalmers.se/records/fulltext/local_78496.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"S. Miremadi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"S. Miremadi","raw_affiliation_strings":["Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108805135","display_name":"Knut \u00c5kesson","orcid":"https://orcid.org/0000-0001-6105-2726","observed_orcids":["https://orcid.org/0000-0001-6105-2726"]},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"K. Akesson","raw_affiliation_strings":["Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076331540","display_name":"Bengt Lennartson","orcid":"https://orcid.org/0000-0002-3406-3881","observed_orcids":["https://orcid.org/0000-0002-3406-3881"]},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"B. Lennartson","raw_affiliation_strings":["Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Signals and Systems, Chalmers University of Technology, G\u00f6teborg","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":1.1628,"has_fulltext":true,"cited_by_count":43,"citation_normalized_percentile":{"value":0.73677323,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"193","last_page":"199"},"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.9945999979972839,"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.9945999979972839,"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.00419999985024333,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/supervisory-control-theory","display_name":"supervisory control theory","score":0.9110000133514404},{"id":"https://openalex.org/keywords/supervisor-synthesis","display_name":"supervisor synthesis","score":0.8309999704360962},{"id":"https://openalex.org/keywords/extended-finite-automata","display_name":"extended finite automata","score":0.9449999928474426},{"id":"https://openalex.org/keywords/guards","display_name":"guards","score":0.7839999794960022},{"id":"https://openalex.org/keywords/unreachable-states","display_name":"unreachable states","score":0.6850000023841858}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9071717858314514},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.8915080428123474},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.740412175655365},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7132970690727234},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6681739687919617},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6013123989105225},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5731549263000488},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.5727468132972717},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.48607805371284485},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.4389477074146271},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4332406520843506},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.4103018641471863},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39469754695892334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32115763425827026},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.25170445442199707},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1462174355983734},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/wodes.2008.4605944","doi":"https://doi.org/10.1109/wodes.2008.4605944","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wodes.2008.4605944","pdf_url":null,"source":{"id":"https://openalex.org/S4306420293","display_name":"International Workshop on Discrete Event Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 9th International Workshop on Discrete Event Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:78496","doi":null,"is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/78496","pdf_url":"http://publications.lib.chalmers.se/records/fulltext/local_78496.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:publications.lib.chalmers.se:78496","doi":null,"is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/78496-extraction-and-representation-of-a-supervisor-using-guards-in-extended-finite-automata","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text.Article.Conference.PeerReviewed"}],"best_oa_location":{"id":"pmh:oai:research.chalmers.se:78496","doi":null,"is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/78496","pdf_url":"http://publications.lib.chalmers.se/records/fulltext/local_78496.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2104927240.pdf","grobid_xml":"https://content.openalex.org/works/W2104927240.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W272987332","https://openalex.org/W386943165","https://openalex.org/W1547524050","https://openalex.org/W1587663028","https://openalex.org/W1593428110","https://openalex.org/W1994143452","https://openalex.org/W2030224590","https://openalex.org/W2046603834","https://openalex.org/W2059057465","https://openalex.org/W2104567078","https://openalex.org/W2107308368","https://openalex.org/W2115241031","https://openalex.org/W2116828026","https://openalex.org/W2117189826","https://openalex.org/W2120909378","https://openalex.org/W2128130994","https://openalex.org/W2140911581","https://openalex.org/W2149030441","https://openalex.org/W2152272339","https://openalex.org/W2153113788","https://openalex.org/W2163119090","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W4236164983","https://openalex.org/W4248699123","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W1996161778","https://openalex.org/W2236937184","https://openalex.org/W2112295486","https://openalex.org/W2427477041","https://openalex.org/W2042760817","https://openalex.org/W1994917823","https://openalex.org/W1548345624","https://openalex.org/W3012761306","https://openalex.org/W2102651988","https://openalex.org/W3014830869"],"abstract_inverted_index":{"In":[0,50,138],"supervisory":[1,38],"control":[2],"theory,":[3],"an":[4],"issue":[5],"that":[6,30,132,161],"often":[7],"arises":[8],"in":[9,156],"real":[10],"industrial":[11],"applications":[12],"is":[13,31,41,174],"the":[14,20,35,48,66,78,82,86,102,107,120,123,136,157,178],"huge":[15],"number":[16],"of":[17,26,37,43,47,116,122,129,159],"states":[18,131,150,160],"for":[19,34,165],"supervisor,":[21],"which":[22,110,130],"requires":[23],"a":[24,55,59,92,96,114,126],"lot":[25],"memory.":[27],"Another":[28],"problem":[29],"typically":[32],"encountered":[33],"users":[36],"synthesis":[39,124],"tools":[40],"lack":[42],"information":[44],"and":[45,61,70,81,152],"unreadability":[46],"supervisor.":[49],"this":[51,170],"paper,":[52],"we":[53,146],"introduce":[54],"method":[56],"to":[57,140,176,181],"characterize":[58],"controllable":[60],"non-blocking":[62],"supervisor":[63,80,94],"directly":[64],"on":[65],"modular":[67,104],"automata":[68],"(sub-plants":[69],"sub-specifications),":[71],"by":[72],"extracting":[73],"some":[74,148],"guard":[75,108,144,166,184],"conditions":[76],"from":[77,113],"synthesized":[79],"synchronized":[83],"automaton.":[84],"Thus,":[85],"presented":[87],"approach":[88],"may":[89,118],"potentially":[90],"model":[91],"complex":[93],"using":[95],"compact":[97,143,183],"representation":[98],"whilst":[99],"not":[100],"infringe":[101],"original":[103],"structure.":[105],"Furthermore,":[106],"conditions,":[109],"are":[111],"generated":[112],"set":[115,158],"states,":[117],"give":[119],"user":[121],"procedure":[125],"better":[127],"understanding":[128],"were":[133],"removed":[134],"during":[135],"synthesis.":[137],"order":[139],"obtain":[141],"more":[142,182],"expressions,":[145],"include":[147],"unnecessary":[149],"(unreachable":[151],"extended":[153],"forbidden":[154],"states)":[155],"will":[162],"be":[163],"used":[164],"generation.":[167],"By":[168],"exploiting":[169],"extra":[171],"information,":[172],"it":[173],"possible":[175],"reduce":[177],"logical":[179],"expressions":[180],"conditions.":[185]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":8}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}