LTL[F]制御仕様の下でのスーパバイザ制御

• 榊原 愛海

  大阪大学

• 潮 俊光

  大阪大学

書誌事項

タイトル別名

• Supervisory Control under LTL[F] Constraints

収録刊行物

• 自動制御連合講演会講演論文集

  自動制御連合講演会講演論文集 61 (0), 1652-1653, 2018

  自動制御連合講演会

キーワード

• スーパバイザ制御
• 離散事象システム
• LTL[F]

詳細情報

• CRID: 1390845713034359296
• NII論文ID: 130007546634
• DOI: 10.11511/jacc.61.0_1652
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • CiNii Articles