Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 1273-1290 |
Number of pages | 18 |
Journal | Journal of the Franklin Institute |
Volume | 358 |
Issue number | 2 |
DOIs | |
State | Published - Jan 2021 |