{"id":"https://openalex.org/W1540012996","doi":"https://doi.org/10.23919/ecc.2001.7076146","title":"Weak normality for supervisory control of discrete event systems under partial observation","display_name":"Weak normality for supervisory control of discrete event systems under partial observation","publication_year":2001,"publication_date":"2001-09-01","ids":{"openalex":"https://openalex.org/W1540012996","doi":"https://doi.org/10.23919/ecc.2001.7076146","mag":"1540012996"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2001.7076146","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2001.7076146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2001 European Control Conference (ECC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5005789258","display_name":"Shigemasa Takai","orcid":"https://orcid.org/0000-0003-0165-4623"},"institutions":[{"id":"https://openalex.org/I75198481","display_name":"Wakayama University","ror":"https://ror.org/05wr49d48","country_code":"JP","type":"education","lineage":["https://openalex.org/I75198481"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shigemasa Takai","raw_affiliation_strings":["Department of Opto-Mechatronics, Wakayama University, 930 Sakaedani, Wakayama 640-8510, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Opto-Mechatronics, Wakayama University, 930 Sakaedani, Wakayama 640-8510, Japan","institution_ids":["https://openalex.org/I75198481"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046686505","display_name":"Toshimitsu Ushio","orcid":"https://orcid.org/0000-0002-4009-270X"},"institutions":[{"id":"https://openalex.org/I37596208","display_name":"Osaka University of Human Sciences","ror":"https://ror.org/05cp38y47","country_code":"JP","type":"education","lineage":["https://openalex.org/I37596208"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Toshimitsu Ushio","raw_affiliation_strings":["Department of Systems and Human Science, Osaka University, 1-3 Machikaneyama, Toyonaka, Osaka 560-8531, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Systems and Human Science, Osaka University, 1-3 Machikaneyama, Toyonaka, Osaka 560-8531, Japan","institution_ids":["https://openalex.org/I37596208"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07393542,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1589","last_page":"1594"},"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.9976999759674072,"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.9922999739646912,"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.9653719663619995},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.9160445928573608},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.845410943031311},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.8290276527404785},{"id":"https://openalex.org/keywords/normality","display_name":"Normality","score":0.8057945966720581},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.7960940599441528},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6037764549255371},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49984073638916016},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.47775664925575256},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3599547743797302},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3378981053829193},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3256376385688782},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.22774767875671387},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14039596915245056},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.1224108338356018},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0919312834739685}],"concepts":[{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.9653719663619995},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.9160445928573608},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.845410943031311},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.8290276527404785},{"id":"https://openalex.org/C2776157432","wikidata":"https://www.wikidata.org/wiki/Q1375683","display_name":"Normality","level":2,"score":0.8057945966720581},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.7960940599441528},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6037764549255371},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49984073638916016},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.47775664925575256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3599547743797302},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3378981053829193},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3256376385688782},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.22774767875671387},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14039596915245056},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.1224108338356018},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0919312834739685},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc.2001.7076146","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2001.7076146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2001 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W421997344","https://openalex.org/W1497487247","https://openalex.org/W1508127067","https://openalex.org/W1587663028","https://openalex.org/W1973417083","https://openalex.org/W1979349468","https://openalex.org/W1988926301","https://openalex.org/W2002741933","https://openalex.org/W2012427794","https://openalex.org/W2026960586","https://openalex.org/W2036978485","https://openalex.org/W2068354234","https://openalex.org/W2126295866","https://openalex.org/W2164827563","https://openalex.org/W2166174161"],"related_works":["https://openalex.org/W2095268581","https://openalex.org/W1505999318","https://openalex.org/W1609771548","https://openalex.org/W3187711210","https://openalex.org/W2147061536","https://openalex.org/W1540298191","https://openalex.org/W2151662111","https://openalex.org/W2962680936","https://openalex.org/W2561784930","https://openalex.org/W2131451245","https://openalex.org/W2783183134","https://openalex.org/W2968016626","https://openalex.org/W1540691288","https://openalex.org/W2170721748","https://openalex.org/W2532855806","https://openalex.org/W2093262650","https://openalex.org/W2362052155","https://openalex.org/W2991216623","https://openalex.org/W1938387259","https://openalex.org/W2883866063"],"abstract_inverted_index":{"In":[0],"this":[1,79],"paper,":[2],"we":[3,57],"study":[4],"nonblocking":[5,76],"supervisory":[6],"control":[7],"of":[8,24],"discrete":[9],"event":[10],"systems":[11],"under":[12,50],"partial":[13],"observation.":[14],"We":[15],"introduce":[16],"a":[17,25,53,59,75,83],"weak":[18,31,71],"normality":[19,32],"condition":[20,33],"defined":[21],"in":[22],"terms":[23],"modified":[26],"natural":[27],"projection":[28],"map.":[29],"The":[30],"is":[34,48,85],"weaker":[35],"than":[36,42,88],"the":[37,43,63,89,93],"original":[38],"one":[39,90],"and":[40,70,97],"stronger":[41],"observability":[44],"condition.":[45],"Moreover,":[46],"it":[47],"preserved":[49],"union.":[51],"Given":[52],"marked":[54],"language":[55],"specification,":[56],"present":[58],"procedure":[60],"for":[61,78],"computing":[62],"supremal":[64,80,94],"sublanguage":[65],"which":[66,91],"satisfies":[67],"Lm(G)-closure,":[68],"controllability,":[69],"normality.":[72],"There":[73],"exists":[74],"supervisor":[77,84],"sublanguage.":[81,99],"Such":[82],"more":[86],"permissive":[87],"achieves":[92],"Lm(G)-closed,":[95],"controllable,":[96],"normal":[98]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}