Reduced supervisors for timed discrete-event systems

The design of reduced supervisors, suboptimal but easier to compute, is placed in a general perspective. From this vantage point, we consider a timed discrete-event system, and compute a reduced supervisor based on an abstraction of the plant model in which time is measured with a slower clock. Such a model is simpler than the original, but has richer untimed behavior. Thus, a time-independent specification met by the closed-loop reduced system is also met by the original system when controlled by the same supervisor. The idea is illustrated with a simple example.