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

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
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.