{"id":"https://openalex.org/W4200579873","doi":"https://doi.org/10.1007/s10626-021-00351-3","title":"Discrete-event systems subject to unknown sensor attacks","display_name":"Discrete-event systems subject to unknown sensor attacks","publication_year":2021,"publication_date":"2021-12-10","ids":{"openalex":"https://openalex.org/W4200579873","doi":"https://doi.org/10.1007/s10626-021-00351-3"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-021-00351-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-021-00351-3","pdf_url":null,"source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1843/82775","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036431153","display_name":"Michel R. C. Alves","orcid":null},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Michel R. C. Alves","raw_affiliation_strings":["Graduate Program in Electrical Engineering, Universidade Federal de Minas Gerais, Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo Horizonte, MG, Brazil"],"raw_orcid":"https://orcid.org/0000-0003-4083-5654","affiliations":[{"raw_affiliation_string":"Graduate Program in Electrical Engineering, Universidade Federal de Minas Gerais, Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028968326","display_name":"Patr\u00edcia N. Pena","orcid":"https://orcid.org/0000-0002-7595-7814"},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Patr\u00edcia N. Pena","raw_affiliation_strings":["Department of Electronics Engineering, Universidade Federal de Minas Gerais, Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo Horizonte, MG, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electronics Engineering, Universidade Federal de Minas Gerais, Av. Ant\u00f4nio Carlos 6627, 31270-901, Belo Horizonte, MG, Brazil","institution_ids":["https://openalex.org/I110200422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075103075","display_name":"Karen Rudie","orcid":"https://orcid.org/0000-0002-8675-334X"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Karen Rudie","raw_affiliation_strings":["Department of Electrical and Computer Engineering, and Ingenuity Labs Research Institute, Queen\u2019s University, Kingston, Ontario, K7L 3N6, Canada","Department of Electrical and Computer Engineering, and Ingenuity Labs Research Institute, Queen's University, Kingston, Ontario, K7L 3N6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, and Ingenuity Labs Research Institute, Queen\u2019s University, Kingston, Ontario, K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, and Ingenuity Labs Research Institute, Queen's University, Kingston, Ontario, K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036431153"],"corresponding_institution_ids":["https://openalex.org/I110200422"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.1197,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.89204901,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"32","issue":"1","first_page":"143","last_page":"158"},"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.9980999827384949,"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.9980999827384949,"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/T11424","display_name":"Security and Verification in Computing","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9872000217437744,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.8996896147727966},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8982622027397156},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6756918430328369},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6562629342079163},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.642362117767334},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6414480209350586},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6390392184257507},{"id":"https://openalex.org/keywords/sublanguage","display_name":"Sublanguage","score":0.6385436654090881},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.6233052015304565},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5740212202072144},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.5687030553817749},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5605951547622681},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4965136647224426},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.49128860235214233},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4510372281074524},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.39130350947380066},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3809555172920227},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.35883408784866333},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23022443056106567},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22182133793830872},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1868019998073578}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8996896147727966},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8982622027397156},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6756918430328369},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6562629342079163},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.642362117767334},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6414480209350586},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6390392184257507},{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.6385436654090881},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.6233052015304565},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5740212202072144},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.5687030553817749},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5605951547622681},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4965136647224426},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.49128860235214233},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4510372281074524},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.39130350947380066},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3809555172920227},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35883408784866333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23022443056106567},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22182133793830872},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1868019998073578},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10626-021-00351-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-021-00351-3","pdf_url":null,"source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},{"id":"pmh:oai:repositorio.ufmg.br:1843/82775","is_oa":true,"landing_page_url":"http://hdl.handle.net/1843/82775","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"instacron:UFMG","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:repositorio.ufmg.br:1843/82775","is_oa":true,"landing_page_url":"http://hdl.handle.net/1843/82775","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"instacron:UFMG","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W2016380948","https://openalex.org/W2170197341","https://openalex.org/W2421199393","https://openalex.org/W2509841691","https://openalex.org/W2585833112","https://openalex.org/W2767828640","https://openalex.org/W2883996237","https://openalex.org/W2884397601","https://openalex.org/W2889602037","https://openalex.org/W2898913212","https://openalex.org/W2914280847","https://openalex.org/W2963076019","https://openalex.org/W2967189348","https://openalex.org/W2991356567","https://openalex.org/W3011336637","https://openalex.org/W3011364142","https://openalex.org/W3021960365","https://openalex.org/W3048888572","https://openalex.org/W3159997794","https://openalex.org/W3160419751"],"related_works":["https://openalex.org/W2097726134","https://openalex.org/W4240933734","https://openalex.org/W2034815558","https://openalex.org/W2157429361","https://openalex.org/W2950099535","https://openalex.org/W4298084109","https://openalex.org/W2290012475","https://openalex.org/W2021484753","https://openalex.org/W2159110164","https://openalex.org/W2330948940"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}