| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2015-05-11 13:30 ハイブリッドプロセス計算を用いたスーパーバイザ合成について ○川北悠人・結縁祥治（名大）  SS2015-2 |
|
| 抄録 | （和） | 本研究では，CCSの拡張であるハイブリッドプロセス計算HCCSを用いて，ハイブリッドシステムの制御を行うスーパーバイザを構文的に導出する手法について考察する． HCCSで記述したプラントと仕様をHCCS項によって与えたとき， 時間離散化した等価なプラントと仕様との差分比較からスーパーバイザを合成する． ここでは，従来のスーパーバイザ手法が適用できないことを示す． |
| （英） | We deal with a supervisor synthesis for HCCS, an extension of CCS for hybrid communicating systems, by the syntactic manipulation. Given a pair of a plant and a specification in HCCS, we discuss how to derive a supervisor to enforce the behavior of the plant to follow the specification by syntactically comparing the time discretized HCCS terms. We present the conventional synthesis method cannot be directly applicable to HCCS. |
|
| キーワード | （和） | ハイブリッドシステム / スーパーバイザ合成 / プロセス計算 / / / / / |
| （英） | hybrid systems / supervisor synthesis / process calculus / / / / / | |
| 文献情報 | 信学技報, vol. 115, no. 20, SS2015-2, pp. 7-10, 2015年5月. | |
| 資料番号 | SS2015-2 | |
| 発行日 | 2015-05-04 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2015-2 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2015-05-11 - 2015-05-12 |
| 開催地（和） | 熊本大学 |
| 開催地（英） | Kumamoto University |
| テーマ（和） | 一般，研究スタートアップ |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2015-05-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | ハイブリッドプロセス計算を用いたスーパーバイザ合成について |
| サブタイトル（和） | |
| タイトル（英） | Towards the Supervisor Synthesis Using Hybrid Process Calculi |
| サブタイトル（英） | |
| キーワード(1)（和/英） | ハイブリッドシステム / hybrid systems |
| キーワード(2)（和/英） | スーパーバイザ合成 / supervisor synthesis |
| キーワード(3)（和/英） | プロセス計算 / process calculus |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 川北 悠人 / Yuto Kawakita / カワキタ ユウト |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 結縁 祥治 / Shoji Yuen / ユウエン ショウジ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2015-05-11 13:30:00 |
| 発表時間 | 20分 |
| 申込先研究会 | SS |
| 資料番号 | SS2015-2 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | no.20 |
| ページ範囲 | pp.7-10 |
| ページ数 | 4 |
| 発行日 | 2015-05-04 (SS) |
[研究会発表申込システムのトップページに戻る]