On formal specification of emergent behaviours in swarm robotic systems

Winfield, A. F., Sa, J., Fernandez-Gago, M.-C., Dixon, C. and Fisher, M. (2005) On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems, 2 (4). pp. 363-370. ISSN 1729-8806 Available from: http://eprints.uwe.ac.uk/5906

PDF - Published Version

Publisher's URL: http://dx.doi.org/10.5772/5769

Item Type:Article
Additional Information:This paper was initially presented (following full paper review) at the Towards Autonomous Robotic Systems (TAROS) conference at Imperial College, Sept 2005. A revised version of the paper was submitted to a special journal issue of selected revised TAROS papers and accepted following further full paper review. The work, in collaboration with Michael Fisher and co-workers at the Liverpool Verification Laboratory, Univ of Liverpool, develops what is believed to be the world's first (i.e. original) use of a formal logic to specify the properties, including emergent behaviours, of a robotic swarm. The work is significant because future real-world application of robotic swarms will require rigorous methods for validation of correct behaviour.
Uncontrolled Keywords:emergent behaviours, swarm robotic systems
Faculty/Department:Faculty of Environment and Technology
ID Code:5906
Deposited By: R. Upload account
Deposited On:22 Jan 2010 15:10
Last Modified:01 Nov 2016 04:54

Request a change to this item

Total Document Downloads in Past 12 Months

Document Downloads

Total Document Downloads

More statistics for this item...