{"id":"https://openalex.org/W2150955042","doi":"https://doi.org/10.1109/cdc.2005.1582125","title":"Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems","display_name":"Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems","publication_year":2006,"publication_date":"2006-10-04","ids":{"openalex":"https://openalex.org/W2150955042","doi":"https://doi.org/10.1109/cdc.2005.1582125","mag":"2150955042"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2005.1582125","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582125","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, 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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, Iowa State University, Ames, IA, 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":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21771157,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1877","issue":null,"first_page":"24","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9811999797821045,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.8578083515167236},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8193126916885376},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.7987931966781616},{"id":"https://openalex.org/keywords/sublanguage","display_name":"Sublanguage","score":0.717075526714325},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.6831427216529846},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6680951118469238},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5907946228981018},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5119929909706116},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46818506717681885},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.452314555644989},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.44994157552719116},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43268153071403503},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.43216192722320557},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4182100296020508},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.41757136583328247},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.364835262298584},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33353397250175476},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.2874182462692261},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21967145800590515},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.16942304372787476},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08700323104858398},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07470646500587463}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8578083515167236},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8193126916885376},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.7987931966781616},{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.717075526714325},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.6831427216529846},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6680951118469238},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5907946228981018},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5119929909706116},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46818506717681885},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.452314555644989},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.44994157552719116},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43268153071403503},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.43216192722320557},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4182100296020508},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.41757136583328247},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.364835262298584},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33353397250175476},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.2874182462692261},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21967145800590515},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.16942304372787476},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08700323104858398},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07470646500587463},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2005.1582125","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582125","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1566527307","https://openalex.org/W1589389581","https://openalex.org/W1678564987","https://openalex.org/W1820329554","https://openalex.org/W2019191620","https://openalex.org/W2133053297","https://openalex.org/W3162365952","https://openalex.org/W4251892696","https://openalex.org/W6635237799"],"related_works":["https://openalex.org/W2097726134","https://openalex.org/W2034815558","https://openalex.org/W4240933734","https://openalex.org/W2157429361","https://openalex.org/W2950099535","https://openalex.org/W4298084109","https://openalex.org/W2290012475","https://openalex.org/W2152440281","https://openalex.org/W2616472561","https://openalex.org/W2021484753"],"abstract_inverted_index":{"The":[0,93,163],"complexity":[1,34,52,221],"of":[2,17,45,53,56,66,90,95,112,115,122,128,135,152,159,165,189,198,225],"the":[3,15,18,21,33,43,51,88,106,110,120,126,133,149,157,187,190,196],"general":[4],"bisimilarity":[5,170,188,227],"control":[6,191],"problem":[7,108],"under":[8,109],"partial":[9,136],"observation":[10],"is":[11,70,140,154,167,213],"doubly":[12],"exponential":[13,220],"in":[14,99,201],"product":[16],"plant":[19],"and":[20,84,117,148,216],"specification":[22],"sizes":[23],"[7].":[24],"In":[25,48,132],"order":[26],"to":[27,42,61,130,142,181],"identify":[28],"a":[29,57,82,91,138,161,173,182,202,226],"special":[30],"case":[31],"where":[32],"may":[35],"be":[36,62,143,177],"more":[37],"manageable,":[38],"we":[39],"restrict":[40],"attention":[41],"class":[44],"deterministic":[46],"plants.":[47],"this":[49],"case,":[50],"verifying":[54],"existence":[55,89,103,158],"controller":[58],"turns":[59],"out":[60],"polynomial,":[63],"whereas":[64],"that":[65,175,211],"performing":[67],"its":[68],"synthesis":[69],"singly":[71],"exponential.":[72],"We":[73,209],"establish":[74],"state-controllability":[75],"(SC)":[76],"together":[77],"with":[78,171],"state-recognizability":[79],"(SR)":[80],"as":[81,101,169,205],"necessary":[83],"sufficient":[85],"condition":[86,104,151],"for":[87,105,156,223],"control.":[92],"notion":[94,121,197],"SC":[96,206],"was":[97],"introduced":[98],"[8]":[100],"an":[102,219],"same":[107,168],"restriction":[111],"complete":[113],"observability":[114],"events;":[116],"it":[118,192],"generalizes":[119,195,207],"language-controllability":[123],"(LC)":[124],"from":[125],"setting":[127],"language-control":[129],"bisimilarity-control.":[131],"presence":[134],"observation,":[137],"supervisor":[139],"required":[141],"observation-compatible":[144],"(also":[145],"called":[146],"M-compatible),":[147],"additional":[150],"SR":[153,166,194,212],"needed":[155],"such":[160,172],"supervisor.":[162],"property":[164],"system":[174],"can":[176],"transformed":[178],"by":[179],"state-mergers":[180],"M-compatible":[183],"system,":[184],"without":[185],"altering":[186],"exercises.":[193],"language-recognizability":[199],"[1]":[200],"similar":[203],"manner":[204],"LC.":[208],"show":[210],"polynomially":[214],"verifiable,":[215],"also":[217],"present":[218],"algorithm":[222],"synthesizing":[224],"enforcing":[228],"Supervisor.":[229]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}