講演抄録/キーワード |
講演名 |
2017-01-26 14:30
温水供給システムの実測データに基づくモデリングと制御に関する検討 ○齋藤 司(京大)・薄 良彦(阪府大)・星野 光・引原隆士(京大) MSS2016-63 SS2016-42 |
抄録 |
(和) |
本報告では, 透析の医療機関で得られた実測データ用いた温水供給システムのモデリング, 及び形式手法を用いた制御器設計について検討する. 透析治療では大量の水を人肌まで昇温する熱が必要となる. この熱確保は透析治療の継続的実施にあたり必須であり, 温水の生成及び供給に関する制御動作を保証するエネルギーマネジメントシステムの設計は重要な技術課題である. 本報告では, 透析の医療機関の実測データを基に温水供給システムの動特性に関するモデリングを行うとともに, 機器の故障及び再稼働などの取り巻く環境変化に対応し重要負荷への温水供給を継続する制御器を線形時相論理式を用いて設計する. さらに, ハード及びソフトウェアを組み合わせた研究室内シミュレータにより設計した制御器の動作を実験的に確認する. |
(英) |
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 / / / / |
文献情報 |
信学技報, vol. 116, no. 425, MSS2016-63, pp. 35-40, 2017年1月. |
資料番号 |
MSS2016-63 |
発行日 |
2017-01-19 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2016-63 SS2016-42 |
|