Fault prognosis of discrete event systems (DES) is an active field of research and has
become important due to the high demand on systems' safety and reliability. The aim of this …

The search for making industrial systems smarter is a chalenge present in the Industry 4.0
scope. In this new industrial era, the automation processes operate in a more flexible and …

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 …

Fault-tolerant controllers keep system operation safe and mitigate the effects of a system
malfunction, while the notion of safe fault-tolerant control is also concerned with not driving …

This work presents a multilayer architecture for fault diagnosis in embedded systems based
on formal modeling of Discrete Event Systems (DES). Most works on diagnosis of DES focus …

Fault prediction seeks to predict the future occurrences of faults in order to implement
effective control measures. In the context of non-deterministic observations, this article …

This paper addresses the problem of checking predictability of event patterns in labelled
Petri nets. After formally introducing the predictabil-ity problem of an event pattern, a method …

In this paper, we revisit the verification of robust diagnosability and robust prognosability in
the context of partially-observed discrete-event systems. In these problems, we assume that …

Objetivos▶ Revisao das condiçoes para diagnosticabilidade, diagnosticabilidade segura e
prognosticabilidade existentes na literatura.▶ Demonstraçao através de exemplos que tais …