Please use this identifier to cite or link to this item:
Title: Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
Authors: Lin, Liyong
Zhu, Yuting
Tai, Ruochen
Ware, Simon
Su, Rong
Keywords: Engineering::Electrical and electronic engineering
Issue Date: 2022
Source: Lin, L., Zhu, Y., Tai, R., Ware, S. & Su, R. (2022). Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis. Automatica, 142, 110279-.
Project: AcRF TIER 1-2018-T1-001-245 (RG 91/18)
Journal: Automatica
Abstract: In this work, we study the problem of supervisory control of networked discrete event systems. We consider lossy communication channels with bounded network delays, for both the control channel and the observation channel. By a model transformation, we transform the networked supervisor synthesis problem into the classical (non-networked) supervisor synthesis problem (for non-deterministic plants), such that the existing supervisor synthesis tools can be used for synthesizing networked supervisors. In particular, we can use the (state-based) normality property for the synthesis of the supremal networked supervisors, whose existence is guaranteed by construction due to our consideration of command non-deterministic supervisors. The effectiveness of our approach is illustrated on a mini-guideway example that is adapted from the literature, for which the supremal networked supervisor has been synthesized in the synthesis tools SuSyNA and TCT.
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2022.110279
Schools: School of Electrical and Electronic Engineering 
Rights: © 2022 Elsevier Ltd. All rights reserved.
Fulltext Permission: none
Fulltext Availability: No Fulltext
Appears in Collections:EEE Journal Articles

Citations 50

Updated on Sep 14, 2023

Web of ScienceTM
Citations 50

Updated on Sep 14, 2023

Page view(s)

Updated on Sep 20, 2023

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.