Algebraic state space theory (ASST) of logical systems, developed based on the semi-tensor
product (STP) which is a new matrix analysis tool built in recent ten years, provides an …

In this paper, we investigate opacity of discrete event systems. We define two types of
opacities: strong opacity and weak opacity. Given a general observation mapping, a …

In this paper, we investigate supervisory control of networked discrete event systems. Such
systems are now widely used in practice. The key feature of a networked discrete event …

This article studies the state estimation for probabilistic Boolean networks via observing
output sequences. Detectability describes the ability of an observer to uniquely estimate …

This paper devotes to introducing and investigating the detectability of probabilistic Boolean
networks (PBNs). Two types of detectability, weak detectability and strong detectability, are …

This paper concerns the prevention of faults in discrete event systems modeled with partially
observed Petri nets (POPNs) that include the definition of sensors used to measure the …

In this paper, we extend detectability to delayed detectability in order to answer the following
question. After observing k 1+ k 2 observable events, can we determine the state of a system …

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 …

State estimation has always been important in discrete-event systems. There are two types
of state estimation problems in discrete-event systems: one is to determine the initial state of …

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 …