Assembling taskblocks for control of discrete event systems

Considers systems represented by sets of discrete-state component models that interact with each other and with a controller through condition signals. The control goal is to step the system through a sequence of output states. The modular representation of the system as components allows a definition of the controller as a set of interacting taskblocks, each of which is automatically synthesized from a corresponding component model to accomplish a specific function within the component. We present sufficient conditions that allow these locally synthesized taskblocks to interact together hierarchically to achieve the desired closed loop behavior