ロボット制御のための仮想筋肉振動法のCommunicating Sequential Processes による表現

成瀬 継太郎

doi:10.11522/pscjspe.2007S.0.463.0

抄録

Communicating Sequential Processes (CSP)は1978年にホーアにより提案された形式言語であり,プログラムは逐次的なプロセスと,プロセス間のバッファなしの同期通信により実現されるものである.また,仕様はプロセス代数によって記述され,数学的な検証が可能である.本研究では,ロボット制御の一手法である仮想筋肉振動法をCSPによって表現することを試みる.

著者関連情報

お気に入り & アラート

お気に入りに追加
追加情報アラート
被引用アラート
認証解除アラート

閲覧履歴

Traumatic Pseudoaneurysm in Maxillary Sinus Presenting Intractable Epistaxis: A Case Report of Transarterial Embolization
Neutron diffraction study of hydrous ringwoodite
耐熱性磁性流体およびこれを用いた磁性流体真空シール
[title in Japanese]
SCC Susceptibility of High Corrosion Resistant Stainless Steels for Spent Fuel Storage Canister Materials Exposed at Hot Wet Air with Dripped Synthetic Sea Salt

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）