no code implementations • 2 Aug 2021 • Renyuan Zhang, Jiahao Wang, Zenghui Wang, Kai Cai
Finally, combining with the algorithm of computing the supremal controllable sublanguage, we design algorithms to compute the maximally permissive solutions to the formulated (heterogeneously) quantitatively nonblocking supervisory control problems.