Static corrective control for asynchronous sequential machines and its application to onboard computers

Corrective controllers can modify the stable-state behaviour of asynchronous sequential machines in a desirable way. This study addresses a static corrective control scheme formulated as a static feedback law. As no internal states are needed, the use of static corrective controllers greatly reduces the implementation cost. The existence condition for static corrective controllers is found to be more restrictive than that of dynamic controllers. Based on the existence condition, the output of the static corrective controller is assigned so as to match the closed-loop system to a reference model. The proposed static controller is applied to the model matching problem of on-board computer error counters implemented on field-programmable gate array systems.