Model matching of input/state asynchronous sequential machines using a one-step corrective controller | IEEE Conference Publication | IEEE Xplore