電子情報通信学会ソサイエティ大会講演要旨
A-10-10
LTL制約の下でのAGVシステムの階層的スーパバイザ制御
◎榊原愛海・潮 俊光(阪大)
離散事象システムのスーパバイザ制御の応用例の一つに生産システムがある.本稿では,無人搬送車(AGV)システムに対して,各AGVに対する制御仕様とシステム全体に対する制約を,ともに線形時相論理で記述する.これらの制御仕様を満たす階層的スーパバイザを設計する.階層的スーパバイザは,ローカルスーパバイザとコーディネータによって構成される.ローカルスーパバイザは各AGVに対する制御仕様を,コーディネータはシステム全体に対する制約を達成するように設計される.