様相論理を用いたリアルタイムシステムのモデリングに関する一考察 : 交通システムを例にとって
スポンサーリンク
概要
- 論文の詳細を見る
- 2002-03-11
著者
関連論文
- 拘束を伴う線形離散時間システムの量子化フィードバック安定化
- PMSMのセンサレス制御系におけるフレーム振動抑制制御法
- 遺伝的アルゴリズムを用いた永久磁石同期電動機の高周波等価回路の回路定数算定
- 切り換え動作を伴う電力変換器へのモデル予測制御の適用について
- CST2000-2 RTA^* Algorithmとスーパバイザを用いたFMSのリアクティブスケジューリング
- ロジックコントローラによって制御されるシステムのモデルベース故障診断(システムダイナミクスを考慮した故障診断手法)
- 切り替え数可変の区分的アフィンシステムによるタスクモデルの同定とその応用
- 三重大学大学院工学研究科 電気電子工学専攻 制御システム・エネルギーシステム研究室
- 混合論理動的システム論に基づくDC-DCコンバータの制御法
- 混合論理動的システム論に基づく区分的アフィンシステムとサブシステム数の同時同定
- エージェントのグループ化を考慮したPSOによる永久磁石同期電動機の高周波等価回路定数の算出
- モデル予測制御に基づく複数制御器の切り換え法
- 混合論理動的システムを用いたスキルの抽出に関する一考察
- 離散入力の区分的アフィンシステムの同定
- ロジックコントローラによって制御されるシステムの故障診断
- 1A1-S-070 Identification of switched system based on HHARX and its application(ハイブリッドダイナミクスからの新展開,生活を支援するロボメカ技術のメガインテグレーション)
- 線形時間論理命題を伴う離散事象システムの故障診断
- 入力制約を伴うボール位置の切り替え制御(ハイブリッドダイナミクスからの新展開)
- ロジックコントローラによって制御されるシステムの故障検出とその特定に関する一考察
- ハイブリッドシステム論に基づく電動機制御のための電力変換器の切換え制御則についての検討
- ロジックコントローラによって制御されるシステムのシーケンス生成と故障検出に関する一考察
- 区分的一定値入力の切り換えによる制約状態を伴うシステムの可到達性に関する一考察
- 様相論理を用いたリアルタイムシステムのモデリングに関する一考察 : 交通システムを例にとって
- 研究室紹介 三重大学 大学院工学科電気電子工学専攻--パワーエレクトロニクス・インテリジェントシステム・自然エネルギーシステム
- 三重大学大学院工学研究科電気電子工学専攻制御システム・エネルギーシステム研究室 : パワーエレクトロニクス・インテリジェントシステム・自然エネルギーシステム
- 時間論理によるラダー図からSFCへの変換法
- ラダー図におけるデザインリカバリ
- 組立/分解作業手順の学習制御 - 離散事象システム論からのアプローチ -
- ペトリネットを用いた学習型組立/分解作業システムの提案
- 拘束条件の存在する制御系におけるH_∞制御器のスイッチングとスイッチング時の制御器の状態決定法
- 2P2-55-077 H∞制御器の切り換えによる力制御系の実現