Delayed Model Matching of Asynchronous Sequential Machines With Discrepancy in the Initial State

Model matching for asynchronous sequential machines (ASMs) is to design a corrective controller so as to match the stable-state behavior of the closed-loop system to that of a reference model. In this paper, we discuss the model matching problem for ASMs with discrepancy in the initial state. Owing to a lot of practical constraints, the controlled ASM may not commence its operation at the same initial state as the model, leading to initial model mismatch. We investigate under which condition an appropriate corrective controller can be designed that solves initial model mismatch. If such a condition is not valid, we address delayed model matching in which the closed-loop system is controlled to be stably equivalent with the model within an allowable delay-bound from the initial operation. FPGA experiments on an asynchronous error counter are provided to show the applicability of the proposed control scheme.