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 map**, 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 …

The state estimation problem is a fundamental issue in discrete event systems. Partial
observations arise when the occurrence of some events cannot be detected. The considered …

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 …

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 …

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 …