文献

J-GLOBAL ID：202002219341660483   整理番号：20A2526214

障壁証明書による安全なニューラルネットワークコントローラの学習【JST・京大機械翻訳】

Learning Safe Neural Network Controllers with Barrier Certificates

著者 (6件)： Zhao Hengjun (School of Computer and Information Science, Southwest University, Chongqing, China) ,  Zeng Xia (School of Computer and Information Science, Southwest University, Chongqing, China) ,  Chen Taolue (Department of Computer Science, University of Surrey, Guildford, UK) ,  Liu Zhiming (School of Computer and Information Science, Southwest University, Chongqing, China) ,  Woodcock Jim (School of Computer and Information Science, Southwest University, Chongqing, China) ,  Woodcock Jim (Department of Computer Science, University of York, York, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12153  ページ： 177-185  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 安全特性に対する制御を有する非線形連続動的システムのためのコントローラを合成する新しいアプローチを提供した。制御装置はニューラルネットワーク(NN)に基づいている。安全特性を証明するために,NNにより表現されるバリア関数を利用した。制御装置-NNと障壁-NNを同時に訓練し,検証-インザループ合成を達成した。プロトタイプツールnn制御器を多数の事例研究で提供した。予備実験結果は,著者らのアプローチの実現可能性と有効性を確認した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 制御装置 ,  動的系 ,  *ニューラルネットワーク ,  事例研究 ,  有効性 ,  認証
準シソーラス用語： *証明書 ,  予備実験 , 【Automatic Indexing@JST】

著者キーワード (5件)： 連続力学系 ,  コントローラ合成 ,  ニューラルネットワーク ,  安全検証 ,  バリア認証

分類 (2件)： 人工知能  (JE08000Z) ,  ニューロコンピュータ  (JC06010Q)

タイトルに関連する用語 (4件)： 障壁 ,  証明書 ,  ニューラルネットワークコントローラ ,  学習