Computational procedures for robust nonblocking supervisory control
Farid Yari, Shahin Hashtrudi-Zad · 2016
In this paper an iterative procedure is developed for obtaining the maximally permissive solution for the problem of robust nonblocking supervisory control of discrete-event systems assuming full event observation. In the robust control problem, the plant model belongs to a finite family of discrete-event models, each with its own design specification. It is shown that the procedure developed in this paper converges in a bounded number of steps for finite-state plant models and regular specification languages.