講演名 2002/5/22
複数バッファ切り替えシステムのMLDによるモデル化と制御
河村 謙, 佐藤 洋平, 久村 富持,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) ハイブリッド・システムは,連続時間的ならびに離散事象的なダイナミクスが混合した構造をもつ.複数の連続時間システム間の離散的遷移は,システムの状態変数がある既定条件を満足したとき瞬時に起る.これらの条件は,状態変数に関する論理式あるいは述語表現で記述されることがあるが,これらの記述に対応して定義された補助変数の導入によって,連続状態変数や離散変数を含む線形の等式あるいは不等式の組に変換できる.得られたシステムはMLD(Mixed Logical Dynamical)システムとよばれている.本報告は,いくつかの拘束条件のもとでの「切り替えサーバシステム(SSS)」の最適制御問題ならびに周期解解法にこのMLD法を適用したものである.制御目的や拘束条件に対応したサーバ切り替え制御方策を,混合整数計画問題への変換を利用して求めた.
抄録(英) Hybrid systems have mixed structure of continuous and discrete dynamics. Discrete changes between continuous systems occur instantaneously when a set of state variables satisfies given conditions. These conditions described in terms of logical expressions or predicates on state variables can be transformed into linear constraint equations and/or inequalities including properly defined auxiliary variables. The resulting system is called mixed logical dynamical (MLD) system. In this report, this MLD method is applied to modeling and control of "switched server systems(SSS)" under several constraints. Optimal control problems of these SSS and periodic solutions existing in the systems are solved by applying mixed integer programming method.
キーワード(和) ハイブリッド・システム / MLDシステム / 切り替えサーバシステム / 最適制御 / 混合整数計画問題
キーワード(英) hybrid systems / mixed logical dynamical (MLD) systems / switched server systems / optimal control / mixed integer programming problems
資料番号 CST2002-1
発行日

研究会情報
研究会 CST
開催期間 2002/5/22(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Concurrent System Technology (CST)
本文の言語 JPN
タイトル(和) 複数バッファ切り替えシステムのMLDによるモデル化と制御
サブタイトル(和)
タイトル(英) Modeling and Control of Switched Server Systems by Mixed Logical Dynamical Method
サブタイトル(和)
キーワード(1)(和/英) ハイブリッド・システム / hybrid systems
キーワード(2)(和/英) MLDシステム / mixed logical dynamical (MLD) systems
キーワード(3)(和/英) 切り替えサーバシステム / switched server systems
キーワード(4)(和/英) 最適制御 / optimal control
キーワード(5)(和/英) 混合整数計画問題 / mixed integer programming problems
第 1 著者 氏名(和/英) 河村 謙 / Ken KAWAMURA
第 1 著者 所属(和/英) 早稲田大学大学院理工学研究科
Graduate School of Science and Engineering, Waseda University
第 2 著者 氏名(和/英) 佐藤 洋平 / Yohei SATO
第 2 著者 所属(和/英) 早稲田大学大学院理工学研究科
Graduate School of Science and Engineering, Waseda University
第 3 著者 氏名(和/英) 久村 富持 / Tomiji HISAMURA
第 3 著者 所属(和/英) 早稲田大学大学院理工学研究科
Graduate School of Science and Engineering, Waseda University
発表年月日 2002/5/22
資料番号 CST2002-1
巻番号(vol) vol.102
号番号(no) 96
ページ範囲 pp.-
ページ数 4
発行日