Presentation | 2015-10-13 A Description of Recursive Hybrid Automata by HCCS Yuto Kawakita, Yuen Shoji, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | hybrid systems / recursive hybrid automata / process calculus |
Paper # | SS2015-36,DC2015-26 |
Date of Issue | 2015-10-06 (SS, DC) |
Conference Information | |
Committee | DC / SS |
---|---|
Conference Date | 2015/10/13(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Todaiji Culture Center (Nara) |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | Software System, Dependability in Network |
Chair | Nobuyasu Kanekawa(Hitachi) / Shoji Yuen(Nagoya Univ.) |
Vice Chair | Michiko Inoue(NAIST) / Kazuhiro Ogata(JAIST) |
Secretary | Michiko Inoue(RTRI) / Kazuhiro Ogata(Kyoto Sangyo Univ.) |
Assistant | / Yoshiki Higo(Osaka Univ.) |
Paper Information | |
Registration To | Technical Committee on Dependable Computing / Technical Committee on Software Science |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Description of Recursive Hybrid Automata by HCCS |
Sub Title (in English) | |
Keyword(1) | hybrid systems |
Keyword(2) | recursive hybrid automata |
Keyword(3) | process calculus |
1st Author's Name | Yuto Kawakita |
1st Author's Affiliation | Nagoya University(Nagoya Univ.) |
2nd Author's Name | Yuen Shoji |
2nd Author's Affiliation | Nagoya University(Nagoya Univ.) |
Date | 2015-10-13 |
Paper # | SS2015-36,DC2015-26 |
Volume (vol) | vol.115 |
Number (no) | SS-248,DC-249 |
Page | pp.pp.7-12(SS), pp.7-12(DC), |
#Pages | 6 |
Date of Issue | 2015-10-06 (SS, DC) |