School of Computing

Safe parallelism for behavioral control

Matthew C. Jadud, Christian L. Jacobsen, Carl G. Ritson, and Jonathan Simpson

In 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA), pages 182-196. IEEE, November 2008.

Abstract

During the Spring 2008 semester at Olin College, we introduced the programming language occam-pi to undergraduates as part of their first course in robotics. Students were able to explore image processing and autonomous behavioral control in a parallel programming language on a small mobile robotics platform with just two weeks of tutorial instruction. Our experiences to date suggest that the language and tools we have developed allow the concise expression of complex robotic control systems, and enable the integration of events from the environment in a consistent and safe model for parallel control that is directly expressed in software.

Download publication 274 kbytes (PDF)

Bibtex Record

@inproceedings{2933,
author = {Matthew C. Jadud and Christian L. Jacobsen and Carl G. Ritson and Jonathan Simpson},
title = {Safe Parallelism for Behavioral Control},
month = {November},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2933},
    publication_type = {inproceedings},
    submission_id = {14354_1246380485},
    booktitle = {2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA)},
    publisher = {IEEE},
    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