Ryo Miyashita

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 2

Top Topics

Mazurkiewicz Traces

Transition Systems

Top Venues

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)