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:||?? cen_scu_2010 ??|
~Pre-2010 Faculty Structure > Environment and Technology > Bristol Institute of Technology
~Pre-2012 Faculty Structure > Faculty of Environment and Technology > Bristol Robotics Laboratory
R. Upload account
|Deposited On:||22 Jan 2010 15:10|
|Last Modified:||22 Nov 2012 17:20|
Repository Staff Only: item control page
Total Document Downloads in Past 12 Months