Abstract: Since the Supervisory Control Theory (SCT) was introduced by Ramadge and Wonham in 1987, many researchers contributed to its theoretical basis and to the development of algorithms. In ...