観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算(ペトリネット,離散事象システム,一般)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,形式言語に基づく枠組みにおいて,離散事象システムのオパシティを保証する最大許容スーパバイザの構成問題について考察する.オパシティを保証する最大許容スーパバイザは,システムの生成言語の閉じた最大可制御オペイク部分言語を生成するオートマトンによって実現される.そこで,観測マスクをもつ離散事象システムに対して,可観測な不可制御事象に関するある仮定のもとで,最大部分言語の計算公式を導出する.与えられた言語が正規言語である場合,この公式により,最大部分言語が計算可能である.
- 2009-05-27
著者
関連論文
- 観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算(ペトリネット,離散事象システム,一般)
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化(研究速報)
- 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
- Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AS-3-6 離散事象システムにおける分散型診断器の最適性(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 離散事象システム
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)