文献

J-GLOBAL ID：201702275671472418   整理番号：17A1394171

決定性有限オートマトンの静的出力フィードバック安定化【Powered by NICT】

Static output feedback stabilization of deterministic finite automata

著者 (4件)： Zhipeng Zhang (College of Computer and Control Engineering, Nankai University, Tianjin, 300350, China) ,  Zengqiang Chen (College of Computer and Control Engineering, Nankai University, Tianjin, 300350, China) ,  Xiaoguang Han (College of Computer and Control Engineering, Nankai University, Tianjin, 300350, China) ,  Zhongxin Liu (College of Computer and Control Engineering, Nankai University, Tianjin, 300350, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CCC  ページ： 2421-2425  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,半テンソル積(STP)理論を用いて決定性有限オートマトン(DFA)の静的出力フィードバック安定化(SOFS)を研究した。,状態,入力と出力を持つMoore型オートマトンの行列表現は,代数方程式を用いて提示した。可能事象マトリックス(FEM)はSTP理論を用いてマトリックス形式で与えられるとDFAの遷移状態隣接行列はブール演算を介して提示した。prereachabilityセットといくつかの対応する特性の概念を紹介し,次にSOFSに関する必要十分条件を得た。最後に,例により,結果の有効性を示すために提示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *オートマトン ,  演算 ,  *決定性オートマトン ,  代数方程式 ,  遷移状態
準シソーラス用語： 必要十分条件 ,  隣接行列 , 【Automatic Indexing@JST】

分類 (1件)： オートマトン理論  (JB04000O)

タイトルに関連する用語 (3件)： 決定性有限オートマトン ,  静的出力フィードバック ,  安定化