{"id":"https://openalex.org/W3037884302","doi":"https://doi.org/10.1007/bf01439177","title":"Recursive computation of limited lookahead supervisory controls for discrete event systems","display_name":"Recursive computation of limited lookahead supervisory controls for discrete event systems","publication_year":1993,"publication_date":"1993-03-01","ids":{"openalex":"https://openalex.org/W3037884302","doi":"https://doi.org/10.1007/bf01439177","mag":"3037884302"},"language":"en","primary_location":{"id":"doi:10.1007/bf01439177","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01439177","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems: Theory and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://deepblue.lib.umich.edu/bitstream/2027.42/45118/1/10626_2005_Article_BF01439177.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110605797","display_name":"Sheng-Luen Chung","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sheng-Luen Chung","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, 48109-2122, Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, 48109-2122, Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"St\ufffdphane Lafortune","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, 48109-2122, Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, 48109-2122, Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009172382","display_name":"Feng Lin","orcid":"https://orcid.org/0000-0002-6831-4458"},"institutions":[{"id":"https://openalex.org/I185443292","display_name":"Wayne State University","ror":"https://ror.org/01070mq45","country_code":"US","type":"education","lineage":["https://openalex.org/I185443292"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Feng Lin","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Wayne State University, 48202, Detroit, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Wayne State University, 48202, Detroit, MI","institution_ids":["https://openalex.org/I185443292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.086,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.88126264,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"3","issue":"1","first_page":"71","last_page":"100"},"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.9994000196456909,"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.9994000196456909,"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.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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9781000018119812,"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/sublanguage","display_name":"Sublanguage","score":0.9643296003341675},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.829138994216919},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5928403735160828},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5893182754516602},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.585197925567627},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5471028089523315},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4559914767742157},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3750738799571991},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35349512100219727},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.32014986872673035},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1747226119041443},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.09342679381370544}],"concepts":[{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.9643296003341675},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.829138994216919},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5928403735160828},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5893182754516602},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.585197925567627},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5471028089523315},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4559914767742157},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3750738799571991},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35349512100219727},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.32014986872673035},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1747226119041443},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.09342679381370544},{"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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bf01439177","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01439177","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems: Theory and Applications","raw_type":"journal-article"},{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/45118","is_oa":true,"landing_page_url":"http://hdl.handle.net/2027.42/45118","pdf_url":"http://deepblue.lib.umich.edu/bitstream/2027.42/45118/1/10626_2005_Article_BF01439177.pdf","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/45118","is_oa":true,"landing_page_url":"http://hdl.handle.net/2027.42/45118","pdf_url":"http://deepblue.lib.umich.edu/bitstream/2027.42/45118/1/10626_2005_Article_BF01439177.pdf","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3037884302.pdf"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1500884278","https://openalex.org/W1535136082","https://openalex.org/W1973417083","https://openalex.org/W1979349468","https://openalex.org/W2068354234","https://openalex.org/W2068664799","https://openalex.org/W2108044273","https://openalex.org/W2126295866","https://openalex.org/W2127060337","https://openalex.org/W2131622054","https://openalex.org/W2147592000","https://openalex.org/W3162365952","https://openalex.org/W4214749219","https://openalex.org/W6817773622"],"related_works":["https://openalex.org/W2364598404","https://openalex.org/W2325169597","https://openalex.org/W2333630979","https://openalex.org/W2118701173","https://openalex.org/W2136853256","https://openalex.org/W2021484753","https://openalex.org/W1879127424","https://openalex.org/W3187711210","https://openalex.org/W1968205873","https://openalex.org/W1972357705"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}