文献

J-GLOBAL ID：202002271721609146   整理番号：20A0778456

サイバー物理システムのためのモデル適合性 調査【JST・京大機械翻訳】

Model Conformance for Cyber-Physical Systems A Survey

著者 (4件)： Roehm Hendrik (Robert Bosch GmbH, Boltzmannstr) ,  Oehlerking Jens (Robert Bosch GmbH, Boltzmannstr) ,  Woehrle Matthias (Robert Bosch GmbH, Boltzmannstr) ,  Althoff Matthias (TU Munich)
資料名： ACM Transactions on Cyber-Physical Systems  (ACM Transactions on Cyber-Physical Systems)
巻： 3  号： 3  ページ： 1-26  発行年： 2019年 
JST資料番号： W5692A  ISSN： 2378-962X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モデルベースの開発は,サイバー物理システム(CPS)を開発するための重要なパラダイムである。基礎となる仮定は,モデルの機能的挙動が,より多くのコンクリート化モデルまたは実際のシステムの挙動に関連するということである。このような関係の形式的定義は適合関係と呼ばれる。多様な適合関係があり,問題はCPSの開発のための適合関係を選択する方法について生じる。本論文の貢献は,CPSのための適合関係の定義とアルゴリズムの調査である。さらに,本論文では,いくつかの適合関係を比較し,特定の問題に対する選択との関係に関する指針を提供した。最後に,適合性を試験するための入力を選択する方法を検討した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 適応性 ,  精密化 ,  等価性 ,  射影 ,  近似法 ,  類似性 ,  アルゴリズム ,  計算機シミュレーション ,  シミュレーション ,  言語 ,  *コンクリート
準シソーラス用語： モデルベース , 【Automatic Indexing@JST】

著者キーワード (29件)： サイバー物理システム ,  Skrokhod適合 ,  近似バイシミュレーション ,  近似言語包含 ,  近似シミュレーション ,  近似トレース適合 ,  行動包含 ,  バイシミュレーション ,  適合関係 ,  適合試験 ,  連続シミュレーション ,  イプシロン-デルタ類似性 ,  HIOCO ,  ハイブリッド入出力適合 ,  ハイブリッドシステム ,  実装関係 ,  入出力適合シミュレーション ,  入出力等価性 ,  言語等価性 ,  言語包含 ,  射影関係精密化 ,  QRIOCO ,  適格推論入力出力適合性 ,  到達集合適合 ,  精密化 ,  タウ-イプシロンの近接性 ,  トレース適合 ,  トレース等価性 ,  検証

分類 (2件)： オペレーションズリサーチ一般  (KA03010Q) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 物理 ,  モデル ,  適合性 ,  調査