| 研究課題/領域番号 |
24360164
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
潮 俊光 大阪大学, 基礎工学研究科, 教授 (30184998)
|
|---|
| 研究分担者 |
滝本 隆 北九州工業高等専門学校, その他部局等, 准教授 (60581220)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2017-03-31
|
| キーワード | システム制御工学 / サイバーフィジカルシステム / 事象駆動型制御 / メディエータ / スーパバイザ制御 |
|---|
| 研究実績の概要 |
１．タスク間でのデータの送信において，受信タスクのデータフォーマットにデータを変換する分散メディエータでのデータ変換のスケジューリングを行う手法を提案した．まず，プリエンプティブを表現できる時間付ペトリネットを提案し，SMT論理式を用いてトランジションの発火系列を求める方法を開発した．このペトリネットを用いて分散メディエータの振る舞いを記述し，実行可能なスケジュールを求めた．
２．センサ，アクチュエータが物理的に分散している大規模システムを対象に，ネットワークでのデータの伝送頻度を軽減するために，昨年度は，事象駆動型オブザーバを用いた出力制御系設計法を提案した．本年度は，送信データ量のさらなる低減を達成するために，動的事象駆動装置を提案した．センサ出力を入力とする内部ダイナミクスを持つ事象駆動装置を各センサに置き，その内部状態に基づいた事象駆動条件を導入して，データの転送タイミングを決定した．同様に，制御器においても，オブザーバをもつ出力制御器で計算される制御入力の各アクチュエータへの送信タイミングを動的事象駆動装置が決定した．このような動的事象駆動型制御によってシステム全体が安定となるような事象駆動条件を導出した．さらに，シミュレーションによって，安定性を保存しつつデータの送信量が低減されていることを確認した．
３．オートマトンでモデル化される複数のサブシステムが相互作用する複合システムにおいて，各サブシステムに対する局所制御仕様が線形時相論理式で記述されている場合を考えた．このとき，すべての局所制御仕様を満足するスーパバイザの構成法を提案した．
４．重み付きオートマトンでモデル化される部分観測なシステムに対して．エネルギーレベルが常に正となり，かつデッドロックがない制御器設計問題が，一種のturn-basedな可到達ゲームに帰着できることを示した．
|
| 現在までの達成度 (段落) |
28年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
28年度が最終年度であるため、記入しない。
|
| 次年度使用額が生じた理由 |
28年度が最終年度であるため、記入しない。
|
| 次年度使用額の使用計画 |
28年度が最終年度であるため、記入しない。
|
