{"id":"https://openalex.org/W2017253339","doi":"https://doi.org/10.1137/060673862","title":"Effective Control Synthesis for Partially Observed Discrete-Event Systems","display_name":"Effective Control Synthesis for Partially Observed Discrete-Event Systems","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2017253339","doi":"https://doi.org/10.1137/060673862","mag":"2017253339"},"language":"en","primary_location":{"id":"doi:10.1137/060673862","is_oa":false,"landing_page_url":"https://doi.org/10.1137/060673862","pdf_url":null,"source":{"id":"https://openalex.org/S897311980","display_name":"SIAM Journal on Control and Optimization","issn_l":"0363-0129","issn":["0363-0129","1095-7138"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Control and Optimization","raw_type":"journal-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/A5090460622","display_name":"J.G. Thistle","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. G. Thistle","raw_affiliation_strings":["jthistle@kingcong.uwaterloo.ca#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"jthistle@kingcong.uwaterloo.ca#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028864815","display_name":"H. M. Lamouchi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"H. M. Lamouchi","raw_affiliation_strings":["hichem.lamouchi@gmail.com#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"hichem.lamouchi@gmail.com#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0415,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.76206296,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"48","issue":"3","first_page":"1858","last_page":"1887"},"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.9997000098228455,"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.9997000098228455,"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.9948999881744385,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9941999912261963,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8960816860198975},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7487753629684448},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7198309898376465},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.6850935220718384},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6827964186668396},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6390392184257507},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.638931393623352},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5071449279785156},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.5001580715179443},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.49546825885772705},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.45214492082595825},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4161294102668762},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3379480242729187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.26552432775497437},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.25120455026626587},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.14053243398666382},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.1287076771259308},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09795910120010376}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8960816860198975},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7487753629684448},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7198309898376465},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.6850935220718384},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6827964186668396},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6390392184257507},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.638931393623352},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5071449279785156},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5001580715179443},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.49546825885772705},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.45214492082595825},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4161294102668762},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3379480242729187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26552432775497437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25120455026626587},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.14053243398666382},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.1287076771259308},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09795910120010376},{"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/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/060673862","is_oa":false,"landing_page_url":"https://doi.org/10.1137/060673862","pdf_url":null,"source":{"id":"https://openalex.org/S897311980","display_name":"SIAM Journal on Control and Optimization","issn_l":"0363-0129","issn":["0363-0129","1095-7138"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Control and Optimization","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1511995155","https://openalex.org/W1530845489","https://openalex.org/W1560050980","https://openalex.org/W1587663028","https://openalex.org/W1605593319","https://openalex.org/W1678564987","https://openalex.org/W1737156267","https://openalex.org/W1966652050","https://openalex.org/W1970092510","https://openalex.org/W1973353540","https://openalex.org/W1979349468","https://openalex.org/W1981568149","https://openalex.org/W1983682288","https://openalex.org/W1988926301","https://openalex.org/W2007981995","https://openalex.org/W2016206563","https://openalex.org/W2025459956","https://openalex.org/W2048523103","https://openalex.org/W2054099039","https://openalex.org/W2059057465","https://openalex.org/W2068354234","https://openalex.org/W2071592303","https://openalex.org/W2082867148","https://openalex.org/W2104059603","https://openalex.org/W2143128861","https://openalex.org/W2162583406","https://openalex.org/W2163080024","https://openalex.org/W2165040865","https://openalex.org/W2241360118"],"related_works":["https://openalex.org/W2561017691","https://openalex.org/W2382992246","https://openalex.org/W2162500174","https://openalex.org/W2162712621","https://openalex.org/W4238590755","https://openalex.org/W2135155064","https://openalex.org/W2098906570","https://openalex.org/W1730713963","https://openalex.org/W3008639176","https://openalex.org/W2101094514"],"abstract_inverted_index":{"Control":[0],"under":[1],"partial":[2],"observations":[3],"is":[4,13,36],"studied":[5],"within":[6],"the":[7,26,30,34,37,40,44,53,58],"infinite-string":[8],"supervisory":[9],"control":[10],"framework.":[11],"It":[12],"shown":[14],"that,":[15],"provided":[16],"that":[17],"there":[18],"are":[19],"no":[20],"pure":[21],"liveness":[22],"assumptions":[23],"embodied":[24],"in":[25],"plant":[27,35],"model":[28],"(technically,":[29],"$\\omega$-language":[31],"generated":[32],"by":[33],"limit":[38],"of":[39,46,55],"finite-string":[41],"language":[42],"generated),":[43],"problem":[45],"synthesizing":[47],"a":[48],"centralized":[49],"supervisor":[50],"reduces":[51],"to":[52,63,66],"case":[54],"complete":[56],"observations;":[57],"result":[59],"involves":[60],"constructions":[61],"similar":[62],"those":[64],"used":[65],"\u201cdeterminize\u201d":[67],"nondeterministic":[68],"automata":[69],"on":[70],"infinite":[71],"strings.":[72]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}