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

초록

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

키워드