{"id":"https://openalex.org/W2134398996","doi":"https://doi.org/10.1109/coase.2009.5234123","title":"Discrete event control under nondeterministic partial observation","display_name":"Discrete event control under nondeterministic partial observation","publication_year":2009,"publication_date":"2009-08-01","ids":{"openalex":"https://openalex.org/W2134398996","doi":"https://doi.org/10.1109/coase.2009.5234123","mag":"2134398996"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2009.5234123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2009.5234123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Conference on Automation Science and Engineering","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/A5083210721","display_name":"Shiping Xu","orcid":"https://orcid.org/0000-0002-0799-586X"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Xu","raw_affiliation_strings":["Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, USA","Dept. of Elec. & Comp. Eng., Iowa State University, Ames, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Dept. of Elec. & Comp. Eng., Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044031773","display_name":"Ratnesh Kumar","orcid":"https://orcid.org/0000-0003-3974-5790"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Kumar","raw_affiliation_strings":["Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, USA","Dept. of Elec. & Comp. Eng., Iowa State University, Ames, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Dept. of Elec. & Comp. Eng., Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":1.2044,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.77394085,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"127","last_page":"132"},"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.998199999332428,"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.9824000000953674,"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/observability","display_name":"Observability","score":0.8051974177360535},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7998219728469849},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.6218621134757996},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6210521459579468},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.6093911528587341},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5868089199066162},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5727888345718384},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.5701597929000854},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5535818934440613},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.551707923412323},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5118907690048218},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5083650946617126},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4781450033187866},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.4719240665435791},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.4643210768699646},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.44390997290611267},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39935725927352905},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31875288486480713},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2424635887145996},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.21359094977378845},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13873937726020813}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8051974177360535},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7998219728469849},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.6218621134757996},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6210521459579468},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6093911528587341},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5868089199066162},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5727888345718384},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.5701597929000854},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5535818934440613},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.551707923412323},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5118907690048218},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5083650946617126},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4781450033187866},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.4719240665435791},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.4643210768699646},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.44390997290611267},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39935725927352905},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31875288486480713},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2424635887145996},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.21359094977378845},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13873937726020813},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"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/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2009.5234123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2009.5234123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Conference on Automation Science and Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5199999809265137,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W94945286","https://openalex.org/W1497487247","https://openalex.org/W2068354234","https://openalex.org/W2133053297","https://openalex.org/W2157807392","https://openalex.org/W2161179144","https://openalex.org/W2164926516","https://openalex.org/W2171262638"],"related_works":["https://openalex.org/W1517932751","https://openalex.org/W2187310579","https://openalex.org/W3185974462","https://openalex.org/W28952876","https://openalex.org/W1585688349","https://openalex.org/W4294290144","https://openalex.org/W2401586919","https://openalex.org/W1965531865","https://openalex.org/W4287765525","https://openalex.org/W3033862888"],"abstract_inverted_index":{"Most":[0],"prior":[1],"work":[2,213],"on":[3,145,267],"control":[4,264],"of":[5,62,79,83,86,95,104,122,128,181,221,227,232,253,262],"discrete":[6],"event":[7],"systems":[8],"assume":[9],"that":[10,15,155,166],"sensors":[11,35],"are":[12],"reliable":[13],"so":[14],"they":[16],"can":[17,207],"be":[18,38,57,90,140,208,237],"modeled":[19],"as":[20,32,100,102,245],"a":[21,43,68,72,84,93,111,156,164,174,201,204,212,246,254,263,268],"deterministic":[22],"(point-valued)":[23],"observation":[24,46,54,133,270],"mask.":[25,47,134,271],"However":[26],"in":[27,42],"certain":[28],"harsh":[29],"environments":[30],"such":[31,182],"nuclear":[33],"systems,":[34],"may":[36],"not":[37,185],"reliable.":[39],"This":[40],"results":[41],"nondeterministic":[44,58,269],"(set-valued)":[45],"In":[48,64],"this":[49,65,116,215],"paper,":[50],"we":[51],"allow":[52],"the":[53,76,87,96,120,126,146,150,219,224,251],"mask":[55],"to":[56,59,70,113,139,236],"capture":[60],"unreliability":[61],"sensors.":[63],"setting":[66],"finding":[67,203],"supervisor":[69,157],"enforce":[71],"given":[73,151],"specification":[74,88,97],"has":[75],"additional":[77],"challenge":[78,117],"deciding":[80],"which":[81],"observations":[82,106],"trace":[85,94],"must":[89],"enabled":[91,99],"(note":[92],"is":[98,107,137,184,192,234],"long":[101],"one":[103],"its":[105,143,242],"enabled).":[108],"We":[109,153,210,256],"propose":[110,211],"method":[112],"deal":[114],"with":[115,173,223],"by":[118,217],"introducing":[119],"notion":[121],"lifting,":[123],"and":[124,132,160,241],"defining":[125],"lifting":[127],"events,":[129],"plant,":[130],"specification,":[131],"A":[135],"lifted-specification":[136,165],"said":[138],"safe":[141],"if":[142,159,162],"projection":[144],"original":[147],"events":[148],"equals":[149],"specification.":[152],"show":[154],"exists":[158,163],"only":[161],"satisfies":[167],"closure,":[168],"safety,":[169],"controllability,":[170],"observability,":[171],"together":[172],"new":[175],"property":[176,220,226],"called":[177],"conformity.":[178],"The":[179,229],"class":[180,231],"languages":[183,233],"closed":[186,193,238],"under":[187,194,239],"union":[188,195],"or":[189],"intersection,":[190],"but":[191],"over":[196],"an":[197,259],"increasing":[198],"chain.":[199],"As":[200],"result,":[202],"desired":[205],"liftedspecification":[206],"difficult.":[209],"around":[214],"difficulty":[216],"replacing":[218],"observability":[222],"stronger":[225],"normality.":[228],"corresponding":[230],"shown":[235],"union,":[240],"nonemptiness":[243],"serves":[244],"constructive":[247],"sufficient":[248],"condition":[249],"for":[250],"existence":[252],"supervisor.":[255],"also":[257],"provide":[258],"automaton":[260],"representation":[261],"policy":[265],"based":[266]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}