Yuki Okura

According to our database, Yuki Okura authored at least 11 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).

Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Visualization System Using Virtual Reality for Work Improvement in Small and Medium Manufacturing Industries.

Shogo Ogihara, Tetsuro Kato, Takafumi Kawasaki, Yuki Okura, Takeshi Iwamoto

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

A Method of Predicting Worker's Skill Level in SMEs for Estimating Changeover Time.

Yuto Shibuya, Taiga Yamauchi, Shogo Ogihara, Takafumi Kawasaki, Yuki Okura, Takeshi Iwamoto

Proceedings of the 13th International Conference on the Internet of Things, 2023

2022

Human Dense Avoidance Based on Coverage Control through Robots - A Patrol Algorithm Taking into Account of Visible Region.

Shu Morita, Yuki Okura, Chiaki Kojima

Proceedings of the 61st IEEE Annual Conference of the Society of Instrument and Control Engineers, 2022

2021

Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.

Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata

Int. J. Softw. Eng. Knowl. Eng., 2021

Single-Sensor Gas Discrimination and Quantification Based on Novel Temperature Modulation Method.

Maaki Saeki, Yuki Okura, Takefumi Yoshikawa, Tatsuya Iwata

Proceedings of the 2021 IEEE Sensors, Sydney, Australia, October 31 - Nov. 3, 2021, 2021

2018

Passive Nonlinear Impedance Control for Port-Hamiltonian Systems.

Yuki Okura, Kenji Fujimoto

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

On Path Following Control of Port-Hamiltonian Systems by Bayesian Inference with Training Trajectory Data.

Yuki Okura, Kenji Fujimoto, Akio Saito, Hidetoshi Ikeda

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

On potential function design for path following control of port-Hamiltonian systems.

Yuki Okura, Kenji Fujimoto, Akio Saito, Hidetoshi Ikeda

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

A study on robust nonlinear optimal control for parameter variation.

Yuki Okura, Kenji Fujimoto

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

A new framework of robust LQ optimal control for parameter variation and its application to the double generating functions method.

Yuki Okura, Kenji Fujimoto

Proceedings of the 54th IEEE Conference on Decision and Control, 2015