Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Networked opacity for finite state machine with bounded communication delays
Z Zhang, S Shu, C **a - 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 …
Supervisory control of networked discrete event systems with timing structure
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 …
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 …
Opacity of networked supervisory control systems over insecure communication channels
In this article, we investigate security and privacy issues in networked supervisory control
systems over multiple channel networks. We consider a networked discrete-event system …
systems over multiple channel networks. We consider a networked discrete-event system …
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 …
STP-based verification and synthesis of state opacity for logical finite state machines
W Han, Y Li, Z Zhang, C **a - 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 …
Offline supervisory control synthesis: taxonomy and recent developments
This paper surveys recent advances in supervisory control theory since its 30 th anniversary
in 2017. We performed a systematic literature search and selected 272 relevant papers, with …
in 2017. We performed a systematic literature search and selected 272 relevant papers, with …