Sign in
Yuki Okura
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 11
Top Topics
Optimal Control
Top Venues
CDC
SEKE
RTCSA
IROS
</>
Publications
</>
Shogo Ogihara
,
Tetsuro Kato
,
Takafumi Kawasaki
,
Yuki Okura
,
Takeshi Iwamoto
Visualization System Using Virtual Reality for Work Improvement in Small and Medium Manufacturing Industries.
RTCSA
(2023)
Yifan Wang
,
Masaki Nakamura
,
Kazutoshi Sakakibara
,
Yuki Okura
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).
SEKE
(2023)
Shu Morita
,
Yuki Okura
,
Chiaki Kojima
Human Dense Avoidance Based on Coverage Control through Robots - A Patrol Algorithm Taking into Account of Visible Region.
SICE
(2022)
Masaki Nakamura
,
Kazutoshi Sakakibara
,
Yuki Okura
,
Kazuhiro Ogata
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.
Int. J. Softw. Eng. Knowl. Eng.
31 (11&12) (2021)
Maaki Saeki
,
Yuki Okura
,
Takefumi Yoshikawa
,
Tatsuya Iwata
Single-Sensor Gas Discrimination and Quantification Based on Novel Temperature Modulation Method.
IEEE SENSORS
(2021)
Masaki Nakamura
,
Kazutoshi Sakakibara
,
Yuki Okura
,
Kazuhiro Ogata
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.
SEKE
(2021)
Yuki Okura
,
Kenji Fujimoto
,
Akio Saito
,
Hidetoshi Ikeda
On Path Following Control of Port-Hamiltonian Systems by Bayesian Inference with Training Trajectory Data.
CDC
(2018)
Yuki Okura
,
Kenji Fujimoto
Passive Nonlinear Impedance Control for Port-Hamiltonian Systems.
IROS
(2018)
Yuki Okura
,
Kenji Fujimoto
,
Akio Saito
,
Hidetoshi Ikeda
On potential function design for path following control of port-Hamiltonian systems.
CDC
(2017)
Yuki Okura
,
Kenji Fujimoto
A study on robust nonlinear optimal control for parameter variation.
CDC
(2016)
Yuki Okura
,
Kenji Fujimoto
A new framework of robust LQ optimal control for parameter variation and its application to the double generating functions method.
CDC
(2015)