| 講演抄録/キーワード |
| 講演名 |
2007-11-29 13:00
ハイブリッドシステムのサンプル値制御における制御不変性 ○土江慶幸・潮 俊光(阪大) CAS2007-67 CST2007-18 |
| 抄録 |
(和) |
ハイブリッドシステムをサンプル値制御によって状態フィードバック制御する場合を
考える.制御仕様は述語で与えられとする. このとき, 制御対象をハイブリッドオートマトンで表現し, 離散事象システムで重要な概念である制御不変性を拡張する.
まず, サンプル値制御系のセマンティクスをトランジションシステムとして定式化し,
システムが制御不変であるための必要十分条件を導出する. そして, 制御仕様として与えられた任意の述語に対して, 最大制御不変部分述語が存在することを示し, その計算手法を提案する. |
| (英) |
We consider a hybrid system controlled by a sampled-data state feedback
controller whose input can be updated at every sampling time. Then, we introduce transition systems as semantics of the controlled hybrid systems
and consider a control problem given by a predicate. First, we derive a sufficient and necessary condition for the predicate to be control-invariant. Next, we show that there always exists the supremal control-invariant subpredicate for any predicate. Finally, we propose a procedure to compute it. |
| キーワード |
(和) |
ハイブリッドオートマトン / 制御不変 / サンプル値制御 / / / / / |
| (英) |
hybrid automaton / control-invariance / sampled-data control system / / / / / |
| 文献情報 |
信学技報, vol. 107, 2007年11月. |
| 資料番号 |
|
| 発行日 |
2007-11-22 (CAS, CST) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
CAS2007-67 CST2007-18 |
| 研究会情報 |
| 研究会 |
MSS CAS |
| 開催期間 |
2007-11-29 - 2007-11-30 |
| 開催地(和) |
新潟大学自然科学研究科 |
| 開催地(英) |
Niigata University |
| テーマ(和) |
グラフ、ペトリネット、ニューラルネット及び一般 |
| テーマ(英) |
Graphs, Petri nets, Neural Networks |
| 講演論文情報の詳細 |
| 申込み研究会 |
MSS |
| 会議コード |
2007-11-CST-CAS |
| 本文の言語 |
英語(日本語タイトルあり) |
| タイトル(和) |
ハイブリッドシステムのサンプル値制御における制御不変性 |
| サブタイトル(和) |
|
| タイトル(英) |
Control-invariance of sampled-data control hybrid systems |
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
ハイブリッドオートマトン / hybrid automaton |
| キーワード(2)(和/英) |
制御不変 / control-invariance |
| キーワード(3)(和/英) |
サンプル値制御 / sampled-data control system |
| キーワード(4)(和/英) |
/ |
| キーワード(5)(和/英) |
/ |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
土江 慶幸 / Yoshiyuki Tsuchie / ツチエ ヨシユキ |
| 第1著者 所属(和/英) |
大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.) |
| 第2著者 氏名(和/英/ヨミ) |
潮 俊光 / Toshimitsu Ushio / ウシオ トシミツ |
| 第2著者 所属(和/英) |
大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.) |
| 第3著者 氏名(和/英/ヨミ) |
/ / |
| 第3著者 所属(和/英) |
(略称: )
(略称: ) |
| 第4著者 氏名(和/英/ヨミ) |
/ / |
| 第4著者 所属(和/英) |
(略称: )
(略称: ) |
| 第5著者 氏名(和/英/ヨミ) |
/ / |
| 第5著者 所属(和/英) |
(略称: )
(略称: ) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2007-11-29 13:00:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
MSS |
| 資料番号 |
CAS2007-67, CST2007-18 |
| 巻番号(vol) |
vol.107 |
| 号番号(no) |
no.361(CAS), no.363(CST) |
| ページ範囲 |
pp.1-6 |
| ページ数 |
6 |
| 発行日 |
2007-11-22 (CAS, CST) |
|