A brief discussion of safe diagnosability for timed models of discrete-event systems is also provided.
To this end, the new property of safe diagnosability is introduced and studied.
Starting from an appropriate model of the system, we recall the notion of safe diagnosability as a necessary step in order to achieve fault tolerant control.
Starting from an appropriate model of the system, we recall the notion of safe diagnosability as a necessary step in order to achieve fault tolerant supervision of DES.
In addition, the problem of explicitly considering safe diagnosability in controller design, termed "active safe diagnosis problem", is formulated and solved.
In safe diagnosability, it is required in addition that fault detection occur prior to the execution of a given set of forbidden strings in the failed mode of operation of the system.
The method might be used for the design of safety-related systems as it is able to support: (1) IEC 61511 and IEC 61508 standards, (2) uncertainty of databases with missing data; and (3) ensuring safe-diagnosability property regarding dynamical aspects of actual systems.
Boaters hunted for safe harbors.
Marquez: Only for safe storage.
Look for safe trampolines.
