文献

J-GLOBAL ID：202002226423319448   整理番号：20A2551300

ブラックボックス連続時間動的システムのPACモデル検査【JST・京大機械翻訳】

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems

著者 (4件)： Xue Bai (State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China) ,  Zhang Miaomiao (School of Software Engineering, Tongji University, Shanghai, China) ,  Easwaran Arvind (School of Computer Science and Engineering, Nanyang Technological University, Singapore) ,  Li Qin (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China)
資料名： IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems)
巻： 39  号： 11  ページ： 3944-3955  発行年： 2020年 
JST資料番号： B0142C  ISSN： 0278-0070  CODEN： ITCSDI  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,おそらく近似的に正しい(PAC)学習の枠組みの中でブラックボックス連続時間動的システムの有限時間安全性検証に対する新しいモデル検査アプローチを示した。ブラックボックス動的システムは,モデルが与えられないが,有限時間間隔内の時間を通して連続的に変化する状態が与えられた入力に対するいくつかの離散時間瞬間で観測できるものである。新しいモデル検査アプローチを,用語誤差確率と信頼を用いて表現される正当性保証による学習モデルの組み込みにより,PACモデル検査として呼んだ。誤差確率と信頼レベルに基づいて,提案アプローチは,有限時間水平線上のブラックボックス動的システムの時間発展軌道が,学習モデルプラス有界間隔の範囲内で,ブラックボックスシステムの到達可能性に関する洞察に寄与し,従って,その安全性要求の充足可能性に寄与する,統計的に形式的保証を提供する。有界間隔と共に学習されたモデルを,シナリオ最適化によって得て,それは,線形計画法問題まで沸騰する。3つの用例は,著者らの方式の性能を実証した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  線形計画法 ,  学習 ,  学習モデル ,  *動的系 ,  近似法 ,  *ブラックボックス ,  *連続時間系 ,  時間発展 ,  *モデル検査
準シソーラス用語： 用例 ,  時間間隔 ,  有界 , 【Automatic Indexing@JST】

分類 (1件)： CAD,CAM  (JE10000A)

タイトルに関連する用語 (5件)： ブラックボックス ,  連続時間 ,  動的システム ,  PAC ,  モデル検査