空間および時間不確実性を伴うハイブリッドシステム観測のための時間論理推論【JST・京大機械翻訳】

Xu Zhe; Deng Yi; Julius Agung

プレプリント

J-GLOBAL ID：202202203395685433 整理番号：22P0131031

空間および時間不確実性を伴うハイブリッドシステム観測のための時間論理推論【JST・京大機械翻訳】

Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties

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

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

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

本論文では,ハイブリッドシステムの特定の位置を区別するためのハイブリッドシステムオブザーバを構築するためのメカニズムを提示した。この機構は,ハイブリッド系からシミュレートした軌跡から計量時間論理(MTL)公式を推論することにより設計した。著者らはまず,それらのまわりの時間ロバスト管セグメントを有する有限に多くの軌跡をシミュレートすることによって,システム挙動について近似した。これらの時間-ロバスト管セグメントは,初期状態変動を有するハイブリッドシステムに存在する空間的および時間的不確実性の両方を説明する。推定MTL式は,異なる時間-ロバスト管セグメントを分類し,従って,ハイブリッド系挙動を,おそらく正しい方法で分類するために使用できる。スマート建築テストベッドのモデルに関する著者らのアプローチを実装し,2ケースの部屋占有を区別した。【JST・京大機械翻訳】

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

システム設計・解析 , システム同定

, , , ,

前のページに戻る