{"id":"https://openalex.org/W1820329554","doi":"https://doi.org/10.1109/acc.2005.1470591","title":"A small model theorem for bisimilarity control under partial observation","display_name":"A small model theorem for bisimilarity control under partial observation","publication_year":2005,"publication_date":"2005-08-10","ids":{"openalex":"https://openalex.org/W1820329554","doi":"https://doi.org/10.1109/acc.2005.1470591","mag":"1820329554"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2005.1470591","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2005.1470591","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005, American Control Conference, 2005.","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/A5039053067","display_name":"Changyan Zhou","orcid":"https://orcid.org/0009-0000-5253-9057"},"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":"Changyan Zhou","raw_affiliation_strings":["Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, USA","Dept. of Electr. & Comput. Eng., Iowa State Univ., Ames, IA, USA#TAB#"],"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 Electr. & Comput. Eng., Iowa State Univ., Ames, IA, USA#TAB#","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 Electr. & Comput. Eng., Iowa State Univ., Ames, IA, USA#TAB#"],"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 Electr. & Comput. Eng., Iowa State Univ., Ames, IA, USA#TAB#","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":0.527,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.60917344,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"3937","last_page":"3942"},"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.9991999864578247,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9746999740600586,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8358283638954163},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7331050634384155},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.7078790068626404},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.5546629428863525},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4996798038482666},{"id":"https://openalex.org/keywords/sigma","display_name":"Sigma","score":0.47586745023727417},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4742492735385895},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4654363691806793},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.45209556818008423},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4482729434967041},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.42451241612434387},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4062248766422272},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3494369387626648},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.26886382699012756},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21854624152183533},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07573115825653076}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8358283638954163},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7331050634384155},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.7078790068626404},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.5546629428863525},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4996798038482666},{"id":"https://openalex.org/C2778049214","wikidata":"https://www.wikidata.org/wiki/Q7512234","display_name":"Sigma","level":2,"score":0.47586745023727417},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4742492735385895},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4654363691806793},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.45209556818008423},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4482729434967041},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42451241612434387},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4062248766422272},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3494369387626648},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26886382699012756},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21854624152183533},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07573115825653076},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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.1109/acc.2005.1470591","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2005.1470591","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005, American Control Conference, 2005.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W94945286","https://openalex.org/W1530952029","https://openalex.org/W1566527307","https://openalex.org/W1589389581","https://openalex.org/W1602605316","https://openalex.org/W1978469611","https://openalex.org/W1979349468","https://openalex.org/W2011115295","https://openalex.org/W2018871411","https://openalex.org/W2019191620","https://openalex.org/W2054099039","https://openalex.org/W2068354234","https://openalex.org/W2097061575","https://openalex.org/W2098981343","https://openalex.org/W2120593759","https://openalex.org/W2161413064","https://openalex.org/W2161544952","https://openalex.org/W2162331092","https://openalex.org/W2162500174","https://openalex.org/W2178250883","https://openalex.org/W2205337852","https://openalex.org/W4251892696"],"related_works":["https://openalex.org/W1536962364","https://openalex.org/W2333630979","https://openalex.org/W1502177156","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W2331919730","https://openalex.org/W4317418604","https://openalex.org/W2070318121","https://openalex.org/W3211782872","https://openalex.org/W1964497242"],"abstract_inverted_index":{"In":[0,68],"our":[1],"prior":[2],"work":[3],"on":[4],"control":[5,95,113],"under":[6,114],"complete":[7],"observation":[8,85,97,116],"of":[9,59,62,86,110],"a":[10,17,28,34,50,90],"nondeterministic":[11,18,119,122],"system":[12,63],"to":[13],"satisfy":[14],"bisimilarity":[15,111],"with":[16],"specification":[19,65],"by":[20],"C.":[21],"Zhou":[22],"et":[23],"al.":[24],"(2004),":[25],"we":[26,71],"established":[27],"\"small":[29],"model":[30,76],"theorem\"":[31],"showing":[32],"that":[33,73,89],"control-compatible":[35],"(/spl":[36],"Sigma//sub":[37,100],"u/-compatible":[38],"for":[39,103,117],"short)":[40],"supervisor":[41,91],"exists":[42,48],"if":[43,46],"and":[44,64,96,121],"only":[45],"it":[47],"over":[49],"certain":[51],"finite":[52],"state":[53,66],"space,":[54],"namely":[55],"the":[56,74,108],"power":[57],"set":[58],"Cartesian":[60],"product":[61],"spaces.":[67],"this":[69],"paper,":[70],"show":[72],"small":[75],"theorem":[77],"remains":[78],"valid":[79],"even":[80],"when":[81],"there":[82],"is":[83],"partial":[84,115],"events":[87],"so":[88],"must":[92],"be":[93],"both":[94],"compatible":[98],"((/spl":[99],"u/,":[101],"M)-compatible":[102],"short).":[104],"The":[105],"result":[106],"proves":[107],"decidability":[109],"enforcing":[112],"general":[118],"systems":[120],"specification.":[123]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}