
arXiv: 2103.11273
handle: 10356/161751
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.
This paper is under review for Automatica
networked discrete-event systems, Engineering::Electrical and electronic engineering, delays, Lossy Channels, lossy channels, supervisory control, Systems and Control (eess.SY), Discrete event control/observation systems, Electrical Engineering and Systems Science - Systems and Control, Synthesis problems, 620, 004, non-FIFO channel, Non-FIFO Channels, :Electrical and electronic engineering [Engineering], Networked control, FOS: Electrical engineering, electronic engineering, information engineering, partial observation, FIFO channel
networked discrete-event systems, Engineering::Electrical and electronic engineering, delays, Lossy Channels, lossy channels, supervisory control, Systems and Control (eess.SY), Discrete event control/observation systems, Electrical Engineering and Systems Science - Systems and Control, Synthesis problems, 620, 004, non-FIFO channel, Non-FIFO Channels, :Electrical and electronic engineering [Engineering], Networked control, FOS: Electrical engineering, electronic engineering, information engineering, partial observation, FIFO channel
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 9 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
