Abstract System safety, reliability and risk analysis are important tasks that are performed
throughout the system life-cycle to ensure the dependability of safety-critical systems …

With the continuous increase in complexity and expense of industrial systems, there is less
tolerance for performance degradation, productivity decrease, and safety hazards, which …

Abstract Fault diagnosis of Discrete Event Systems has become an active research area in
recent years. The research activity in this area is driven by the needs of many different …

A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an
intruder who can partially observe system activities. This work addresses the verification of …

This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

This paper considers the fault detection problem for networked switched control systems
subject to repeated scalar nonlinearities and stochastic disturbance under an event …

Process monitoring systems are necessary for ensuring the long-term reliability of the
operation of industrial systems. This article provides some perspectives on progress in the …

In this paper an approach to on-line diagnosis of discrete event systems based on labeled
Petri nets is presented. The approach is based on the notion of basis markings and …

In this paper, a compact representation of the reachability graph of a Petri net is proposed.
The transition set of a Petri net is partitioned into the subsets of explicit and implicit …

The goal of this paper is to overview the historical development of the field of Petri nets
(PNs) from a Systems Theory and Automatic Control perspective. It is intentionally not meant …