Robust prognosability of discrete event systems against stealthy sensor attacks

DOI10.1016/J.AUTOMATICA.2025.112740MaRDI QIDQ6851137zbMATH OpenFDO

Authors Tenglong Kang, Ding Liu, Zhiwu Li

Publication date 27 February 2026

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2025.112740

zbMATH Keywords

discrete event systemprognosability verificationsensor attack

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cites work

• A joint diagnoser approach for diagnosability of discrete event systems under attack
• Diagnosability and attack detection for discrete event systems under sensor attacks
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
• Finding All the Elementary Circuits of a Directed Graph
• Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
• Predictability of event occurrences in partially-observed discrete-event systems
• Robust prognosability for a set of partially observed discrete event systems
• Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints

This page was built for publication: Robust prognosability of discrete event systems against stealthy sensor attacks

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