Professor Alan Winfield Alan.Winfield@uwe.ac.uk
Professor of Robot Ethics
On formal specification of emergent behaviours in swarm robotic systems
Winfield, Alan F.T.; Sa, Jin; Fernandez-Gago, Mari-Carmen; Dixon, Clare; Fisher, Michael
Authors
Jin Sa
Mari-Carmen Fernandez-Gago
Clare Dixon
Michael Fisher
Journal Article Type | Article |
---|---|
Publication Date | Nov 7, 2005 |
Deposit Date | Jan 22, 2010 |
Publicly Available Date | Feb 10, 2016 |
Journal | International Journal of Advanced Robotic Systems |
Print ISSN | 1729-8806 |
Publisher | SAGE Publications (UK and US) |
Peer Reviewed | Peer Reviewed |
Volume | 2 |
Issue | 4 |
Pages | 363-370 |
DOI | https://doi.org/10.5772/5769 |
Keywords | emergent behaviours, swarm robotic systems |
Public URL | https://uwe-repository.worktribe.com/output/1046313 |
Publisher URL | http://dx.doi.org/10.5772/5769 |
Additional Information | 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. |
Contract Date | Feb 10, 2016 |
Files
On_Formal_Specification_of_Emergent_Behaviours_in_Swarm_Robotic_Systems[1].pdf
(380 Kb)
PDF
You might also like
Editorial: Autonomous (re)production, learning and bio-inspired robotics workshop
(2024)
Journal Article
Evolutionary robotics as a modelling tool in evolutionary biology
(2024)
Journal Article
Towards a unified framework for software-hardware integration in evolutionary robotics
(2024)
Journal Article
Understanding consumer attitudes towards second-hand robots for the home
(2024)
Journal Article
Towards robots with common sense
(2024)
Book Chapter