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 …

This paper establishes a comprehensive theory of runtime monitorability for Hennessy-
Milner logic with recursion, a very expressive variant of the modal µ-calculus. It investigates …

We investigate the problem of robust fault diagnosis of stochastic discrete-event systems
against model uncertainty. In this problem, we assume that the actual behavior of the system …

We investigate the problem of decentralized fault prognosis in the context of discrete-event
systems. In this problem, the system is monitored by a set of local agents; each of them …

This technical note is concerned with the fault prognosis problem for partially observed
discrete-event systems modeled by unbounded labeled Petri nets. The goal of this problem …

Initial-state estimation is an important problem in discrete-event systems. In this problem, the
initial-state of the system is unknown and one wants to determine the initial-state of the …

Modular discrete event systems are modeled as a parallel composition of finite automata.
While deciding weak detectability, opacity, and A-diagnosability for monolithic systems is …

This article studies the marking prediction problem in labeled Petri nets. Marking prediction
aims to recognize a priori that the plant will inevitably reach a given set of alert markings in …

The diagnosis problem for discrete event systems consists in deciding whether some fault
event occurred or not in the system, given partial observations on the run of that system …

Diagnosis of partially observable stochastic systems prone to faults was introduced in the
late nineties. Diagnosability, ie the existence of a diagnoser, may be specified in different …