文献

J-GLOBAL ID：201702250244046883   整理番号：17A0114734

確率的最適制御による形式的検証のための実験設計【Powered by NICT】

Experiment design for formal verification via stochastic optimal control

著者 (3件)： Haesaert S. (Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands) ,  Van den Hof P. M. J. (Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands) ,  Abate A. (Department of Computer Science, Oxford University, UK)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ECC  ページ： 427-432  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 部分的に未知の動力学を持つ系のために開発した測定に基づく統計的検証アプローチ。モデルクラスとして特定される,グレイボックスシステムは与えられた信頼とlineartime論理における公式として表現されたシステム特性を受け入れるまたは拒絶すること可能にする同定実験を行った。信頼レベルの計算と信頼性を増加するための実験設計のためのBayesフレームワークを採用した。実験設計は,確率論的最適制御問題,動的計画法による可解として定式化した。線形制御系に適用した場合,本研究は,制御可能な非決定性(入力)とノイズを含む出力の観測と部分的に既知の動力学の効率的なdatadriven検証を可能にする。力学系の安全性に関する数値的事例研究を用いて,この方法を明らかにすることである。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 非決定性 ,  システム特性 ,  事例研究 ,  動的計画法 ,  雑音 ,  信頼性 ,  定式化 ,  力学系 ,  *最適制御 ,  線形制御系 ,  *実験計画法 ,  安全性 ,  確率論
準シソーラス用語： *形式的検証 ,  *確率的最適制御 , 【Automatic Indexing@JST】

分類 (2件)： システム設計・解析  (IA02030D) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 確率的最適制御 ,  形式的検証 ,  実験設計