Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis

In this work, we study the problem of supervisory control networked discrete event systems. We consider lossy communication channels with bounded network delays, for both channel and observation channel. By a model transformation, transform supervisor synthesis into classical (non-networked) (for non-deterministic plants), such that existing tools can be used synthesizing supervisors. particular, use (state-based) normality property supremal supervisors, whose existence is guaranteed by construction due to our consideration command The effectiveness approach illustrated on mini-guideway example adapted from literature, which has been synthesized in SuSyNA TCT.