離散事象システムのロバストスーパバイザ制御
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, システムの正確なモデルがあるモデル集合の要素に含まれることのみがわかっている状況を考える. このとき, モデル集合のすべての要素に対して所望の振る舞いを実現するロバストなスーパバイザを構成する必要がある. Linは仕様言語がモデル集合のすべての要素の生成言語の部分言語であるという仮定のもとで, ロバストなスーパバイザが存在するための必要十分条件を与えている. 本稿ではそのような仮定をおくことなく, ロバストなスーパバイザが存在するための必要十分条件を導出し, すべてのロバストなスーパバイザの特徴づけを行う.
- 社団法人電子情報通信学会の論文
- 1997-11-27
著者
関連論文
- 観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算(ペトリネット,離散事象システム,一般)
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化(研究速報)
- 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
- Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AS-3-6 離散事象システムにおける分散型診断器の最適性(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 離散事象システム
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)