サイバー-物理システムの確率的計算【JST・京大機械翻訳】

Lanotte Ruggero; Merro Massimo; Tini Simone

プレプリント

J-GLOBAL ID：202202215743219067 整理番号：21P0004636

サイバー-物理システムの確率的計算【JST・京大機械翻訳】

A Probabilistic Calculus of Cyber-Physical Systems

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2017年07月07日プレプリントサーバーでの情報更新日： 2020年04月27日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

サイバー物理システム(CPS)のモデリングと推論のためのハイブリッド確率的プロセス計算を提案した。この計算の動力学を,PlotkinのSOSスタイルにおける確率的ラベル付き遷移システムに関して表現した。これを用いて,組成推論をサポートするバイシミュレーションベースの確率的行動意味論を定義した。CPS間のより注意深い比較のために,著者らは,有界計算の場合において,システム間の行動距離の概念を定式化するための2つの組成確率的メトリックスを提供した。最後に,工学的応用から取られた非自明な事例研究を提供し,CPSsのための著者らの定義と著者らの組成行動理論を例証するためにそれを使用した。【JST・京大機械翻訳】

, , , ,
, , , 【Automatic Indexing@JST】

システム・制御理論一般

, ,

前のページに戻る