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 …

Detectability of discrete event systems (DESs) is a question whether the current and
subsequent states can be determined based on observations. Shu and Lin designed a …

Abstract In Shu and Lin, 2011, exponential time (actually polynomial space) algorithms for
determining the weak detectability and weak periodic detectability of nondeterministic …

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 …

Detectability is a basic property of dynamic systems: when it holds an observer can use the
current and past values of the observed output signal produced by a system to reconstruct its …

In this paper, we revisit state estimation and weak detectability verification for discrete event
systems (DES) from a span-new perspective. Specifically, using the semi-tensor product …

In this paper, a general framework is proposed for the analysis and characterization of
observability and diagnosability of finite state systems. Observability corresponds to the …