コンカレントな同期合成でモデル化された離散事象システムのスーパバイザ制御

北村 敦司; 高井 重昌; 森 武宏

doi:10.11509/sci.SCI06.0.276.0

第50回システム制御情報学会研究発表講演会

セッションID: 7F2-3

DOI https://doi.org/10.11509/sci.SCI06.0.276.0

会議情報

主催: システム制御情報学会

コンカレントな同期合成でモデル化された離散事象システムのスーパバイザ制御

*北村敦司, 高井重昌, 森武宏

著者情報

キーワード: 離散事象システム, スーパバイザ制御, コンカレントな同期合成, 可制御性

会議録・要旨集フリー

詳細

抄録

本稿では，コンカレントな同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する．対象システムと制御仕様がともにコンカレントな同期合成でモデル化されるという仮定のもとでは，制御仕様は常にConcurrently Well-Posedとなり，スーパバイザが存在するための必要十分条件は，制御仕様の可制御性のみとなることを示す．

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）