| 大会名称 |
|---|
| 2016年 総合大会 |
| 大会コ－ド |
| 2016G |
| 開催年 |
| 2016 |
| 発行日 |
| 2016/3/1 |
| セッション番号 |
| A-10 |
| セッション名 |
| システム数理と応用 |
| 講演日 |
| 2016/3/15 |
| 講演場所(会議室等) |
| 総合学習プラザ 2F 第13講義室 |
| 講演番号 |
| A-10-6 |
| タイトル |
| LTL制約の下での定量的離散事象システムの最適制御器設計 |
| 著者名 |
| ◎榊原愛海, Sasinee Pruekprasert, 潮 俊光, |
| キーワード |
| 離散事象システム, 最適制御, 線形時相論理 |
| 抄録 |
| 離散事象システムにおいて高々一つの可制御事象の生起を許容する制御器をディレクタという．一方，論理的な制御仕様の記述に線形時相論理(LTL)が有効であることが知られている．筆者らは，LTL制御仕様を満たしつつ平均利得が最適になるようなディレクタの設計アルゴリズムを提案している．本報告では，可制御事象と不可制御事象の影響を独立に考慮する探索木を構成することで，より効率的なアルゴリズムを実現する． |
| 本文pdf |
|
PDF download
|