Coordinated corrective control for model matching of asynchronous sequential machines

This paper proposes coordinated corrective control of input/state asynchronous sequential machines (ASMs). The states of the considered ASM are physically or logically separated to which complete observation by a single controller is impossible. A number of local dynamic controllers that have access to local states cooperate to match the stable-state behaviour of the closed-loop system to that of a reference model. We investigate reachability description of ASMs in the configuration of coordinated control and present the existence condition and design procedure for local controllers that solve the model matching problem. An illustrative example is provided to validate the proposed coordinated corrective control scheme.