© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }