ハイブリッドシステムのサンプル値制御における制御不変性(グラフ,ペトリネット,ニューラルネット及び一般)

元データ 2007-11-22

概要

ハイブリッドシステムをサンプル値制御によって状態フィードバック制御する場合を考える.制御仕様は述語で与えられとする.このとき,制御対象をハイブリッドオートマトンで表現し,離散事象システムで重要な概念である制御不変性を拡張する.まず,サンプル値制御系のセマンティクスをトランジションシステムとして定式化し,システムが制御不変であるための必要十分条件を導出する.そして,制御仕様として与えられた任意の述語に対して,最大制御不変部分述語が存在することを示し,その計算手法を提案する.

著者

潮 俊光 大阪大学大学院基礎工学研究科
土江 慶幸 大阪大学大学院基礎工学研究科
土江 慶幸 大阪大学大学院基礎工学研究科システム創成専攻

関連論文

▼もっと見る