Sequential control of trace processes

A sequential extension of the Smedingas trace process (TP) control theory is proposed. In this framework, discrete event processes are specified by their behavior traces, independently of any modeled internal dynamics. Controllable maximal sublanguage and minimal superlanguage relative to a given specification language are identified. It is shown that controllers for simultaneous transient and steady-state behaviors can be synthesised in a very intuitive way for a large class of TPs. The theory is exemplified using nonregular processes