Model matching of input/state asynchronous sequential machines with actuator saturation and bounded delays

This paper presents model matching of input/state asynchronous sequential machines (ASMs) in which the corrective controller has the restriction of actuator saturation. As this restriction gives rise to a decrease in the length of control input sequences, a tighter existence condition is needed to achieve the control goal. We also propose the delayed model matching problem in association with actuator saturation, where the stable-state behavior of the closed-loop system is made equivalent with that of a reference model within a finite delay. The delay-bound controllability condition is analyzed and the design procedure for an appropriate model matching controller is addressed in the framework of corrective control theory. An illustrative example is provided to demonstrate the proposed notions and controller synthesis.