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 …

Supervisory control of timed discrete-event systems subject to communication delays and non-fifo observations

A Rashidinejad, M Reniers, L Feng - IFAC-PapersOnLine, 2018 - Elsevier
Conventional supervisory control synthesis techniques are not adequate anymore when a
network between the plant and the supervisor introduces communication delays. This paper …

Predictive networked control of discrete event systems

S Shu, F Lin - IEEE Transactions on Automatic Control, 2016 - ieeexplore.ieee.org
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 …

Online supervisory control of networked discrete event systems with control delays

Z Liu, X Yin, S Shu, F Lin, S Li - IEEE Transactions on Automatic …, 2021 - ieeexplore.ieee.org
We investigate state estimation and safe controller synthesis for networked discrete-event
systems (DESs), where supervisors send control decisions to plants via communication …

A new modeling framework for networked discrete-event systems

R Tai, L Lin, Y Zhu, R Su - Automatica, 2022 - Elsevier
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 …

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 …

Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis

Y Hou, Y Ji, G Wang, CY Weng, Q Li - International Journal of …, 2024 - Taylor & Francis
This paper considers modeling and state estimation of timed discrete-event systems
(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

RP França, Y Iano, ACB Monteiro… - Smart systems design …, 2020 - igi-global.com
Smart telecoms will deliver lasting improvements to business productivity and enduring
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 …

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 …