| 講演名 | 2017-01-26 温水供給システムの実測データに基づくモデリングと制御に関する検討 齋藤 司(京大), 薄 良彦(阪府大), 星野 光(京大), 引原 隆士(京大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本報告では, 透析の医療機関で得られた実測データ用いた温水供給システムのモデリング, 及び形式手法を用いた制御器設計について検討する. 透析治療では大量の水を人肌まで昇温する熱が必要となる. この熱確保は透析治療の継続的実施にあたり必須であり, 温水の生成及び供給に関する制御動作を保証するエネルギーマネジメントシステムの設計は重要な技術課題である. 本報告では, 透析の医療機関の実測データを基に温水供給システムの動特性に関するモデリングを行うとともに, 機器の故障及び再稼働などの取り巻く環境変化に対応し重要負荷への温水供給を継続する制御器を線形時相論理式を用いて設計する. さらに, ハード及びソフトウェアを組み合わせた研究室内シミュレータにより設計した制御器の動作を実験的に確認する. |
| 抄録(英) | This report performs modeling of a hot-water supply system based on data measured in a medical institution for dialysis treatment and synthesis of its controller using formal method. Because dialysis treatment requires heat to warm a large amount of water to the body temperature, design of an energy management system guaranteeing the correctness of control actions for heat generation and supply is of technical importance. We develop a dynamic model of the hot-water supply system based on the measured data and synthesize a switching controller that dynamically reacts to a change of environment around the system affecting the supply such as failure and restart of equipments, and that archives the continuous supply of hot-water to a critical load. This controller is synthesised by describing specifications of the control actions with linear temporal logic. We experimentally confirm the execution of the synthesized controller with a laboratory simulator that combines hardware and software. |
| キーワード(和) | エネルギーマネジメントシステム / モデリング / 線形時相論理 / 温水供給システム |
| キーワード(英) | Energy management system / Modeling / Linear temporal logic / Hot-water supply system |
| 資料番号 | MSS2016-63,SS2016-42 |
| 発行日 | 2017-01-19 (MSS, SS) |
| 研究会情報 | |
| 研究会 | MSS / SS |
|---|---|
| 開催期間 | 2017/1/26(から2日開催) |
| 開催地（和） | 京都工芸繊維大学 60周年記念館 2階大セミナー室 |
| 開催地（英） | Kyoto Institute of Technology |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 山根 智(金沢大) / 緒方 和博(北陸先端大) |
| 委員長氏名（英） | Satoshi Yamane(Kanazawa Univ.) / Kazuhiro Ogata(JAIST) |
| 副委員長氏名（和） | 名嘉村 盛和(琉球大) / 中田 明夫(広島市大) |
| 副委員長氏名（英） | Morikazu Nakamura(Univ. of Ryukyus) / Akio Nakata(Hiroshima City Univ.) |
| 幹事氏名（和） | 中田 充(山口大) / 豊嶋 伊知郎(東芝) / 小林 隆志(東工大) / 肥後 芳樹(阪大) |
| 幹事氏名（英） | Mitsuru Nakata(Yamaguchi Univ.) / Ichiro Toyoshima(Toshiba) / Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) |
| 幹事補佐氏名（和） | 金城 秀樹(沖縄大) / 島 和之(広島市大) |
| 幹事補佐氏名（英） | Hideki Kinjo(Okinawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Software Science |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 温水供給システムの実測データに基づくモデリングと制御に関する検討 |
| サブタイトル（和） | |
| タイトル（英） | A Study on Data-based Modeling of Hot-Water Supply System and its Controler Synthesis |
| サブタイトル（和） | |
| キーワード(1)（和/英） | エネルギーマネジメントシステム / Energy management system |
| キーワード(2)（和/英） | モデリング / Modeling |
| キーワード(3)（和/英） | 線形時相論理 / Linear temporal logic |
| キーワード(4)（和/英） | 温水供給システム / Hot-water supply system |
| 第 1 著者 氏名（和/英） | 齋藤 司 / Tsukasa Saito |
| 第 1 著者 所属（和/英） | 京都大学(略称：京大) Kyoto University(略称：Kyoto Univ.) |
| 第 2 著者 氏名（和/英） | 薄 良彦 / Yoshihiko Susuki |
| 第 2 著者 所属（和/英） | 大阪府立大学(略称：阪府大) Osaka Prefecture University(略称：Osaka Prefecture Univ.) |
| 第 3 著者 氏名（和/英） | 星野 光 / Hikaru Hoshino |
| 第 3 著者 所属（和/英） | 京都大学(略称：京大) Kyoto University(略称：Kyoto Univ.) |
| 第 4 著者 氏名（和/英） | 引原 隆士 / Takashi Hikihara |
| 第 4 著者 所属（和/英） | 京都大学(略称：京大) Kyoto University(略称：Kyoto Univ.) |
| 発表年月日 | 2017-01-26 |
| 資料番号 | MSS2016-63,SS2016-42 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | MSS-425,SS-426 |
| ページ範囲 | pp.35-40(MSS), pp.35-40(SS), |
| ページ数 | 6 |
| 発行日 | 2017-01-19 (MSS, SS) |