講演抄録/キーワード |
講演名 |
2016-01-26 11:30
ハイブリッドシステムに対するCCSの拡張について ○川北悠人・結縁祥治(名大) MSS2015-58 SS2015-67 |
抄録 |
(和) |
連続的な振舞いと離散的な振舞いを同時にモデル化するハイブリッドシステムの記述において,Schniderらによって提案されたHCCSを拡張した体系を提案する.
本稿で提案する拡張によって並行合成を用いた階層的構造や再帰構造をもつハイブリッドシステムを記述できるようになる.
拡張した体系に対する強双模倣等価性が演算子に対して保存されることを示す. |
(英) |
We propose an extension of Milner's CCS for hybrid systems where continuous and discrete behavior are related to each other.
Our calculus is based on HCCS proposed by Schneider et.al.
Our extension enables the description of hybrid systems with hierarchical structures and recursion.
It is shown that the strong bisimilarity is preserved by the operators of our calculus. |
キーワード |
(和) |
ハイブリッドシステム / CCS / プロセス計算 / / / / / |
(英) |
hybrid systems / CCS / process calculus / / / / / |
文献情報 |
信学技報, vol. 115, no. 420, SS2015-67, pp. 129-134, 2016年1月. |
資料番号 |
SS2015-67 |
発行日 |
2016-01-18 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2015-58 SS2015-67 |