Hideki Kawai
Papers
2
Total Citations
13
H-Index
2
About
Hideki Kawai’s research lies at the intersection of high-performance embedded vision systems and formal verification of safety-critical software. His most cited work, “Hardware design of vector code correlation method for high-speed template matching” (2008, 10 citations), addresses a core challenge in robotics and security: achieving robust, illumination-tolerant object recognition at high speed. By implementing a vector code correlation method directly in hardware, Kawai enabled real-time template matching that resists occlusion—a critical advance for autonomous robot vision. In a complementary vein, his work “Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model” (2013, 3 citations) pioneers the use of model checking to formally verify embedded system reliability, using a physical line-tracing robot as a testbed. This bridges the gap between theoretical formal methods and practical embedded control. Though his citation counts are modest, Kawai’s contributions are notable for their hands-on, hardware-software co-design approach—demonstrating how to make both vision and control systems faster, safer, and more dependable. His work offers a valuable blueprint for researchers building reliable, real-time autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2