A study of Kripke modeling of a multirobot syste for cooperative control
From MaRDI portal
Publication:2457152
zbMath1126.70324MaRDI QIDQ2457152
S. Jeyaraman, Antonios Tsourdos, R. W. Zbikowski, Brian A. White
Publication date: 30 October 2007
Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)
Automated systems (robots, etc.) in control theory (93C85) Robot dynamics and control of rigid bodies (70E60)
This page was built for publication: A study of Kripke modeling of a multirobot syste for cooperative control