Shigeyuki Kido

A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software

Akira Fukuda, Masahiko Watanabe, Michihiro Matsumoto, 2007, Seventh International Conference on Quality Software (QSIC 2007).

Modeling of Human Driving Behavior Based on Expression as Hybrid Dynamical System (特集 ロボティックバーチャルリアリティとシステムインテグレーション)

Shigeru Okuma, Tatsuya Suzuki, Masayuki Shimizu, 2004 .

Analysis of Driver's Collision Avoidance Behavior based on Hybrid Dynamical System Model

Masayuki Shimizu, Nuio Tsuchida, Tatsuya Suzuki, 2004 .

Control apparatus and control method for electric tools

Shigeyuki Kido, Naoki Matsushita, Yoshihiro Ohkuwa, 2007 .

Measurement and modeling of collision avoidance behavior of drivers using three dimensional driving simulator

Shigeru Okuma, Tatsuya Suzuki, Masayuki Shimizu, 2003, SICE 2003 Annual Conference (IEEE Cat. No.03TH8734).

Modeling of Driver's Collision Avoidance Behavior Based on Expression as Hybrid Dynamical System

Shigeru Okuma, Tatsuya Suzuki, Masayuki Shimizu, 2005 .