| 大会名称 |
|---|
| 2018年 ソサイエティ大会 |
| 大会コ－ド |
| 2018S |
| 開催年 |
| 2018 |
| 発行日 |
| 2018/8/28 |
| セッション番号 |
| A-10 |
| セッション名 |
| システム数理と応用 |
| 講演日 |
| 2018/9/11 |
| 講演場所(会議室等) |
| 自然科学５号館 2F 大講義室 |
| 講演番号 |
| A-10-10 |
| タイトル |
| LTL制約の下でのAGVシステムの階層的スーパバイザ制御 |
| 著者名 |
| ◎榊原愛海, 潮 俊光, |
| キーワード |
| 離散事象システム, スーパバイザ制御, 線形時相論理, AGVシステム |
| 抄録 |
| 離散事象システムのスーパバイザ制御の応用例の一つに生産システムがある．本稿では，無人搬送車（AGV）システムに対して，各AGVに対する制御仕様とシステム全体に対する制約を，ともに線形時相論理で記述する．これらの制御仕様を満たす階層的スーパバイザを設計する．階層的スーパバイザは，ローカルスーパバイザとコーディネータによって構成される．ローカルスーパバイザは各AGVに対する制御仕様を，コーディネータはシステム全体に対する制約を達成するように設計される． |
| 本文pdf |
|
PDF download
|