| e are interested in the problem of designing control software for large-scale systems having discrete event-driven dynamics, in situations where the performance is specified by numerical measures. The paradigm of Supervisory Control Theory, developed for Discrete Event Systems (DES) constrained by legality specifications (0,... |