VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 70 forks source link

Harware interface to robot #78

Closed Bama-S closed 9 years ago

Bama-S commented 9 years ago

Will this kit work for interfacing the real robot as well? If so, which part of the code should be modified?

spmaniato commented 9 years ago

Hi Bama,

you can control real robots via LTLMoP by writing the appropriate "handlers". See the existing ones for guidance: https://github.com/LTLMoP/LTLMoP/tree/development/src/lib/handlers

And here's some info on the handler subsystem: https://github.com/LTLMoP/LTLMoP/wiki/Handler-Subsystem

Finally, here's a video demonstrating LTLMoP (features control of a Aldebaran Nao humanoid): http://www.youtube.com/watch?v=M5gxI9sZKHg

Best, Spyros