TY  - RPRT
TI  - Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System
AU  - Ryo Miyashita
AU  - Yoshihiko Susuki
AU  - Atsushi Ishigame
PY  - 2023
DO  - 10.23919/sice56594.2022.9905828
UR  - https://arxiv.org/abs/2207.04184
ID  - 2207.04184
ER  -