{"id":"https://openalex.org/W2003083428","doi":"https://doi.org/10.1109/acc.2007.4282912","title":"Supervisory Control of Discrete-Event Systems with Output: Application to Hybrid Systems","display_name":"Supervisory Control of Discrete-Event Systems with Output: Application to Hybrid Systems","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2003083428","doi":"https://doi.org/10.1109/acc.2007.4282912","mag":"2003083428"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2007.4282912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2007.4282912","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 American Control Conference","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/A5006494105","display_name":"Pedram Mahdavinezhad","orcid":null},"institutions":[{"id":"https://openalex.org/I1286141780","display_name":"Library and Archives Canada","ror":"https://ror.org/00a25bg52","country_code":"CA","type":"archive","lineage":["https://openalex.org/I1286141780"]},{"id":"https://openalex.org/I3148078479","display_name":"Canadian Heritage","ror":"https://ror.org/00k5eg781","country_code":"CA","type":"government","lineage":["https://openalex.org/I3148078479"]},{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Pedram Mahdavinezhad","raw_affiliation_strings":["Heritage Branch 395 Wellington Street Ottawa ON K1A0N4 Canada","Direction du Patrimoine de I'edition 395, rue Wellington Ottawa ON K1A0N4 Canada","Degree of Master of Applied Science at Concordia University Montreal, Quebec, Canada","Department of Electrical and Computer Engineering","Bibliotheque et Archives Canada"],"affiliations":[{"raw_affiliation_string":"Heritage Branch 395 Wellington Street Ottawa ON K1A0N4 Canada","institution_ids":["https://openalex.org/I3148078479"]},{"raw_affiliation_string":"Direction du Patrimoine de I'edition 395, rue Wellington Ottawa ON K1A0N4 Canada","institution_ids":["https://openalex.org/I3148078479"]},{"raw_affiliation_string":"Degree of Master of Applied Science at Concordia University Montreal, Quebec, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering","institution_ids":[]},{"raw_affiliation_string":"Bibliotheque et Archives Canada","institution_ids":["https://openalex.org/I1286141780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001267004","display_name":"P. Gohari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peyman Gohari","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5023864111","display_name":"Amir G. Aghdam","orcid":"https://orcid.org/0000-0001-5180-0508"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amir G. Aghdam","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006494105"],"corresponding_institution_ids":["https://openalex.org/I1286141780","https://openalex.org/I3148078479","https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":0.5173,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.5400982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"4291","last_page":"4296"},"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.9977999925613403,"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.9970999956130981,"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.8927494287490845},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.789713978767395},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6996275186538696},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6616406440734863},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6471144556999207},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5948032140731812},{"id":"https://openalex.org/keywords/discrete-event-dynamic-system","display_name":"Discrete event dynamic system","score":0.5796809196472168},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5508081912994385},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5442367792129517},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5089378356933594},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4722444415092468},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.45546257495880127},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.41432249546051025},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.36369895935058594},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.3055416941642761},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23536455631256104},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.140364408493042},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13120713829994202},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11836934089660645}],"concepts":[{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8927494287490845},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.789713978767395},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6996275186538696},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6616406440734863},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6471144556999207},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5948032140731812},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.5796809196472168},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5508081912994385},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5442367792129517},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5089378356933594},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4722444415092468},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.45546257495880127},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.41432249546051025},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.36369895935058594},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.3055416941642761},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23536455631256104},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.140364408493042},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13120713829994202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11836934089660645},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/acc.2007.4282912","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2007.4282912","pdf_url":null,"source":{"id":"https://openalex.org/S4210168941","display_name":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","issn_l":"0743-1619","issn":["0743-1619","2378-5861"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 American Control Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:https://spectrum.library.concordia.ca:975593","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400871","display_name":"Spectrum Research Repository (Concordia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60158472","host_organization_name":"Concordia University","host_organization_lineage":["https://openalex.org/I60158472"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Thesis"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.44999998807907104,"display_name":"Quality Education"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320314997","display_name":"Strong","ror":"https://ror.org/041vyzr56"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W168937057","https://openalex.org/W1504756454","https://openalex.org/W1504942089","https://openalex.org/W1518554370","https://openalex.org/W1562722544","https://openalex.org/W1566115468","https://openalex.org/W1970092510","https://openalex.org/W2004463571","https://openalex.org/W2059057465","https://openalex.org/W2098898086","https://openalex.org/W2104693354","https://openalex.org/W2115042355","https://openalex.org/W2121468570","https://openalex.org/W2135667955","https://openalex.org/W2149880443","https://openalex.org/W2163204032","https://openalex.org/W2287992279","https://openalex.org/W2566720177","https://openalex.org/W3022429701"],"related_works":["https://openalex.org/W2099363701","https://openalex.org/W188112191","https://openalex.org/W4312531552","https://openalex.org/W2169597155","https://openalex.org/W1486843283","https://openalex.org/W3094124038","https://openalex.org/W2067924859","https://openalex.org/W2015027349","https://openalex.org/W2163204032","https://openalex.org/W1547828691"],"abstract_inverted_index":{"In":[0,20],"this":[1],"paper,":[2],"the":[3,42,45,55,65,85,98],"problem":[4,86],"of":[5,8,33,39,44,67,79,87,92,100,107,126],"supervisory":[6,75,105,117],"control":[7,106,118],"discrete-event":[9,90],"systems":[10,22],"(DES)":[11],"with":[12,35],"output":[13,25,56,74],"is":[14,27,48,81],"presented":[15],"and":[16,59,129,141],"discussed":[17],"at":[18],"length.":[19],"such":[21,138],"a":[23,36,51,101],"causal":[24],"function":[26],"employed":[28],"to":[29,83,97,114,120,130],"assign":[30],"each":[31],"sequence":[32,38],"inputs":[34],"corresponding":[37],"outputs.":[40],"When":[41],"specification":[43],"desired":[46],"behavior":[47],"given":[49],"by":[50],"formal":[52],"language":[53],"over":[54],"alphabet,":[57],"necessary":[58],"sufficient":[60],"conditions":[61],"are":[62],"derived":[63],"for":[64,103,123],"existence":[66],"nonblocking":[68,73,104],"input":[69],"as":[70,72,139],"well":[71],"control.":[76,143],"The":[77],"idea":[78],"sibling":[80],"introduced":[82],"solve":[84],"nondeterminism":[88],"in":[89],"abstractions":[91],"hybrid":[93,108,127],"systems,":[94,128],"giving":[95],"rise":[96],"development":[99],"theory":[102,119,137],"systems.":[109],"Our":[110],"results":[111],"enable":[112],"one":[113],"apply":[115],"classical":[116,136],"design":[121],"supervisors":[122],"DES":[124],"approximations":[125],"import":[131],"many":[132],"interesting":[133],"concepts":[134],"from":[135],"modular":[140],"hierarchical":[142]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}