| 講演名 | 2002/11/2 ハイブリッドシステムの定性的解析について 野村 彰典, 平石 邦彦, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ハイブリッドシステムは連続系と離散系の両方を持ったシステムである.ハイブリッドシステムの解析には様々な困難さがある.従来研究ではモデルに制限を与えるアプローチが主に行われていたが,本研究では調べたい性質を定性的な振る舞い等に制限するアプローチをとる.こうすることにより最終的に得たい情報が定性的である場合の効率的解析手法,および,システムに関する不完全情報に基づくシステム検証の基礎を与えることができる。また定性的解析の従来の手法として定性シミュレーションがある.この手法では変数,パラメータ間の大小関係を無視していることを一つの理由として,どのようなパラメータ設定でも起こりえないような振る舞いも導き出すため,ロケーションへの到達可能性が判定できない.本研究では定性シミュレーションに大小関係を導入しこの問題を回避することができる新しいシミュレーション方法について述べる. |
| 抄録(英) | A hybrid system is a dynamical system with both discrete and continuous state change. Analysis of hybrid systems has several difficulties. Previous studies often put some restrictions on models, whereas this research put restrictions on properties to verified, e.g., we consider only qualitative properties. This approach does not give only an efficient method for verifying qualitative properties, but also a basis of system verification from incomplete information on systems. For a similar purpose, qualitative simulation was proposed as a method for qualitative analysis of continuous systems. Since this approach usually ignores largeness of parameters, it can not decide reachability to each location when it is applies to hybrid systems. To avoid this problem, we propose a new simulation method taking account of the largeness of parameters. |
| キーワード(和) | ハイブリッドシステム / 定性的解析 / 定性シミュレーション / 到達可能性 / システム検証 |
| キーワード(英) | Hybrid systems / qualitative analysis / qualitative simulation / reachablity / system verification |
| 資料番号 | CAS2002-102 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 2002/11/2(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ハイブリッドシステムの定性的解析について |
| サブタイトル（和） | |
| タイトル（英） | On Qualitative Analisys of Hybrid Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ハイブリッドシステム / Hybrid systems |
| キーワード(2)（和/英） | 定性的解析 / qualitative analysis |
| キーワード(3)（和/英） | 定性シミュレーション / qualitative simulation |
| キーワード(4)（和/英） | 到達可能性 / reachablity |
| キーワード(5)（和/英） | システム検証 / system verification |
| 第 1 著者 氏名（和/英） | 野村 彰典 / Akinori NOMURA |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学 情報科学研究科 School of Information Science, JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY |
| 第 2 著者 氏名（和/英） | 平石 邦彦 / Kunihiko HIRAISHI |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学 情報科学研究科 School of Information Science, JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY |
| 発表年月日 | 2002/11/2 |
| 資料番号 | CAS2002-102 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 427 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |