Corrective control for model matching of input/state asynchronous sequential machines (ASMs) is discussed in this paper. The control objective is to design a corrective controller that makes the closed-loop system stably equivalent with a prescribed reference model. In particular, this study focuses on the constraint that the initial state of the controlled machine cannot be set to be equal to that of the model. To describe this constraint, the set of initial model mismatches is defined and a matrix expression quantifying the initial model mismatches is introduced. Based on the stable reachability of the controlled machine, the condition for the existence of an appropriate corrective controller and its design procedure are outlined in the framework of corrective control theory.