This paper considers modeling and state estimation of timed discrete-event systems
(TDESs) with communication delays and losses. In the previous framework, the specified …

The opaque property plays an important role in the operation of a security-critical system,
implying that pre-defined secret information of the system is not able to be inferred through …

This paper discusses a method to distribute a synthesized supervisor for implementation on
multiple physical controllers. Dependency structure matrices are used to determine a …

In this article, we study the verification of critical observability in discrete-event systems in
which a plant and its observer are connected via an unreliable communication channel. We …

This letter presents a novel data-driven model estimation method for renewable energy
source (RES) integrated system with random time delay. The proposed method exploits the …

Road tunnels play an important role in the traffic infrastructure in the Netherlands, either to
bypass geological obstacles such as rivers, or to improve traffic flow and quality of life in …

In this paper, we investigate the modeling and control of networked discrete-event systems
(DESs), where a supervisor is connected to the plant via an observation channel and the …

In decentralized networked supervisory control of discrete-event systems (DESs), the local
supervisors observe event occurrences subject to observation delays to make correct control …

Initial-state estimation consists in determining the initial state of the system based on the
observation from the system and the system structure. It is the basis for many problems in …

In the context of networked discrete-event systems (DESs), communication delays and
losses exist between the plant and the supervisor for observation and between the …