Login / Signup
Ryo Miyashita
Publication Activity (10 Years)
Years Active: 2008-2022
Publications (10 Years): 2
Top Topics
Mazurkiewicz Traces
Transition Systems
Temporal Logic
Water Supply
Top Venues
CoRR
SICE
</>
Publications
</>
Ryo Miyashita
,
Yoshihiko Susuki
,
Atsushi Ishigame
Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System.
CoRR
(2022)
Ryo Miyashita
,
Yoshihiko Susuki
,
Atsushi Ishigame
Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System.
SICE
(2022)
Toshiyuki Yamamoto
,
Ryo Miyashita
A Progress Report and a Proposal: Interactivity in Ubiquitous Learning Enhanced by Virtual Tutors in e-Learning Contents.
SUTC
(2008)