文献

J-GLOBAL ID：201802252614806964   整理番号：18A0188542

合成形式的植物モデルを用いた補償群駆動モデルの閉ループ検証【Powered by NICT】

Closed-loop verification of a compensating group drive model using synthesized formal plant model

著者 (4件)： Ovsiannikova Polina (Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia) ,  Chivilikhin Daniil (Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia) ,  Ulyantsev Vladimir (Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia) ,  Shalyto Anatoly (Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ETFA  ページ： 1-4  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サイバーフィジカルシステムは人間活動の複数ドメイン間の広がっている。それらの最も重要であるとしてそれらの挙動を厳密に検証する必要がある。システム正当性を確実にする1つの見方方向はモデル検査を用いた検証である。サイバーフィジカルシステムの閉ループモデル検査のための新しい方法を最近自動形式的プラントモデル合成とそれに続く時間特性検証を含んでいることを紹介した。形式モデルは,シミュレーションモデルから収集したトレースに基づいて推定した。,全閉ループシステムのための時間特性の検証はNuSMVツールを用いて行うことができる。本論文の主な目的は,著者等の産業パートナーによって提供された補償群駆動シミュレーションモデルの例に関する事例研究を行うことにより前述の方法の適用性を調べることである。Copyright 2018 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件)： 計算機システム開発  (JD02010R) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 植物 ,  モデル ,  補償 ,  検証