Dynamic Simulation of 1-DOF Swing Motion Propulsion Mechanism by Rotary Actuator. - Nobuhiko Miyamoto; Noriaki Ando; Kazuyoshi Wada (J. Robotics Mechatronics, 2018)

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)

Formal Verification of Merging Arbitration Control System for Logistics Robots. - Nobuhiko Miyamoto; Hironobu Okamoto; Noriaki Ando; Yukikazu Koide (SII, 2024)

Comparison of communication characteristics for local 5G semi-synchronous mode for multiple robot control. - Souma Kawanishi; Nobuhiko Miyamoto; Koji Yoshida; Kazuyoshi Wada (SII, 2025)