Winfield, A. F., Sa, J., Fernandez-Gago, M.-C., Dixon, C. and Fisher, M.
On formal specification of emergent behaviours in swarm robotic systems.
International Journal of Advanced Robotic Systems, 2 (4).
- Published Version
Publisher's URL: http://www.intechweb.org/journal.php?id=3
|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.|
|Faculty/Department:||Faculty of Environment and Technology|
R. Upload account
|Deposited On:||22 Jan 2010 15:10|
|Last Modified:||14 Aug 2013 01:36|
Request a change to this item
Total Document Downloads in Past 12 Months