{"id":"https://openalex.org/W2094033355","doi":"https://doi.org/10.1109/tac.2013.2294613","title":"On Most Permissive Observers in Dynamic Sensor Activation Problems","display_name":"On Most Permissive Observers in Dynamic Sensor Activation Problems","publication_year":2014,"publication_date":"2014-01-31","ids":{"openalex":"https://openalex.org/W2094033355","doi":"https://doi.org/10.1109/tac.2013.2294613","mag":"2094033355"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2013.2294613","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2013.2294613","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","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/A5066266879","display_name":"Eric Dallal","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Dallal","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, United States of America","Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, United States of America","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephane Lafortune","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, United States of America","Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, United States of America","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066266879"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":4.273,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.94680226,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"59","issue":"4","first_page":"966","last_page":"981"},"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.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/T11125","display_name":"Petri Nets in System Modeling","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/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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.9812999963760376,"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/notation","display_name":"Notation","score":0.6183623671531677},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5232362151145935},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.49730184674263},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4781154990196228},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4758329391479492},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.4748561382293701},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44038134813308716},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41814714670181274},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3346714377403259},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.334127813577652},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.0861712098121643}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6183623671531677},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5232362151145935},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.49730184674263},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4781154990196228},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4758329391479492},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4748561382293701},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44038134813308716},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41814714670181274},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3346714377403259},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.334127813577652},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0861712098121643},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2013.2294613","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2013.2294613","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1982189925","https://openalex.org/W1985787415","https://openalex.org/W1993536641","https://openalex.org/W2004239125","https://openalex.org/W2029928527","https://openalex.org/W2043999397","https://openalex.org/W2047552611","https://openalex.org/W2059057465","https://openalex.org/W2120116832","https://openalex.org/W2127173631","https://openalex.org/W2132443513","https://openalex.org/W2140405063","https://openalex.org/W2144800528","https://openalex.org/W2146153813","https://openalex.org/W2168066002","https://openalex.org/W2553867877","https://openalex.org/W4246219036"],"related_works":["https://openalex.org/W2077314575","https://openalex.org/W2504004674","https://openalex.org/W4315701745","https://openalex.org/W1990290471","https://openalex.org/W4380682190","https://openalex.org/W2102386043","https://openalex.org/W2945307361","https://openalex.org/W2116636209","https://openalex.org/W2053698688","https://openalex.org/W2005710836"],"abstract_inverted_index":{"We":[0,55,80,140],"consider":[1],"the":[2,21,66,73,85,98,107,110,119,132,136,147,169,218,237,244,255],"problem":[3,67,86],"of":[4,11,62,72,92,135,146,171,176,188,239,243],"dynamic":[5,70],"sensor":[6],"activation":[7],"for":[8,65,217,253],"fault":[9,25],"diagnosis":[10],"discrete":[12],"event":[13],"systems":[14],"modeled":[15],"by":[16,57,82],"finite":[17],"state":[18,64,78,93,137],"automata":[19],"under":[20],"constraint":[22],"that":[23,84,91,104,117,152],"any":[24],"must":[26],"be":[27,88],"diagnosed":[28],"within":[29],"no":[30],"more":[31],"than":[32],"<formula":[33,48,120,189,204,222,229],"formulatype=\"inline\"":[34,49,121,190,205,223,230],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[35,50,122,191,206,224,231],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[36,123,192],"<tex":[37,124,193],"Notation=\"TeX\">$K":[38],"+":[39],"1$</tex></formula>":[40],"events":[41,242],"after":[42],"its":[43,261],"occurrence,":[44],"a":[45,143,182,185],"property":[46,127,145],"called":[47],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><tex":[51,207,225,232],"Notation=\"TeX\">$K$</tex>":[52],"</formula>":[53,227,234],"-diagnosability.":[54],"begin":[56],"defining":[58,69],"an":[59,251],"appropriate":[60],"notion":[61],"information":[63,77,159],"and":[68,76,112,150,228,241,259],"versions":[71],"projection":[74],"operator":[75],"evolution.":[79],"continue":[81],"showing":[83,116],"can":[87],"reduced":[89],"to":[90,109,130,156,166,246],"disambiguation.":[94],"Then":[95],"we":[96,113,180,249],"define":[97],"most":[99,256],"permissive":[100,257],"observer":[101,258],"(MPO)":[102],"structure":[103],"contains":[105],"all":[106,175],"solutions":[108],"problem,":[111],"prove":[114,142],"results":[115,178],"maintaining":[118],"Notation=\"TeX\">$K$</tex></formula>":[125],"-diagnosability":[126],"is":[128],"equivalent":[129],"satisfying":[131],"extended":[133,148],"specification":[134],"disambiguation":[138],"problem.":[139],"then":[141],"monotonicity":[144],"specification,":[149],"show":[151],"this":[153],"allows":[154,164],"us":[155,165],"reduce":[157,168],"our":[158,172,177],"state,":[160],"which":[161],"in":[162],"turn":[163],"significantly":[167],"complexity":[170,187],"solution.":[173],"Putting":[174],"together,":[179],"obtain":[181],"MPO":[183],"with":[184,203],"size":[186],"Notation=\"TeX\">$O(2^{\\vert":[194,208],"X\\vert":[195,197,209],"}(K+2)^{\\vert":[196],"}2^{\\vert":[198],"E\\vert":[199,215],"})$</tex></formula>":[200],",":[201],"compared":[202],"^{2}":[210],"\\cdot":[211,213],"K":[212],"2^{\\vert":[214],"}})$</tex></formula>":[216],"previous":[219],"approach,":[220],"where":[221],"Notation=\"TeX\">$X$</tex>":[226],"Notation=\"TeX\">$E$</tex>":[233],"are,":[235],"respectively,":[236],"sets":[238],"states":[240],"automaton":[245],"diagnose.":[247],"Finally,":[248],"provide":[250],"algorithm":[252],"constructing":[254],"demonstrate":[260],"scalability":[262],"through":[263],"simulation.":[264]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}