Nobuhiko Miyamoto

According to our database, Nobuhiko Miyamoto authored at least 3 papers between 2018 and 2024.

Collaborative distances:

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

2024

Formal Verification of Merging Arbitration Control System for Logistics Robots.

Nobuhiko Miyamoto, Hironobu Okamoto, Noriaki Ando, Yukikazu Koide

Proceedings of the IEEE/SICE International Symposium on System Integration, 2024

2021

Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots.

Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa

IEICE Trans. Inf. Syst., 2021

2018

Dynamic Simulation of 1-DOF Swing Motion Propulsion Mechanism by Rotary Actuator.

Nobuhiko Miyamoto, Noriaki Ando, Kazuyoshi Wada

J. Robotics Mechatronics, 2018