Yuki Okura

13 papers A 1B 1C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Optimization of Temperature Modulation for Gas Classification Based on Bayesian Optimization.
Sensors
Tatsuya Iwata, Yuki Okura, Maaki Saeki, Takefumi Yoshikawa
2023 — conf
A Method of Predicting Worker's Skill Level in SMEs for Estimating Changeover Time.
IoT
Yuto Shibuya, Taiga Yamauchi, Shogo Ogihara, Takafumi Kawasaki, Yuki Okura, Takeshi Iwamoto
2023 C conf
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).
SEKE
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura
2023 B conf
Visualization System Using Virtual Reality for Work Improvement in Small and Medium Manufacturing Industries.
RTCSA
Shogo Ogihara, Tetsuro Kato, Takafumi Kawasaki, Yuki Okura, Takeshi Iwamoto
2022 — conf
Human Dense Avoidance Based on Coverage Control through Robots - A Patrol Algorithm Taking into Account of Visible Region.
SICE
Shu Morita, Yuki Okura, Chiaki Kojima
2021 J jnl
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.
Int. J. Softw. Eng. Knowl. Eng.
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
2021 C conf
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.
SEKE
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
2021 — conf
Single-Sensor Gas Discrimination and Quantification Based on Novel Temperature Modulation Method.
IEEE SENSORS
Maaki Saeki, Yuki Okura, Takefumi Yoshikawa, Tatsuya Iwata
2018 — conf
On Path Following Control of Port-Hamiltonian Systems by Bayesian Inference with Training Trajectory Data.
CDC
Yuki Okura, Kenji Fujimoto, Akio Saito, Hidetoshi Ikeda
2018 A conf
Passive Nonlinear Impedance Control for Port-Hamiltonian Systems.
IROS
Yuki Okura, Kenji Fujimoto
2017 — conf
On potential function design for path following control of port-Hamiltonian systems.
CDC
Yuki Okura, Kenji Fujimoto, Akio Saito, Hidetoshi Ikeda
2016 — conf
A study on robust nonlinear optimal control for parameter variation.
CDC
Yuki Okura, Kenji Fujimoto
2015 — conf
A new framework of robust LQ optimal control for parameter variation and its application to the double generating functions method.
CDC
Yuki Okura, Kenji Fujimoto