Tracking and restrictability in discrete-event dynamic systems

Several elements of a control theory for discrete-event dynamic systems (DEDs) are described. It is assumed that the composition of two DEDSs which share some common events operates as it would with each system in isolation except that when a shared event occurs, it must occur in both systems. The authors focus on the ability of a DEDS to follow prescribed tracking event trajectories. A notion of resiliency, i.e. the ability of the DEDS to resume correct tracking after an error, is introduced. Restrictability compensators, task reachability, and aggregation are discussed