This paper considers the problem of synthesizing a controller to drive a discrete state system through a sequence of desired outputs. The systems considered interact with the controller through discrete condition signals. The controller is constructed from a sequential composition of ActionBlocks, which are control structures to drive the plant system to individual condition outputs. The paper presents a procedure for automatically constructing the ActionBlocks from an analysis of the system model. A class of system models is identified for which the closed loop system achieves the desired goals.
展开▼