文献

J-GLOBAL ID：201902218613696086   整理番号：19A2444819

静的出力フィードバックによる非決定性有限オートマトンの安定化について【JST・京大機械翻訳】

On the stabilization of nondeterministic finite automata via static output feedback

著者 (5件)： Zhang Zhipeng (Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology, Tianjin University of Technology, Tianjin 300384, PR China) ,  Zhang Zhipeng (Key Laboratory of Computer Vision and System (Ministry of Education), Tianjin University of Technology, Tianjin 300384, PR China) ,  Xia Chengyi (Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology, Tianjin University of Technology, Tianjin 300384, PR China) ,  Xia Chengyi (Key Laboratory of Computer Vision and System (Ministry of Education), Tianjin University of Technology, Tianjin 300384, PR China) ,  Chen Zengqiang (College of Artificial Intelligence, Nankai University, Tianjin 300350, PR China)
資料名： Applied Mathematics and Computation  (Applied Mathematics and Computation)
巻： 365  ページ： Null  発行年： 2020年 
JST資料番号： D0568B  ISSN： 0096-3003  CODEN： AMHCBQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 非決定論的有限オートマトン(NDFA)はモデリングと解析において不確実な挙動を示すことができ,その安定化は理論研究の必須要素と見なされている。本論文では,マトリックス半テンソル積(マトリックスSTP)のフレームワークの下で,NDFAの静的出力フィードバック安定化の問題に焦点を合わせた。最初に,Moore型NDFAの動力学を行列ベースのモデリングアプローチによって離散時間双線形表現として記述することができた。次に,NDFAの平衡点と閉鎖遷移行列を導入し,対応する計算式を新しい行列式に基づいて与えた。マトリックスSTPアプローチを利用することによって,NDFAのための静的状態出力フィードバック安定化を実行するために必要十分条件を得ることができた。一方,マトリックスSTPから出発して,拡張出力フィードバック実行可能事象セットを通して制御装置を探索するための系統的手順を設計した。最後に,新しく提案した方法の有効性を証明するための実例を示した。現在の結果は,離散事象システムのための効果的な有限オートマトンをより良く理解し,考案するのに役に立つ。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 線形性 ,  不確実性 ,  テンソル積 ,  有効性 ,  アルゴリズム ,  *有限オートマトン ,  モデリング ,  制御装置 ,  行列式 ,  離散事象系 ,  *出力フィードバック ,  フィードバック安定化 ,  *静的出力フィードバック
準シソーラス用語： 必要十分条件 , 【Automatic Indexing@JST】

著者キーワード (6件)： 論理動的システム ,  有限値システム ,  有限オートマトン ,  代数状態空間法 ,  静的出力フィードバック安定化 ,  行列半テンソル積

分類 (5件)： 構造要素一般  (HD03010W) ,  電気式制御機器  (IC02020Y) ,  固体の機械的性質一般  (BL01021C) ,  システム設計・解析  (IA02030D) ,  曲板  (HD03070K)

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