A rich supply of data and innovative algorithms have made data-driven modeling a popular
technique in modern industry. Among various data-driven methods, latent variable models …

In the present paper, a manufacturing cell in the presence of faults, coming from the devices
of the process, is considered. The modular modeling of the subsystems of the cell is …

In recent years, cybersecurity has received increasing attention due to the demand from a
large class of networked systems for resilience against cyberattacks that may compromise …

Due to the increasing complexity of variable relationships, fault detection has garnered
significant attention, as it is crucial for ensuring industrial safety and engineering reliability …

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 …

This paper investigates the problem of reliable fuzzy prognosis of decentralized fuzzy
discrete event systems (FDESs) in face of possible unavailability of some local agents …

Marking estimation is crucial in the area of discrete event systems. This paper proposes
algorithms for addressing the problem of minimum initial markings (MuIMs) estimation in a …

In this paper, we investigate property verification problems in partially-observed discrete-
event systems (DES). Particularly, we are interested in verifying observational properties that …

This paper considers the verification of decentralized fault pattern diagnosability for discrete
event systems, where the pattern is modeled as a finite automaton whose accepted …

This paper addresses fault pattern diagnosis of discrete event systems, involving fault
pattern detection and diagnosability. A fault pattern is modelled as a finite automaton whose …