抽象化を用いた部分観測離散事象システムの検証 (システム数理と応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 2012-11-01

著者

• 高井 重昌

  大阪大学

関連論文

• 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
• 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
• Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
• 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
• ペトリネットによる離散事象システムのモデル化と制御
• 有限オートマトンによる非有界ペトリネットの到達可能グラフの有限近似
• 「組込みシステム技術の最近の動向特集号」 を編集して
• Synchronous Composition によるスーパバイザ制御
• コンカレント離散事象システムのスーパバイザ制御
• 動的なデフォルト制御を用いた分散スーパバイザ制御(コンカレントシステム, 一般)
• ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
• スーパバイザ制御における可観測性とノーマル性の関係
• ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
• 時間付き離散事象システムのスーパバイザ制御(「ハイブリッドシステム : システム制御への新たな視点総合特集号」)
• 離散事象システムの分散スーパバイザ制御
• 任意の制御パターンをもつ部分観測システムのスーパバイザ制御
• 時間付きイベントグラフにおいて実現可能な発火時刻系列集合
• 部分観測のもとでのペトリネットのモジュラ制御
• 事象と状態の部分観測によるスーパバイザ制御-不可観測事象をもつシステムへの拡張
• 解説 ハイブリッドシステムモデルに基づく制御 (特集 次世代のフルードパワーシステム制御を目指して)
• 強制事象のあるハイブリッドシステムにおける状態フィードバック制御
• max-plus代数ってなに?
• 非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断
• A-12-8 時間付き離散事象システムに対するANDルールのもとでの分散スーパバイザの存在条件の簡単化(A-12.コンカレント工学,一般セッション)
• 離散事象システムにおける安全性制約をもつ分散型故障予知診断器の存在性の検証(一般,コンカレントシステム及び一般)
• 非決定出力関数をもつ Mealy オートマトンで表現される離散事象システムの診断
• IFAC Conference on System Stucture and Control
• コンプリメントなプレースからなるペトリネットと禁止マーキング問題
• max-plus代数による離散事象制御
• 束理論による離散事象システムの状態フィードバック制御
• 離散事象システムにおけるコマンド型スーパバイザ制御
• 1995 American Control Conferenceに出席して
• 外部入力プレース付き時間ペトリネットにおける最大許容フィードバック
• 離散事象システムにおけるΓ-可制御性と状態フィールドバック
• 事象と状態の部分観測のもとでの離散事象 システムのスーパバイザ制御
• 外部入力プレース付きペトリネットにおける部分観測と許容フィードバック
• 離散事象システムにおける分散状態フィードバックの存在性
• 離散事象システムにおける部分観測のもとでの状態フィードバックの存在条件
• 大規模離散事象システムにおける分離状態フィードバックの構成法
• 大規模離散事象システムの分散状態フィードバック制御
• ブロッキングが発生しない離散事象システムの状態フィードバック制御
• 離散事象システムのスーパバイザ制御理論-I : スーパバイザと可制御性
• Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (システム数理と応用)
• Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (信号処理)
• Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (VLSI設計技術)
• Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems (回路とシステム)
• 離散事象システムのスーパバイザ制御理論-II : 最大可制御部分言語の計算とその応用
• 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット,及び一般)
• 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御(グラフ,ペトリネット,ニューラルネット,及び一般)
• ハイブリッドシステムモデルに基づく制御
• 離散事象システムの分散型故障診断における冗長性解析
• 離散事象システムの分散型故障診断における冗長性解析
• 抽象化を用いた部分観測離散事象システムの検証 (システム数理と応用)
• 離散事象システムのスーパバイザ制御理論-IV : 分散スーパバイザ制御
• ANDルールを用いた離散事象システムの分散型オンライン診断 (システム数理と応用)
• 出力フィードバックによるトランジションシステムの模倣制御 (システム数理と応用)
• 出力フィードバックによるトランジションシステムの模倣制御 (回路とシステム)
• 離散事象システムのスーパバイザ制御理論-III : 部分観測と可観測性
• 事象と状態の観測に基づく非決定離散事象システムの双模倣制御
• ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証
• ANDルールを用いた離散事象システムの分散型オンライン診断(グラフ、ペトリネット、ニューラルネット及び一般)
• ANDルールを用いた離散事象システムの分散型オンライン診断(グラフ、ペトリネット、ニューラルネット及び一般)
• 抽象化を用いた部分観測離散事象システムの検証(グラフ、ペトリネット、ニューラルネット及び一般)
• 出力フィードバックによるトランジションシステムの模倣制御(グラフ、ペトリネット、ニューラルネット及び一般)
• 抽象化を用いた部分観測離散事象システムの検証(グラフ、ペトリネット、ニューラルネット及び一般)
• 出力フィードバックによるトランジションシステムの模倣制御(グラフ、ペトリネット、ニューラルネット及び一般)
• 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)
• 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)
• 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)
• 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般)

もっと見る 閉じる

スポンサーリンク