文献

J-GLOBAL ID：201902214100359352   整理番号：19A2009820

非線形制御系のための対数量子化に基づく記号抽象化【JST・京大機械翻訳】

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

著者 (2件)： Ren Wei (EECS, Division of Decision and Control Systems, KTH Royal Institute of Technology, Stockholm, SE-10044, Sweden) ,  Dimarogonas Dimos V. (EECS, Division of Decision and Control Systems, KTH Royal Institute of Technology, Stockholm, SE-10044, Sweden)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： ECC  ページ： 1312-1317  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,対数量子化を用いた非線形制御系に対する記号抽出を研究した。対数量子化器を用いて,状態と入力集合を近似し,次に非線形制御系に対する新しい離散抽象化を構築した。構築した離散抽象化と元のシステムの間のフィードバック精密化関係を確立した。構築した離散的抽象化を用いて,安全制御装置合成問題を研究した。離散的抽象化と抽象的仕様によって,安全性制御装置の存在を調査して,アルゴリズムは抽象的制御装置を計算するために提案した。最後に,得られた結果を説明するために数値例を示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 精密化 ,  フィードバック ,  制御装置 ,  アルゴリズム ,  *非線形制御系 ,  安全性

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (4件)： 非線形制御系 ,  対数量子化 ,  記号 ,  抽象化