非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 高井 重昌

  京都工芸繊維大学大学院工芸科学研究科

関連論文

• 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
• 非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断
• 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
• 離散事象システムにおける最大可制御オペイク部分言語の計算公式(ハイブリッドシステム,コンカレント工学一般)
• Mealyオートマトンを用いた離散事象システムのモデリング(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• 離散事象システム
• 非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
• 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用(システムと制御)
• ペトリネットによる離散事象システムのモデル化と制御
• 近似モデルに基づく非有界ペトリネットのスーパバイザ制御(コンカレントシステム, 一般)
• 有限オートマトンによる非有界ペトリネットの到達可能グラフの有限近似
• 「組込みシステム技術の最近の動向特集号」 を編集して
• 事象センサの故障を許容する離散事象診断器の存在性(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
• 離散事象システムの故障予知診断について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
• コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件(システムと制御)
• コンカレント離散事象システムのスーパバイザ制御
• 動的なデフォルト制御を用いた分散スーパバイザ制御(コンカレントシステム, 一般)
• ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
• スーパバイザ制御における可観測性とノーマル性の関係
• ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
• 時間付き離散事象システムのスーパバイザ制御(「ハイブリッドシステム : システム制御への新たな視点総合特集号」)
• 離散事象システムの分散スーパバイザ制御
• 任意の制御パターンをもつ部分観測システムのスーパバイザ制御
• 解説 ハイブリッドシステムモデルに基づく制御 (特集 次世代のフルードパワーシステム制御を目指して)
• 強制事象のあるハイブリッドシステムにおける状態フィードバック制御
• max-plus代数ってなに?
• AP-2-1 言語仕様をもつ離散事象システムの可診断性(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)

もっと見る 閉じる

スポンサーリンク