The problem under consideration in this paper is that of enforcement by supervisory control
of a given property on a partially-observed discrete-event system. We present a general …

Abstract System resilience captures the ability of the system to withstand a major disruption
within acceptable performance degradation and to recover within an acceptable time frame …

Discrete-event systems (DESs) usually consist of discrete states and transitions between
them caused by spontaneous occurrences of labeled events. In this review article, we study …

In mobile systems or the failure detection applications, the output for some input event is
state-dependent and nondeterministic after intermittent sensor failures or measurement …

In this paper, we consider the online prognosis of stochastic discrete event systems. Even
though it is easy to predict the occurrence of faults in advance accurately for a prognosable …

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 …

A battery system may consist of many batteries; each battery can have a normal operating
mode and several faulty modes. This makes the fault status of a battery system very …

Detectability of discrete event systems, defined as the ability to determine the current and
subsequent states, is very important in diagnosis, control, and many other applications. So …

This paper investigated the verification of detectability for discrete event systems based on a
class of partially observed unbounded Petri nets. In an unbounded net system, all transitions …

Detectability of discrete event systems is a property to decide whether the current and
subsequent states can be determined based on observations. We investigate the existence …