ハイブリッドシステムの制御-II : モデリング
ハイブリッドシステムの制御-II : モデリング
复制标题
混合系统控制-II：建模
DOI：
10.11509/isciesci.51.7_306
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
順一 井村
中科院分区：
文献类型：
--
作者：
順一 井村
1. は じめ に第 1 表 真理値表第 1 回で は, ハ イブ リッ ドシ ス テ ム の 制御に 関する研究の 金 体像 を概観 した. と くに, ハ イブ リッ ドシ ス テ ムの モ デル と して, ハ イブ リッ ドオートマ タ (HA), 区分的ア フ ァ イ ン(PWA) シス テ ム, 線形相補性 (LC) シス テ ム, 混合論理動的 (MLD) シ ス テ ム を例題を交えて紹介 し, また, こ れらの モ デル が表現能力の 意味で 等価で ある, す なわ ち, 一方で 表現可 能で あれば他方 で も表現 可能で ある こ とを紹介 した. 今回は, こ の 事実を踏まえて 混合論理動的シ ス テ ム モデル [1] に焦点 を絞 り, その モ デ リン グ法を詳述する. 類似の 解説は [2, 3] などがあるが, 証明や多くの 具体例 を含め て, よ り実践的な立場か ら解説するこ とを試み る. まず, 命題論理 をい か に O− 1 変数 を用い た線形不等式で 表現する か につ い て 詳述する. つ ぎに, MLD シ ス テ ム の