标题：A Matrix Approach for the Static Correction Problem of Asynchronous Sequential Machines
作者：Wang B.; Feng J.-E.
作者机构：[Wang, B] School of Mathematics, Shandong University, Jinan, 250100, China;[ Feng, J.-E] School of Mathematics, Shandong University, Jinan, 250100, Ch 更多
通讯作者地址：[Feng, J.-E] School of Mathematics, Shandong UniversityChina;
来源：International Journal of Control, Automation and Systems
关键词：Asynchronous sequential machines; model matching; semi-tensor product; static feedback
摘要：This paper investigates the static correction problem of asynchronous sequential machines (ASMs) via semi-tensor product (STP) of matrices. For an input/state ASM, the static correction problem is to find a static state feedback controller to solve model matching. This controller contains no memory units and consists of only some logic gates. First, by STP method, two algebraic forms are derived to describe the dynamics of an input/state ASM and the function of a static state feedback controller, respectively. Then, as two special cases, the static state feedback controllers for no mismatch and only one mismatch are given. Based on these two cases and analyzing reachability of an ASM, a static state feedback controller design for model matching is presented. Moreover, the number of working points this controller contains is the least. Finally, the proposed method is applied to a simple home security system. © 2019, ICROS, KIEE and Springer.