화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.48, No.7, 1187-1198, 2003
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.