| 講演名 | 2015-10-13 HCCSによる再帰的ハイブリッドシステムの記述 川北 悠人(名大), 結縁 祥治(名大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 連続した振舞いと通信としての離散的振舞いを記述可能なCCSの拡張としてHCCSがNestmannらによって提案されている．本研究ではHCCSを用いて再帰的な振舞いを表すRecursive Hybrid Automataを記述し，その振舞いをHCCSの意味論にもとづいて解析できるようにする． |
| 抄録(英) | We present a formal description of recursive hybrid automata, RHA for short, by HCCS proposed by Schneider et.el., which is an extension of Milner's CCS with continuous behavior according to passage of time. HCCS is expressive enough to describe the recursive structure of RHA. By describing RHA by HCCS, we can apply the algebraic analysis for RHA based on the bisimulation, such as the behavioral composition to control behavior of RHA. |
| キーワード(和) | ハイブリッドシステム / 再帰的ハイブリッドオートマトン / プロセス計算 |
| キーワード(英) | hybrid systems / recursive hybrid automata / process calculus |
| 資料番号 | SS2015-36,DC2015-26 |
| 発行日 | 2015-10-06 (SS, DC) |
| 研究会情報 | |
| 研究会 | DC / SS |
|---|---|
| 開催期間 | 2015/10/13(から2日開催) |
| 開催地（和） | 東大寺総合文化センター |
| 開催地（英） | Todaiji Culture Center (Nara) |
| テーマ（和） | ソフトウェアシステム, ネットワーク環境でのディペンダビリティ |
| テーマ（英） | Software System, Dependability in Network |
| 委員長氏名（和） | 金川 信康(日立) / 結縁 祥治(名大) |
| 委員長氏名（英） | Nobuyasu Kanekawa(Hitachi) / Shoji Yuen(Nagoya Univ.) |
| 副委員長氏名（和） | 井上 美智子(奈良先端大) / 緒方 和博(北陸先端大) |
| 副委員長氏名（英） | Michiko Inoue(NAIST) / Kazuhiro Ogata(JAIST) |
| 幹事氏名（和） | 岩田 浩司(鉄道総研) / 吉村 正義(京都産大) / 小林 隆志(東工大) / 鷲崎 弘宜(早大) |
| 幹事氏名（英） | Koji Iwata(RTRI) / Masayoshi Yoshimura(Kyoto Sangyo Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) / Hironobu Washizaki(Waseda Univ.) |
| 幹事補佐氏名（和） | / 肥後 芳樹(阪大) |
| 幹事補佐氏名（英） | / Yoshiki Higo(Osaka Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Dependable Computing / Technical Committee on Software Science |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | HCCSによる再帰的ハイブリッドシステムの記述 |
| サブタイトル（和） | |
| タイトル（英） | A Description of Recursive Hybrid Automata by HCCS |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ハイブリッドシステム / hybrid systems |
| キーワード(2)（和/英） | 再帰的ハイブリッドオートマトン / recursive hybrid automata |
| キーワード(3)（和/英） | プロセス計算 / process calculus |
| 第 1 著者 氏名（和/英） | 川北 悠人 / Yuto Kawakita |
| 第 1 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 第 2 著者 氏名（和/英） | 結縁 祥治 / Yuen Shoji |
| 第 2 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 発表年月日 | 2015-10-13 |
| 資料番号 | SS2015-36,DC2015-26 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | SS-248,DC-249 |
| ページ範囲 | pp.7-12(SS), pp.7-12(DC), |
| ページ数 | 6 |
| 発行日 | 2015-10-06 (SS, DC) |