(作成中)

ROBOMECH 2018
セッション:ロボットミドルウェアとオープンシステム

協調ロボット制御ロジックの形式的なモデル化と検証
— FSM4RTCのための有限状態マシン設計の信頼性向上 —


磯部祥尚、安藤慶昭、宮本信彦、ビグズ ジェフ、大岩 寛
  2A1-F11, ROBOMECH 2018.

発表に使用したポスター:poster-2A1-F11.pdf

検証用CSPモデル:(準備中)