時間オートマトンによる多脚歩行ロボットの動作検証

カテゴリ: 部門大会

論文No: Y-71

グループ名: 【D】平成22年電気学会産業応用部門大会講演論文集

発行日: 2010/08/23

タイトル(英語): Motion Verification of Multi-Legged Robot based on timed automaton

著者名: 黄可濱 (名古屋大学),稲垣 伸吉(名古屋大学),鈴木 達也(名古屋大学)

著者名(英語): Kebin Huang(Nagoya University),Shinkichi Inagaki(Nagoya University),Tatsuya Suzuki(Nagoya University)

キーワード: 多脚歩行ロボット|接地点追従法|時間オートマトン|動作検証| Multi-Legged Robot|Follow-the-Contact-Point gait control|timed automaton|model check

PDFファイルサイズ: 1,027 Kバイト