10:20 〜 10:40
[1N1-GS-5-02] 離散制御器合成におけるメイクスパン比較時間削減のための部分問題化アルゴリズム
キーワード：離散制御器合成、リアクティブシステム、Labeled Transition System
システムにおいて，同じ目標を達成するとしても，さまざまな評価指標によって最適な達成方法は異なる．その考え方はイベントベースで動くシステムにしても同様であり，定性的メイクスパン比較と呼ばれる研究では，定性的な実行時間データから時間効率的に最効率，かつ安全性が保証された目標の達成プロセスを自動合成するアルゴリズムを提供した．しかし，従来の定性的メイクスパン比較において，最適なメイクスパンの比較問題を解く計算コストは，対象システムの分岐数に応じて増大してしまう課題が存在する．そこで，本論文ではこの課題を解決するために，モデルの収束点に注目したメイクスパン比較問題の部分問題化アルゴリズムを提案する．本提案手法は、モデルにおける関節点を探索することにより比較すべき分岐の収束点を見つけ出し比較問題をサブ問題化し、部分問題ごとにメイクスパン比較を行うことで全体での計算コストを削減する．本提案手法は複数パターンのモデルに対して実験し，単一の終了状態への収束性を有し複数の部分問題と偶発性を有する分岐で構成されたモデルに対し生成コントローラの等価性を有しながら実行時間の削減に成功したことがわかった．
講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。