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)