State estimation for discrete-event systems with reliable states under sequential attacks

DOI10.1016/J.EJCON.2025.101349MaRDI QIDQ6925428zbMATH OpenFDO

Authors Yonghong Luo, Shaowen Miao, Aiwen Lai

Publication date 25 September 2025

Published in European Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.EJCON.2025.101349

zbMATH Keywords

communication protectioncyber attackscyber-physical systemsdiscrete-event systemsstate estimation

Mathematics Subject Classification ID

Networked control (93B70) Discrete event control/observation systems (93C65) Control/observation systems involving computers (process control, etc.) (93C83) Estimation and detection in stochastic control theory (93E10)

Cites work

• Diagnosability of discrete event systems and its applications
• Diagnosability of discrete-event systems
• Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints
• Estimation and inference in discrete event systems. A model-based approach with finite automata
• Generalized detectability for discrete event systems
• Introduction to Discrete Event Systems
• On-line verification of current-state opacity by Petri nets and integer linear programming
• Online Supervisory Control of Networked Discrete Event Systems With Control Delays
• Secure Control Systems: A Quantitative Risk Management Approach
• Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
• Verification of initial-state opacity in security applications of discrete event systems

This page was built for publication: State estimation for discrete-event systems with reliable states under sequential attacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6925428)