1 paper
Ting Jiao, Renyuan Zhang, Kai Cai
In the supervisory control framework of discrete-event systems (DES) with infinite behavior initiated by Thistle and Wonham, a supervisor satisfying the minimal acceptable specific…