Combining Online Diagnosis and Prognosis for Safe Controllability
- 2 November 2021
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 67 (10) , 5563-5569
Abstract
In this article, we combine fault diagnosis and prognosis to generalize the notion of safe controllability of discrete-event systems. To do so, we reformulate the notions of safe diagnosability, prognosability, safe controllability by diagnosis, and safe controllability by prognosis in the context of strings. Moreover, we combine these notions to introduce the concept of safe controllability by diagnosis or prognosis, or simply DP-safe controllability. We show that a language can be DP-safe controllable even if it is not safe controllable either only by diagnosis or only by prognosis. Thus, the DP-safe controllability can be considered a generalization of the safe controllability concept found in the literature. If a DES is DP-safe controllable, to achieve fault tolerance using an active approach, reconfiguration actions could be forced based not only on online fault diagnosis, but also on online fault prognosis. Thus, our approach outperforms the previous ones, since it provides additional control options to keep the system away from forbidden zones and to switch from the nominal supervisor to a postfault-detection supervisor designed to achieve postfault performance objectives. Necessary and sufficient conditions for DP-safe controllability are presented and an example is used to illustrate the introduced concepts.Keywords
Funding Information
- Foundation for Research and Innovation Support of the State of SC (FAPESC 2021TR930)
This publication has 36 references indexed in Scilit:
- Robust prognosability for a set of partially observed discrete event systemsAutomatica, 2015
- Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault BehaviorsIEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013
- Overview of fault diagnosis methods for Discrete Event SystemsAnnual Reviews in Control, 2013
- Computation of minimal event bases that ensure diagnosabilityDiscrete Event Dynamic Systems, 2012
- Active fault tolerant control of discrete event systems using online diagnosticsAutomatica, 2011
- Predictability of event occurrences in partially-observed discrete-event systemsAutomatica, 2009
- Safe diagnosability for fault-tolerant supervision of discrete-event systemsAutomatica, 2005
- Polynomial-time verification of diagnosability of partially observed discrete-event systemsIEEE Transactions on Automatic Control, 2002
- A polynomial algorithm for testing diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 2001
- Diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 1995