時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析

HANDLE Web Site 参考文献7件 オープンアクセス

書誌事項

タイトル別名
  • Reachability Analysis for Probabilistic Timed System based on Timed Abstraction Refinement Technique
  • ジカン チュウショウ ヲ オコナウ センレン シュホウ ヲ モチイタ カクリツ ジカン システム ノ トウタツ カノウセイ カイセキ

この論文をさがす

抄録

本稿では,確率時間オートマトンのCEGARを用いた到達可能性解析を行う手法を提案する.確率時間システムでは,反例となるパスの組み合わせが各ロケーションにおける時間経過によって変動するため,単純に複数個のパスの探索では正しい反例を提示できない.本稿で提案する手法では,そのパスの組み合わせを決定するために,元モデルの等価変換を行うことで解決している.

収録刊行物

参考文献 (7)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ