線形時間論理命題を伴う離散事象システムの故障診断
スポンサーリンク
概要
- 論文の詳細を見る
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のリアクティブスケジューリング
- 単相3線式マトリックスコンバータの特性
- マトリックスコンバータを用いた配電系統の性能向上に関する研究
- 出力制御性能の向上に着目したマトリックスコンバータの空間ベクトル変調法
- マトリックスコンバータのスイッチング回数低減に着目した直接形空間ベクトル変調法
- PWMインバータを用いたフラッシュ溶接制御 : インバータ制御とメカニカル制御の協調制御
- フラッシュ溶接のためのIGBTインバータ制御 : インバータフラッシュ制御とメカニカル制御の協調制御
- PWMインバータのフラッシュ溶接制御への応用
- PWMインバータによるジュール加熱優先フラッシュ制御法 : PWMインバータを用いたフラッシュ溶接制御法の研究(第3報)
- PWMインバータによる連続フラッシュ制御法 : PWMインバータを用いたフラッシュ溶接制御法の研究(第2報)
- 方形波交流フラッシュ現象について : PWMインバータを用いたフラッシュ溶接制御法の研究(第1報)
- アクティブフィルタを用いた電圧・電流ベクトル軌跡利用高調波発生源探索法 (第141回〔パワーエレクトロニクス研究会〕定例研究会)
- ロジックコントローラによって制御されるシステムのモデルベース故障診断(システムダイナミクスを考慮した故障診断手法)
- 切り替え数可変の区分的アフィンシステムによるタスクモデルの同定とその応用
- 三重大学大学院工学研究科 電気電子工学専攻 制御システム・エネルギーシステム研究室
- 混合論理動的システム論に基づくDC-DCコンバータの制御法
- 混合論理動的システム論に基づく区分的アフィンシステムとサブシステム数の同時同定
- エージェントのグループ化を考慮したPSOによる永久磁石同期電動機の高周波等価回路定数の算出
- モデル予測制御に基づく複数制御器の切り換え法
- 混合論理動的システムを用いたスキルの抽出に関する一考察
- 離散入力の区分的アフィンシステムの同定
- ロジックコントローラによって制御されるシステムの故障診断
- 1A1-S-070 Identification of switched system based on HHARX and its application(ハイブリッドダイナミクスからの新展開,生活を支援するロボメカ技術のメガインテグレーション)
- 線形時間論理命題を伴う離散事象システムの故障診断
- 入力制約を伴うボール位置の切り替え制御(ハイブリッドダイナミクスからの新展開)
- ロジックコントローラによって制御されるシステムの故障検出とその特定に関する一考察
- ハイブリッドシステム論に基づく電動機制御のための電力変換器の切換え制御則についての検討
- ロジックコントローラによって制御されるシステムのシーケンス生成と故障検出に関する一考察
- 区分的一定値入力の切り換えによる制約状態を伴うシステムの可到達性に関する一考察
- 様相論理を用いたリアルタイムシステムのモデリングに関する一考察 : 交通システムを例にとって
- 誘導電動機のセンサレス制御のための回転子スロット高調波数式モデルの提案
- システム同定に基づく永久磁石同期電動機の高周波数式モデルの同定
- 新メカトロ技術の事業化研究
- 超音波反射波におけるハーモニックイメージングの研究 : マイクロバブル製剤による時間減衰特性の差異
- 複合型自然エネルギー利用発電システムにおけるFW電力貯蔵装置の応答性の向上
- 複合型自然エネルギー利用発電システムにおけるFW電力貯蔵装置の応答性の向上(パワーエレクトロニクス及び半導体電力変換一般)
- バイオマスガスタービン発電機とフライホイール電力貯蔵装置を用いた風力発電の変動電力補償法
- 模擬装置開発に向けた燃料電池の電気的等価モデルの構築 (第175回[パワーエレクトロニクス学会]定例研究会)
- バイオマスガスタービンとフライホイールを用いた風力発電の電力補償法 : 電力容量に関する一検討
- バイオマスガスタービンとフライホイールを用いた風力発電の電力補償法 : 電力容量に関する一検討(エネルギー技術,半導体変換技術,一般)
- 研究室紹介 三重大学 大学院工学科電気電子工学専攻--パワーエレクトロニクス・インテリジェントシステム・自然エネルギーシステム
- 統計的な識別関数を用いた煙濃度時系列からの初期火災判断システム
- カラー濃淡画像からの指先位置による背景の文字列領域抽出法
- 方向指数ヒストグラム法を用いた煙濃度時系列からの火災原因の推定
- 煙濃度時系列データを用いた円近似法による火災判断システム
- 表形式文書を対象とした領域分割法とHTMLファイルの自動生成法
- 表形式文書を対象とした節点判別法によるHTMLファイルの自動生成
- 表形式文書を対象とした節点判別法によるHTMLファイルの自動生成
- 表形式文書を対象とした領域分割法とHTMLファイルの自動生成法
- 手書き文書画像からの文字列切り出し方法
- 新聞のTV番組欄を対象とした領域分割法
- カラー濃淡画像からの手領域の抽出と指先位置の特定方法
- カラー濃淡画像からの手領域の抽出と指先位置の特定方法
- 手書き文字認識のための文字列切り出し方法
- 高次数外乱オブザーバを用いたサーボシステムの設計法 -二次安定化制御に基づくロバスト安定度の最適化-
- 外乱オブザーバの高次数化とロバスト安定性に関する考察
- 圧電縦効果を利用した進行波型圧電モータ
- バイオマスガスタービン発電機を用いた風力発電の低周波電力補償法の提案
- アクティブフィルタを用いた電力系統高調波発生源探索法
- パワーアンプを用いた組合せ型アクティブフィルタに関する一考察
- フィードフォワード補償制御を利用した3相HB形ステッピングモータの振動抑制制御
- フーリエ変換を利用したパラメータ自動調整機能付き繰返し制御によるPMSMの振動抑制制御
- フーリエ変換を利用した繰返し制御によるブラシレスDCモータのトルク振動抑制制御
- 加速度センサを利用した繰返し制御による3相HB形ステッピングモータの振動抑制制御-フィードフォワード補償信号の学習法-
- PWMインバータ駆動誘導電動機の高周波等価回路
- 加速度センサを用いたブラシレスDCモータの脈動トルク補償信号生成法 : フーリエ変換を組み込んだ繰返し制御利用
- 直列共振形高周波ACリンクDC-ACコンバータの改良形出力電圧リアルタイム制 御
- PWMインバータ駆動永久磁石同期電動機の高周波等価回路
- 多重電流制御系によるPMSMの高調波電流抑制
- アクティブフィルタを用いた系統高調波モデル同定法の実験的考察
- ΔΣ変調に基づくパルスニューラルネットワークによるBP学習の実現とそのハードウェア実装(バイオサイバネティックス, ニューロコンピューティング)
- PMSM制御性能改善のための繰返し制御を用いた高調波電流抑制
- △Σ変調に基づくパルスニューロンによる活性化関数の実現手法とそのハードウェア
- フーリエ変換と繰返し制御を用いた高調波電流抑制による IPMSM センサレス制御系の特性改善
- 誤差逆伝搬学習機能をもつΔΣ変調に基づくパルスニューラルネットワークのハードウェア実装
- PWMインバータ駆動誘導電動機の高周波零相分等価回路
- 三相4線式昇圧形マトリックスコンバータの制御法
- 直列共振形高周波ACリンクDC-ACコンバータを用いたアクティブフィルタの制御特性
- 誘導電動機の速度センサレス制御のための回転子スロット高調波モデルの提案
- 三相4線式昇圧形マトリックスコンバータの制御法の改善
- 外乱オブザーバの次数調整によるサーボ系の位置と力の2階微分量制御の実現
- 環境変動を補償するオブザーバを用いた力の2階微分量に基づくモータの力制御
- 外乱オブザーバによる作業座標空間でのダイレクトドライブロボットの位置と力のハイブリッド制御
- 三重大学大学院工学研究科電気電子工学専攻制御システム・エネルギーシステム研究室 : パワーエレクトロニクス・インテリジェントシステム・自然エネルギーシステム
- 時間論理によるラダー図からSFCへの変換法
- ラダー図におけるデザインリカバリ
- 組立/分解作業手順の学習制御 - 離散事象システム論からのアプローチ -
- ペトリネットを用いた学習型組立/分解作業システムの提案
- 拘束条件の存在する制御系におけるH_∞制御器のスイッチングとスイッチング時の制御器の状態決定法
- 2P2-55-077 H∞制御器の切り換えによる力制御系の実現
- 複素ベクトル表現を用いた周期外乱オブザーバに基づくPMモータのトルクリプル抑制制御法