線形時間論理命題を伴う離散事象システムの故障診断
スポンサーリンク
概要
- 論文の詳細を見る
Diagnosis for discrete event systems has been investigated. In this paper, authors examine a state estimation problem of a system modeled by a finite state automaton in which each state has its corresponding logical formulas. We formalize a diagnosis problem of truth values of atomic propositions which constitute the logical formulas. Our approach to the problem is based on the discrete event system theory by use of linear-time temporal logic.
- 社団法人 電気学会の論文
- 2005-03-01
著者
-
石田 宗秋
三重大学工学部電気電子工学科
-
残間 忠直
三重大学大学院工学研究科
-
残間 忠直
三重大学工学部
-
残間 忠直
三重大学
-
石田 宗秋
三重大学
-
石田 宗秋
三重大学工学部
-
青山 秀
シャープ株式会社
関連論文
- 中性点電圧に現れる回転子スロット高調波を利用した超高速駆動誘導電動機の速度推定法
- 拘束を伴う線形離散時間システムの量子化フィードバック安定化
- マトリックスコンバータを用いた配電系統の性能向上に関する研究 (電子通信エネルギー技術)
- PMSMのセンサレス制御系におけるフレーム振動抑制制御法
- 遺伝的アルゴリズムを用いた永久磁石同期電動機の高周波等価回路の回路定数算定
- 切り換え動作を伴う電力変換器へのモデル予測制御の適用について
- SynRMのセンサレス制御のためのq軸インダクタンスの過渡時を考慮した設定法
- 誘導電動機の超高速駆動のための回転子スロット高調波を利用したセンサレス制御法
- 世界最先端の環境配慮型工場 : シャープ亀山工場
- CST2000-2 RTA^* Algorithmとスーパバイザを用いたFMSのリアクティブスケジューリング