On formal specification of emergent behaviours in swarm robotic systems

Winfield, Alan F.T.; Sa, Jin; Fernandez-Gago, Mari-Carmen; Dixon, Clare; Fisher, Michael

doi:10.5772/5769

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

Alan Winfield Alan.Winfield@uwe.ac.uk
Professor in Robotics

Jin Sa

Mari-Carmen Fernandez-Gago

Clare Dixon

Michael Fisher

Citation

Winfield, A. F., Sa, J., Fernandez-Gago, M., Dixon, C., & Fisher, M. (2005). On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems, 2(4), 363-370. https://doi.org/10.5772/5769

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.