Presentation | 2017-01-26 A Study on Data-based Modeling of Hot-Water Supply System and its Controler Synthesis Tsukasa Saito, Yoshihiko Susuki, Hikaru Hoshino, Takashi Hikihara, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Energy management system / Modeling / Linear temporal logic / Hot-water supply system |
Paper # | MSS2016-63,SS2016-42 |
Date of Issue | 2017-01-19 (MSS, SS) |
Conference Information | |
Committee | MSS / SS |
---|---|
Conference Date | 2017/1/26(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Kyoto Institute of Technology |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Satoshi Yamane(Kanazawa Univ.) / Kazuhiro Ogata(JAIST) |
Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) / Akio Nakata(Hiroshima City Univ.) |
Secretary | Morikazu Nakamura(Yamaguchi Univ.) / Akio Nakata(Toshiba) |
Assistant | Hideki Kinjo(Okinawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
Paper Information | |
Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Software Science |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Study on Data-based Modeling of Hot-Water Supply System and its Controler Synthesis |
Sub Title (in English) | |
Keyword(1) | Energy management system |
Keyword(2) | Modeling |
Keyword(3) | Linear temporal logic |
Keyword(4) | Hot-water supply system |
1st Author's Name | Tsukasa Saito |
1st Author's Affiliation | Kyoto University(Kyoto Univ.) |
2nd Author's Name | Yoshihiko Susuki |
2nd Author's Affiliation | Osaka Prefecture University(Osaka Prefecture Univ.) |
3rd Author's Name | Hikaru Hoshino |
3rd Author's Affiliation | Kyoto University(Kyoto Univ.) |
4th Author's Name | Takashi Hikihara |
4th Author's Affiliation | Kyoto University(Kyoto Univ.) |
Date | 2017-01-26 |
Paper # | MSS2016-63,SS2016-42 |
Volume (vol) | vol.116 |
Number (no) | MSS-425,SS-426 |
Page | pp.pp.35-40(MSS), pp.35-40(SS), |
#Pages | 6 |
Date of Issue | 2017-01-19 (MSS, SS) |