コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件(システムと制御)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,複数の事象の同時生起を許したコンカレント離散事象システムにおけるスーパバイザの存在性について考察する.従来研究において,コンカレント離散事象システムに対するスーパバイザが存在するための必要十分条件は,制御仕様として与えられた空でない閉じた言語が可制御かつConcurrently Well-Posed (CWP)であるということが示されている.本論文では,対象システムと制御仕様がともにコンカレント同期合成でモデル化されるという仮定のもとでは,制御仕様は常にCWP性を満足し,スーパバイザが存在するための必要十分条件は,制御仕様の可制御性のみとなることを示す.このスーパバイザの存在条件の簡単化により,存在条件を判定するための計算量が軽減される.
- 2007-10-01
著者
-
森 武宏
京都工芸繊維大学工芸学部
-
高井 重昌
京都工芸繊維大学大学院工芸科学研究科:(現)大阪大学大学院工学研究科
-
高井 重昌
京都工芸繊維大学大学院工芸科学研究科
-
高井 重昌
京都工芸繊維大学
-
森 武宏
京都工芸繊維大学 大学院 情報工学専攻
-
森 武宏
京都工芸繊維大学大学院 工芸科学研究科
-
北村 敦司
京都工芸繊維大学大学院工芸科学研究科
関連論文
- 複素リカレントニューラルネットワークの大域的安定性解析と凸計画問題への応用(非線形問題)
- 共通リヤプノフ関数問題 : 背景・現状・課題
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 事象センサの故障を考慮した離散事象システムの診断(システムと制御)
- 非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断
- 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
- 離散事象システムにおける最大可制御オペイク部分言語の計算公式(ハイブリッドシステム,コンカレント工学一般)
- Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 区間プラントを含むルーリエ系に対するポポフの定理の適用について
- 離散事象システム
- 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
- 複素ニューラルネットワークのエネルギー関数について
- 複素数値化した自己相関形連想記憶のダイナミックスに関する理論的考察
- 複素ニューラルネットワークに対するエネルギー関数について
- 自己相関型複素数値連想記憶の構成とその解析
- 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
- ペトリネットによる離散事象システムのモデル化と制御
- 近似モデルに基づく非有界ペトリネットのスーパバイザ制御(コンカレントシステム, 一般)
- 有限オートマトンによる非有界ペトリネットの到達可能グラフの有限近似
- Haddadの方法によるファジィ制御系の安定解析
- The 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems : Theory and Applications (LSS 2004)
- 「組込みシステム技術の最近の動向特集号」 を編集して
- 画像生成モデルを内包した学習による陰影画像からの形状復元法 : パラメータ群の同時推定による復元精度の改善
- 画像生成モデルを内包した学習による陰影画像からの形状復元問題の汎用性のある解法
- ニューラルネットワークを用いた陰影画像からの形状復元法 : 物体表面の反射特性の同時推定
- ニューラルネットワークを用いた画像の動き場の推定法 : マッチング法と勾配法の融合
- 局所的対称性の乱れを用いたロバスト画像認識法
- ニューラルネットワークを用いた画像生成モデルの学習による物体形状の汎用的な復元法
- 視覚情報融合に基づくロバストな画像認識のためのパタン記述の生成法
- ニューラルネットワークの学習による画像の動き場推定法
- ニューラルネットワークの学習による画像の動き場推定法
- ニューラルネットワークの学習によるベクトル場の近似
- 導関数群の融合に基づく未知関数の近似
- パラメータ空間におけるロバスト安定度 - Tsypkin-Polyak 定理の一拡張
- パラメータ空間における最大シュール安定超球
- 運転データに基づく冷凍・冷蔵ショーケースの胡椒予測手法の提案
- ルックアップテーブルを利用したファジィ制御のオートチューニング方法
- 設置環境適応機能を考慮したパッケージエアコンのファジィ冷媒制御
- 事象センサの故障を許容する離散事象診断器の存在性(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- 離散事象システムの故障予知診断について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 発現パターンに基づく遺伝子ネットワークの学習による設計法
- 多項式 Schur 安定性の拡張優勢条件
- 複素リカレントニューラルネットワークの大域的漸近安定性条件とその応用
- 線形むだ時間システムの代数的安定条件
- デルタ演算子ダイヤモンド多項式における端点結果について
- 実多項式の減衰度指定Hurwitz安定性について
- 学習によるニューラルオシレータの実現
- 方向付き安定半径を用いた区間デルタ演算子システムの安定解析
- 共通リヤプノフ関数を持つシステムサブクラス間の関係について
- 実多項式のHurwitz安定性のいくつかの十分条件
- ニ次行列多項式システムの過減衰条件
- リカレントスパイキングニューラルネットワークの学習法-過度および振動性のスパイク列の学習
- 微分不可能関数最適化法を用いたフィードバック安定半径改善
- コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件(システムと制御)
- コンカレント離散事象システムのスーパバイザ制御
- 再構成可能システムのための階層的スーパバイザ制御
- 動的なデフォルト制御を用いた分散スーパバイザ制御(コンカレントシステム, 一般)
- ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
- スーパバイザ制御における可観測性とノーマル性の関係
- ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
- 時間付き離散事象システムのスーパバイザ制御(「ハイブリッドシステム : システム制御への新たな視点総合特集号」)
- 離散事象システムの分散スーパバイザ制御
- 任意の制御パターンをもつ部分観測システムのスーパバイザ制御
- 決定性有限オートマトンのニューラルネットワーク表現と同定法
- 解説 ハイブリッドシステムモデルに基づく制御 (特集 次世代のフルードパワーシステム制御を目指して)
- 強制事象のあるハイブリッドシステムにおける状態フィードバック制御
- max-plus代数ってなに?
- 第40回離散事象システム研究会
- AP-2-1 言語仕様をもつ離散事象システムの可診断性(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- 区間ゲインペクトルを含む1入力レギュレータ系における最適性保存
- Existence Conditions of a Common Lyapunov Function for a Pair of Second Order Systems
- パラメータを含むSchur性表現に基づく実多項式安定性の十分条件
- パラメータ空間における多項式安定性理論の基礎-V-安定半径
- パラメータ空間における多項式安定性理論の基礎-III -エッジ定理
- パラメータ空間における多項式安定性理論の基礎 - II - Kharitonovの定理
- パラメータ空間における多項式安定性理論の基礎 - I - 多項式安定性の解析諸法
- パラメータ空間における多項式安定性理論の基礎-IV-セグメント多項式の安定性
- 行列シュール安定超立方体の簡易推定
- 行列安定超立方体の簡単な推定法
- フルヴィッツ規範によるカリトノフの定理の証明
- ランバートW関数による線形むだ時間システムの付加動特性解析
- 多項式凸結合のシュール安定性判定のための代数的方法
- 区間多項式の離散時間非振動条件
- 行列ポリトープの安定度下界とその応用 - 離散時間の場合
- 共通リヤプノフ関数を持つ連続時間線形システムのクラス-同時三角化可能な係数行列を持つシステム
- 記憶パターンの安定性を考慮した連想記憶の実現法とその性能に関する実験的考察
- 区間パラメータを含む一入力レギュレータ系における最適性保存
- 極配置-安定半径改善問題の一解法
- 多項式ポリトープ解析のための Stability Feeler の提案
- デルタ演算子多項式ポリトープの安定判別法
- 対象の滑らかさを考慮したニューラルネットワークの学習法
- フルビッツ多項式における偏角増加条件とその応用
- ニューラルネットワークを用いたベクトル場の特徴分離と再構成
- International Workshop on Robust Control - IFAC Working Group on Robust Control に参加して
- 零端点係数をもつ区間多項式の安定性--Kharitonovの定理成立の吟味
- 多項式凸結合の簡単な安定判別アルゴリズム