Active fault tolerant control of discrete event systems using online diagnostics
From MaRDI portal
Publication:534270
DOI10.1016/j.automatica.2011.01.007zbMath1215.93085OpenAlexW1965293767MaRDI QIDQ534270
Andrea Paoli, Stéphane Lafortune, Matteo Sartini
Publication date: 17 May 2011
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2011.01.007
Sensitivity (robustness) (93B35) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Related Items (20)
Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Fault-tolerant supervisory control with permanent faults ⋮ Bumpless transfer design of virtual actuator against actuator failure ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ Finite-time fault-tolerant trajectory tracking control of an autonomous surface vehicle ⋮ Detection and mitigation of classes of attacks in supervisory control systems ⋮ Fault tolerant control for a class of interconnected asynchronous sequential machines ⋮ Fault-tolerant control of a class of asynchronous sequential machines with permanent faults ⋮ Active fault tolerant control of discrete event systems using online diagnostics ⋮ Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems ⋮ Performance safety enforcement in strongly connected timed event graphs ⋮ Robust H∞ sliding mode observer‐based fault‐tolerant control for One‐sided Lipschitz nonlinear systems ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ Supervisory control of discrete-event systems under attacks ⋮ Adaptive robust actuator fault compensation for linear systems using a novel fault estimation mechanism ⋮ Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach ⋮ Robust and nonlinear control literature survey (No. 25) ⋮ Computation of supervisors for reconfigurable machine tools ⋮ 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
- Active fault tolerant control of discrete event systems using online diagnostics
- Diagnosability analysis of a class of hierarchical state machines
- Solvability of centralized supervisory control under partial observation
- Automating the addition of fault tolerance with discrete controller synthesis
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Diagnosability of discrete event systems and its applications
- PSPACE-completeness of modular supervisory control problems
- Model-based detection of routing events in discrete flow networks
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Introduction to Discrete Event Systems
- Template languages for fault monitoring of timed discrete event processes
- Diagnosability of discrete-event systems
- A Framework for Fault-Tolerant Control of Discrete Event Systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- 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: Active fault tolerant control of discrete event systems using online diagnostics
