Detectability of discrete event systems under sensor attacks

DOI10.1007/S11424-025-4348-4MaRDI QIDQ6950661zbMATH OpenFDO

Authors Kagurazaka Ritsuka, Feng Lin, Stéphane Lafortune, Caisheng Wang

Publication date 30 July 2025

Published in Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11424-025-4348-4

zbMATH Keywords

automatacyber attacksdetectabilitydiscrete event systemssecuritysensor attacks

Mathematics Subject Classification ID

Observability (93B07) Discrete event control/observation systems (93C65)

Cites work

• Classical and Logic-Based Dynamic Observers for Finite Automata
• Complexity of deciding detectability in discrete event systems
• Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
• Current-state opacity enforcement in discrete event systems under incomparable observations
• Cyberphysical Security in Networked Control Systems: An Introduction to the Issue
• Deciding detectability for labeled Petri nets
• Detectability of Discrete Event Systems
• Diagnosability and attack detection for discrete event systems under sensor attacks
• Diagnosability of discrete-event systems
• Estimation and inference in discrete event systems. A model-based approach with finite automata
• Generalized detectability for discrete event systems
• Guest Editorial Special Issue on Secure Control of Cyber-Physical Systems
• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• Introduction to Discrete Event Systems
• Observability of discrete event dynamic systems
• On detectability of labeled Petri nets and finite automata
• On observability of discrete-event systems
• Supervisory control of discrete-event processes with partial observations
• Supervisory control of discrete-event systems
• Supervisory control of discrete-event systems under attacks
• Towards an Abstract Internal Model Principle
• Trajectory detectability of discrete-event systems

This page was built for publication: Detectability of discrete event systems under sensor attacks

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