文献

J-GLOBAL ID：202102296743648071   整理番号：21A1872992

安全制約を受ける信号時間論理仕様のためのリカレントニューラルネットワークコントローラ【JST・京大機械翻訳】

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints

著者 (3件)： Liu Wenliang (Department of Mechanical Engineering, Boston University, Boston, MA, USA) ,  Mehdipour Noushin (Department of Systems Engineering, Boston University, Boston, MA, USA) ,  Belta Calin (Department of Mechanical/Systems Engineering, Boston University, Boston, MA, USA)
資料名： IEEE Control Systems Letters  (IEEE Control Systems Letters)
巻： 6  ページ： 91-96  発行年： 2022年 
JST資料番号： W3481A  ISSN： 2475-1456  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 信号時間論理(STL)公式として与えられた仕様を満たすのに必要な離散時間システムのための最適制御戦略を決定するために,Reカレントニューラルネットワーク(RNN)に基づくフレームワークを提案した。RNNは,時間にわたってシステムの情報を保存することができ,従って,STL公式に指定された動的時間要求の満足を決定することができる。STL公式,満足するシステム実行と対応する制御政策のデータセットを与えて,著者らは,システムの現在の状態と以前の状態に基づいて,各々の時間において制御政策を予測するために,RNNを使用することができた。制御バリア機能(CBFs)を用いて,予測制御政策の安全性を保証した。理論的定式化を検証し,シミュレーションを通して部分的に未知の安全制約を受ける最適制御問題におけるその性能を示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適制御 ,  予測制御 ,  *時間論理 ,  定式化 ,  離散時間系 ,  *再帰性
準シソーラス用語： *ニューラルネットワークコントローラ , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (3件)： 制約 ,  時間論理 ,  仕様