Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences

摘要: Abstract In this paper, the model matching inclusion problem for input/state asynchronous sequential machines (ASMs) is studied in framework of corrective control. The considered ASM receives external input with various frequencies which hinder full use inherent reachability machine. We elucidate existence condition and design procedure a state feedback controller that makes closed-loop system have largest behavior contained by given reference model. To demonstrate practicality proposed control scheme, experimental studies on an error detection correction (EDAC) module are conducted implementing machine field-programmable gate array (FPGA) system.