コンカレント同期合成でモデル化された離散事象システムの可観測性解析
スポンサーリンク
概要
- 論文の詳細を見る
本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する.対象システムと制御仕様がともにコンカレント同期合成でモデル化される場合,与えられた制御仕様に対して,事象の部分観測のもとでスーパバイザが存在するための必要十分条件は,その制御仕様が可制御可観測となることである.そこで,すべてのサブシステムの制御仕様が可制御可観測となるとき全体システムの制御仕様が可観測となることを示す.さらに,全体システムの制御仕様が可観測のとき,すべてのサブシステムの制御仕様が可観測となる十分条件を示す.
- 2013-01-15
著者
関連論文
- 観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算(ペトリネット,離散事象システム,一般)
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化(研究速報)
- AS-3-6 離散事象システムにおける分散型診断器の最適性(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 離散事象システム
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- CAS2010-22 離散事象システムにおけるオパシティのためのモジュラスーパバイザ制御(システムと信号処理及び一般)
- 離散事象システムにおけるオパシティのためのモジュラスーパパイザ制御(システムと信号処理及び一般)
- 近似モデルに基づく非有界ペトリネットのスーパバイザ制御(コンカレントシステム, 一般)
- 時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化(一般)
- The 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems : Theory and Applications (LSS 2004)
- 時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット及び一般)
- 時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,べトリネット,ニューラルネット及び一般)
- A-12-1 安全性制約をもつ離散事象システムの分散型故障予知診断(A-12.コンカレント工学,一般セッション)
- 離散事象システムにおける可診断性の検証
- 再構成可能システムのための階層的スーパバイザ制御
- 第40回離散事象システム研究会
- A-12-8 時間付き離散事象システムに対するANDルールのもとでの分散スーパバイザの存在条件の簡単化(A-12.コンカレント工学,一般セッション)
- 離散事象システムのロバストスーパバイザ制御
- 離散事象システムのロバストスーパバイザ制御
- ロバストな有限状態スーパバイザ
- 離散事象システムにおける安全性制約をもつ分散型故障予知診断器の存在性の検証(一般,コンカレントシステム及び一般)
- 外部入力プレース付きペトリネットにおける同時進行性と状態フィードバック
- 離散事象システムのスーパバイザ制御理論-I : スーパバイザと可制御性
- 離散事象システムのスーパバイザ制御理論-II : 最大可制御部分言語の計算とその応用
- 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット,及び一般)
- 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット,及び一般)
- 離散事象システムの分散型故障診断における冗長性解析
- 離散事象システムの分散型故障診断における冗長性解析
- 離散事象システムのスーパバイザ制御理論-IV : 分散スーパバイザ制御
- 離散事象システムのスーパバイザ制御理論-III : 部分観測と可観測性
- 離散事象システムの分散型故障診断における冗長性解析
- 事象と状態の観測に基づく非決定離散事象システムの双模倣制御
- 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御
- 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御
- ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証
- 離散事象システムの分散型故障診断における冗長性解析
- A-12-6 時間付き離散事象システムにおける分散スーパバイザの一構成法(A-12.システム数理と応用,一般セッション)
- PTZカメラセンサネットワークにおける協調トラッキング
- ANDルールを用いた離散事象システムの分散型オンライン診断(グラフ、ペトリネット、ニューラルネット及び一般)
- ANDルールを用いた離散事象システムの分散型オンライン診断(グラフ、ペトリネット、ニューラルネット及び一般)
- 抽象化を用いた部分観測離散事象システムの検証(グラフ、ペトリネット、ニューラルネット及び一般)
- 出力フィードバックによるトランジションシステムの模倣制御(グラフ、ペトリネット、ニューラルネット及び一般)
- 抽象化を用いた部分観測離散事象システムの検証(グラフ、ペトリネット、ニューラルネット及び一般)
- 出力フィードバックによるトランジションシステムの模倣制御(グラフ、ペトリネット、ニューラルネット及び一般)
- 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)
- 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)
- 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)
- 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)
- コンカレント同期合成でモデル化された離散事象システムの可観測性解析
- 出力フィードバックによるトランジションシステムの模倣制御(システムと制御)
- ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証
- ANDルールを用いた離散事象システムの分散型オンライン診断