Safe diagnosability for fault-tolerant supervision of discrete-event systems

DOI10.1016/j.automatica.2005.03.017zbMath1086.93043OpenAlexW2089465507MaRDI QIDQ2576131

Andrea Paoli, Stéphane Lafortune

Publication date: 8 December 2005

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2005.03.017

zbMATH Keywords

Fault diagnosisDiscrete-event systemsFault-tolerant controlSupervisionFinite state machine

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Discrete event control/observation systems (93C65)

Related Items (18)

Fault diagnosis in discrete time hybrid systems -- a case study ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Polynomial-time verification of diagnosability of fuzzy discrete event systems ⋮ Decentralized diagnosis of fuzzy discrete-event systems ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ A new algorithm for testing diagnosability of fuzzy discrete event systems ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Secure Diagnosability of Hybrid Dynamical Systems ⋮ Active fault tolerant control of discrete event systems using online diagnostics ⋮ Qualitative fault tolerance analysis for a class of hybrid systems ⋮ Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems ⋮ Burst-feedback corrective control of asynchronous sequential machines in non-fundamental mode ⋮ Abstraction-based verification of codiagnosability for discrete event systems ⋮ Opacity of discrete event systems and its applications ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems ⋮ Verification of safe diagnosability of stochastic discrete-event systems ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Diagnosability of discrete event systems and its applications
• Implicit fault-tolerant control: Application to induction motors.
• On an optimization problem in sensor selection
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Supervisor specification and synthesis for discrete event systems
• Supervisory control of timed discrete-event systems
• Active diagnosis of discrete-event systems
• Template languages for fault monitoring of timed discrete event processes
• Diagnosability of discrete-event systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• State observation and diagnosis of discrete-event systems described by stochastic automata
• Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks

This page was built for publication: Safe diagnosability for fault-tolerant supervision of discrete-event systems