Yuki Okura

Orcid: 0000-0002-1613-1473

According to our database1, Yuki Okura authored at least 12 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Optimization of Temperature Modulation for Gas Classification Based on Bayesian Optimization.
Sensors, May, 2024

2023
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).
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.
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.
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.
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.
Int. J. Softw. Eng. Knowl. Eng., 2021

Single-Sensor Gas Discrimination and Quantification Based on Novel Temperature Modulation Method.
Proceedings of the 2021 IEEE Sensors, Sydney, Australia, October 31 - Nov. 3, 2021, 2021

2018
Passive Nonlinear Impedance Control for Port-Hamiltonian Systems.
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.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
On potential function design for path following control of port-Hamiltonian systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
A study on robust nonlinear optimal control for parameter variation.
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.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015


  Loading...