Robust Nonblocking State-based Supervisory Control
Nazanin Hashemi Attar, Shahin Hashtrudi-Zad · 2020 IEEE International Systems Conference (SysCon) · 2020
In this paper, the robust nonblocking supervisory control problem of discrete-event systems is studied. In this framework, the plant model is unknown but is assumed to belong to a finite set of models. The safety requirements are expressed in terms of a set of safe states for each model. A set of necessary and sufficient conditions is obtained for the existence of a solution and an algorithm is developed to calculate the supremal solution within a finite number of iterations. The resulting supervisor will be maximally permissive.