{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T15:06:11Z","timestamp":1777388771657,"version":"3.51.4"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T00:00:00Z","timestamp":1639094400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T00:00:00Z","timestamp":1639094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1007\/s10626-021-00351-3","type":"journal-article","created":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T10:02:48Z","timestamp":1639130568000},"page":"143-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Discrete-event systems subject to unknown sensor attacks"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4083-5654","authenticated-orcid":false,"given":"Michel R. C.","family":"Alves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patr\u00edcia N.","family":"Pena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,12,10]]},"reference":[{"key":"351_CR1","doi-asserted-by":"crossref","unstructured":"Carvalho LK, Wu YC, Kwong R, Lafortune S (2016) Detection and prevention of actuator enablement attacks in supervisory control systems. 13th International Workshop on Discrete Event Systems, pp 298\u2013305","DOI":"10.1109\/WODES.2016.7497863"},{"key":"351_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.automatica.2018.07.017","volume":"97","author":"LK Carvalho","year":"2018","unstructured":"Carvalho LK, Wu YC, Kwong R, Lafortune S (2018) Detection and mitigation of classes of attacks in supervisory control systems. Automatica 97:121\u2013133","journal-title":"Automatica"},{"key":"351_CR3","doi-asserted-by":"crossref","unstructured":"Cassandras C, Lafortune S (2007) Introduction to Discrete Event Systems, 2nd edn. Springer, New York","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"7","key":"351_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/j.ifacol.2018.06.314","volume":"51","author":"R Fritz","year":"2018","unstructured":"Fritz R, Zhang P (2018) Modeling and detection of cyber attacks on discrete event systems. IFAC-PapersOnLine 51(7):285\u2013290","journal-title":"IFAC-PapersOnLine"},{"key":"351_CR5","doi-asserted-by":"crossref","unstructured":"Gao C, Seatzu C, Li Z, Giua A (2019) Multiple attacks detection on discrete event systems. IEEE International Conference on Systems, Man and Cybernetics, pp 2352\u20132357","DOI":"10.1109\/SMC.2019.8914035"},{"issue":"10","key":"351_CR6","doi-asserted-by":"publisher","first-page":"4369","DOI":"10.1109\/TAC.2019.2897553","volume":"64","author":"Y Ji","year":"2019","unstructured":"Ji Y, Yin X, Lafortune S (2019) Opacity enforcement using nondeterministic publicly known edit functions. IEEE Trans Autom Control 64(10):4369\u20134376","journal-title":"IEEE Trans Autom Control"},{"key":"351_CR7","doi-asserted-by":"crossref","unstructured":"Li Y, Tong Y, Giua A (2020) Detection and prevention of cyber attacks in networked control systems. In: Proceedings of the 15th IFAC Workshop on Discrete Event Systems, pp 7\u201313","DOI":"10.1016\/j.ifacol.2021.04.001"},{"issue":"1","key":"351_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s40313-018-0420-9","volume":"30","author":"PM Lima","year":"2019","unstructured":"Lima PM, Alves MVS, Carvalho LK, Moreira MV (2019) Security against communication network attacks of cyber-physical systems. J Control Autom Electr Syst 30(1):125\u2013135","journal-title":"J Control Autom Electr Syst"},{"key":"351_CR9","doi-asserted-by":"crossref","unstructured":"Lin L, Su R (2020) Synthesis of covert actuator and sensor attackers as supervisor synthesis. In: Proceedings of the 15th IFAC Workshop on Discrete Event Systems, vol 1-6, pp 561\u2013577","DOI":"10.1007\/s10626-020-00312-2"},{"key":"351_CR10","doi-asserted-by":"crossref","unstructured":"Lin L, Zhu Y, Su R (2019) Towards bounded synthesis of resilient supervisors against actuator attacks. In: Proceedings of the 58th IEEE Conference on Decision and Control. IEEE, pp 7659\u20137664","DOI":"10.1109\/CDC40024.2019.9030171"},{"key":"351_CR11","doi-asserted-by":"crossref","unstructured":"Lu Y (2017) Cyber physical system (CPS)-based industry 4.0: A Survey. J Ind Integr Manag 02(03):17500141\u2013175001457","DOI":"10.1142\/S2424862217500142"},{"key":"351_CR12","doi-asserted-by":"publisher","first-page":"109172","DOI":"10.1016\/j.automatica.2020.109172","volume":"121","author":"R Meira-G\u00f3es","year":"2020","unstructured":"Meira-G\u00f3es R, Kang E, Kwong RH, Lafortune S (2020) Synthesis of sensor deception attacks at the supervisory layer of Cyber\u2013Physical systems. Automatica 121:109172","journal-title":"Automatica"},{"issue":"c","key":"351_CR13","first-page":"1","volume":"9286","author":"R Meira-G\u00f3es","year":"2021","unstructured":"Meira-G\u00f3es R, Lafortune S, Marchand H (2021) Synthesis of supervisors robust against sensor deception attacks. IEEE Trans Autom Control 9286 (c):1\u20138","journal-title":"IEEE Trans Autom Control"},{"key":"351_CR14","doi-asserted-by":"crossref","unstructured":"Mohajerani S, Meira-G\u00f3es R, Lafortune S (2020) Efficient synthesis of sensor deception attacks using observation Equivalence-Based abstraction. In: Proceedings of the 15th IFAC Workshop on Discrete Event Systems, pp 28\u201334","DOI":"10.1016\/j.ifacol.2021.04.069"},{"key":"351_CR15","doi-asserted-by":"crossref","unstructured":"Rashidinejad A, Lin L, Wetzels B, Zhu Y, Reniers M, Su R (2019) Supervisory control of discrete-event systems under attacks: an overview and outlook. In: Proceedings of the 18th European Control Conference. EUCA, pp 1732\u20131739","DOI":"10.23919\/ECC.2019.8795849"},{"key":"351_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.automatica.2018.04.006","volume":"94","author":"R Su","year":"2018","unstructured":"Su R (2018) Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations. Automatica 94:35\u201344","journal-title":"Automatica"},{"key":"351_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/B:DISC.0000005009.40749.b6","volume":"14","author":"R Su","year":"2004","unstructured":"Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discret Event Dyn Syst 14:31\u201353","journal-title":"Discret Event Dyn Syst"},{"issue":"4","key":"351_CR18","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1007\/s13235-018-0285-3","volume":"9","author":"M Wakaiki","year":"2019","unstructured":"Wakaiki M, Tabuada P, Hespanha JP (2019) Supervisory control of discrete-event systems under attacks. Dyn Games Appl 9(4):965\u2013983","journal-title":"Dyn Games Appl"},{"issue":"9-10","key":"351_CR19","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1016\/j.sysconle.2007.03.006","volume":"56","author":"W Wang","year":"2007","unstructured":"Wang W, Lafortune S, Lin F (2007) An algorithm for calculating indistinguishable states and clusters in Finite-State automata with partially observable transitions. Syst Control Lett 56(9-10):656\u2013661","journal-title":"Syst Control Lett"},{"key":"351_CR20","doi-asserted-by":"crossref","unstructured":"Wang Y, Pajic M (2019) Supervisory control of discrete event systems in the presence of sensor and actuator attacks. In: Proceedings of the 58th IEEE Conference on Decision and Control. IEEE, pp 5350\u20135355","DOI":"10.1109\/CDC40024.2019.9029767"},{"key":"351_CR21","doi-asserted-by":"crossref","unstructured":"Zhang Q, Li Z, Seatzu C, Giua A (2018) Stealthy attacks for partially-observed discrete event systems. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pp 1161\u20131164","DOI":"10.1109\/ETFA.2018.8502501"},{"key":"351_CR22","unstructured":"Zhang Q, Seatzu C, Li Z, Giua A (2021) State estimation under attack in partially-observed discrete event systems. arXiv:https:\/\/arxiv.org\/abs\/1906.10207v3"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00351-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-021-00351-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-021-00351-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T09:11:58Z","timestamp":1647249118000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-021-00351-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,10]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["351"],"URL":"https:\/\/doi.org\/10.1007\/s10626-021-00351-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12,10]]},"assertion":[{"value":"25 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 September 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}