Networked opacity for finite state machine with bounded communication delays
Z Zhang, S Shu, C Xia - Information Sciences, 2021 - Elsevier
Networked finite state machines consider the delay factor in real-time communication
networks, and the security has become an important research topic in cyber-physical …
networks, and the security has become an important research topic in cyber-physical …
Supervisory control of timed discrete-event systems subject to communication delays and non-fifo observations
Conventional supervisory control synthesis techniques are not adequate anymore when a
network between the plant and the supervisor introduces communication delays. This paper …
network between the plant and the supervisor introduces communication delays. This paper …
Predictive networked control of discrete event systems
In this technical note, we continue the work of [6] to investigate the networked control
problem of discrete event systems. The problem is to find a networked supervisor so that the …
problem of discrete event systems. The problem is to find a networked supervisor so that the …
Online supervisory control of networked discrete event systems with control delays
We investigate state estimation and safe controller synthesis for networked discrete-event
systems (DESs), where supervisors send control decisions to plants via communication …
systems (DESs), where supervisors send control decisions to plants via communication …
A new modeling framework for networked discrete-event systems
This paper proposes a new framework for modeling networked discrete-event systems
(DES) with channel delays and losses. We construct a more elaborated model for the plant …
(DES) with channel delays and losses. We construct a more elaborated model for the plant …
Supervisory control of networked discrete event systems with timing structure
MVS Alves, LK Carvalho… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
In this article, we study the supervisory control problem of networked discrete event systems
with timing structure assuming bounded communication delays and intermittent loss of …
with timing structure assuming bounded communication delays and intermittent loss of …
Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
This paper considers modeling and state estimation of timed discrete-event systems
(TDESs) with communication delays and losses. In the previous framework, the specified …
(TDESs) with communication delays and losses. In the previous framework, the specified …
Lower memory consumption for data transmission in smart cloud environments with CBEDE methodology
Smart telecoms will deliver lasting improvements to business productivity and enduring
consumer benefits that raise the quality of life by enabling telecommuting, telemedicine …
consumer benefits that raise the quality of life by enabling telecommuting, telemedicine …
STP-based verification and synthesis of state opacity for logical finite state machines
W Han, Y Li, Z Zhang, C Xia - Information Sciences, 2023 - Elsevier
Finite-state machines are among the most important models for studying the logical dynamic
behavior of cyber–physical systems, and their security and privacy are urgent problems to …
behavior of cyber–physical systems, and their security and privacy are urgent problems to …
Supervisory control of timed networked discrete event systems
MVS Alves, LK Carvalho… - 2017 IEEE 56th Annual …, 2017 - ieeexplore.ieee.org
In this paper, we study the supervisory control problem of Timed Networked Discrete Event
Systems (TNDES) subject to delays and losses of observations. We assume that the plant is …
Systems (TNDES) subject to delays and losses of observations. We assume that the plant is …