Localization of Timed Discrete-Event Systems

Abstract

In this chapter, we extend supervisor localization to timed discrete-event systems. First, we introduce the basics of supervisory control of timed discrete-event systems. A unique feature is that the control action includes not only the disabling of controllable events, but also the use of forcible events to preempt the tick of the clock in order to satisfy temporal specifications. Then we develop timed localization theory, by which a supervisor is decomposed into a set of local controllers, with respect to disabling action, as well as another set of local preemptors, with respect to preemptive action. These local controllers and preemptors collectively achieve globally optimal and nonblocking behavior in timed discrete-event systems. Finally, timed localization is illustrated on a manufacturing cell example with a temporal specification imposed on the operations.