Safe diagnosability for fault-tolerant supervision of discrete-event systems
From MaRDI portal
Publication:2576131
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
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
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