Formal approach to the design of robot programming frameworks: the behavioural control case

zbMath1194.70020MaRDI QIDQ992071

J. Martínez

Publication date: 10 September 2010

Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave)

Full work available at URL: http://bulletin.pan.pl/(53-1)57.html

zbMATH Keywords

robot programming frameworks

Mathematics Subject Classification ID

70-08: Computational methods for problems pertaining to mechanics of particles and systems

70Q05: Control of mechanical systems

70E60: Robot dynamics and control of rigid bodies