School of Computing

Concurrency, Robotics, and RoboDeb

Christian L. Jacobsen and Matthew C. Jadud

In Proceedings of AAAI Robotics and Education, pages 182-196, Palo Alto, CA, USA, March 2007. American Association for Artificial Intelligence.

Abstract

Robotics is an engaging and natural application area for concurrent and parallel models of control. To explore these ideas, we have developed environments and materials to support the programming of robots to do interesting tasks in a fundamentally concurrent manner. Our most recent work involves the development of RoboDeb (short for "Robotics/Debian"), a "virtual computer" pre-installed with the open-source Player API and Stage simulator to support classroom exploration of concurrency and robotic control using the occam programming language.



Bibtex Record

@inproceedings{2875,
author = {Christian L. Jacobsen and Matthew C. Jadud},
title = {{Concurrency, Robotics, and RoboDeb}},
month = {March},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2875},
    publication_type = {inproceedings},
    submission_id = {2940_1234272987},
    booktitle = {Proceedings of AAAI Robotics and Education},
    address = {Palo Alto, CA, USA},
    publisher = {American Association for Artificial Intelligence},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014