Toward Process Architectures for Behavioural Robotics

Simpson, Jonathan and Ritson, Carl G. (2009) Toward Process Architectures for Behavioural Robotics. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-375) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30581)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL: http://dx.doi.org/10.3233/978-1-60750-065-0-375

Abstract

Building robot control programs which function as intended is a challenging task. Roboticists have developed architectures to provide principles, constraints and primitives which simplify the building of these correct, well structured systems. A number of established and prevalent behavioural architectures for robot control make use of explicit parallelism with message passing. Expressing these architectures in terms of a process-oriented programming language, such as occam-π, allows us to distil design rules, structures and primitives for use in the development of process architectures for robot control.

Item Type:	Book section
DOI/Identification number:	10.3233/978-1-60750-065-0-375
Uncontrolled keywords:	determinacy analysis, Craig interpolants
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	C. Ritson
Date Deposited:	21 Sep 2012 09:49 UTC
Last Modified:	16 Nov 2021 10:08 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/30581 (The current URI for this page, for reference purposes)

University of Kent Author Information

Ritson, Carl G..

Creator's ORCID:
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Download Statistics

Total unique views for this document in KAR since July 2020. For more details click on the image.