文献

J-GLOBAL ID：201602270803013544   整理番号：16A1389552

パラメトリック区間確率的時間付きオートマトンにおける一貫性【Powered by NICT】

Consistency in Parametric Interval Probabilistic Timed Automata

著者 (2件)： Andre Etienne ,  Delahaye Benoit
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： TIME  ページ： 110-119  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 確率時間システム,パラメトリック区間確率的時間付きオートマトン,パラメトリック時間付きオートマトンと区間Markov連鎖の拡張に基づくのための新しい抽象定式化を提案した。これに関連して,与えられた仕様は少なくとも一つの実装を許容するかどうかを決定に達することを一貫性問題を考察した。区間確率的時間付きオートマトン(タイミングパラメータ)のコンテキストにおいて,ここでは,この問題は決定可能であるとその解決のための構成的アルゴリズムを提案したことを示さなかった。が終わるときはいつでも一貫性を保証するパラメータ評価の存在は,一般的な状況で決定不能であるが,それを解決する半アルゴリズムを提案したことを示した。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *パラメータ推定 ,  Markov連鎖 ,  定式化 ,  アルゴリズム
準シソーラス用語： *時間付きオートマトン , 【Automatic Indexing@JST】

分類 (2件)： パターン認識  (JE07000S) ,  信号理論  (ND02020G)

タイトルに関連する用語 (2件)： 確率 ,  時間付きオートマトン