Kazutoshi Sakakibara
Papers
2
Total Citations
14
H-Index
2
About
Kazutoshi Sakakibara is a leading researcher in autonomous robotics and formal verification of safety-critical systems. His work bridges two key areas: decentralized multi-agent control and rigorous mathematical verification of hybrid systems. In his highly cited 2008 paper on AGV transportation systems, Sakakibara pioneered a genetics-based machine learning approach enabling multiple autonomous robots to coordinate collision-free routes under uncertain delivery demands—a foundational contribution to decentralized robotics with 8 citations. More recently, his 2021 work on formal verification of multitask hybrid systems using the OTS/CafeOBJ method addresses the critical challenge of ensuring safety and reliability in Cyber-Physical Systems (CPS) and IoT applications. This research provides formal proofs for systems combining continuous and discrete behaviors, essential for healthcare, transportation, and robotics. With a citation count reflecting growing impact, Sakakibara’s contributions are particularly notable for their practical relevance: his AGV route planning directly applies to warehouse automation, while his verification methods support certification of autonomous systems. Students and researchers will find his work exemplary for combining theoretical rigor with real-world engineering challenges.
Research Focus
Key Achievements
Top Papers
- 1
- 2