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 …

Networked finite state machine takes into account communication losses in industrial
communication interfaces due to the limited bandwidth. The reachability analysis of …

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

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 …

In practical systems, due to reasons such as sensor limitations, sensor faults, and packet
losses in networks, the observation of events becomes nondeterministic. In this article, we …

Finite labeled transition systems are nondeterministic and nontotal systems with finitely
many inputs, states, and outputs. This paper provides algorithms for verifying the …

In this paper, we investigate the problem of state estimation and detection in the context of
timed discrete-event systems. Specifically, we study the verification of detectability, a …

Detectability describes the property of a system to uniquely determine, after a finite number
of observations, the current and the subsequent states. Different notions of detectability have …

This paper studies a performance safety enforcing problem in stochastic event graphs, a
subclass of stochastic Petri net models. We assume that an intruder can attack part of the …