State Feedback Control for Model Matching Inclusion of Asynchronous Sequential Machines with Model Uncertainty