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
![[img]](http://eprints.uwe.ac.uk/5906/1.hassmallThumbnailVersion/On_Formal_Specification_of_Emergent_Behaviours_in_Swarm_Robotic_Systems[1].pdf)  Preview |
|
PDF
- Published Version
371Kb |
Publisher's URL: http://www.intechweb.org/journal.php?id=3
| 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. |
|---|
| 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 |
|---|
| ID Code: | 5906 |
|---|
| Deposited By: |
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
Follow us