Supervisory control theory applied to swarm robotics

Lopes, Y.K., Trenkwalder, S.M., Leal, A.B. et al. (2 more authors) (2016) Supervisory control theory applied to swarm robotics. SWARM INTELLIGENCE, 10 (1). pp. 65-97. ISSN 1935-3812



Copyright, Publisher and Additional Information: © The Author(s) 2016 This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Keywords: Supervisory control theory; Swarm robotics; Formal methods; Kilobot; e-puck; Automatic code generation
  • Accepted: 27 January 2016
  • Published: 25 February 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 19 Jul 2016 09:59
Last Modified: 19 Jul 2016 09:59
Published Version:
Status: Published
Publisher: Springer Verlag
Refereed: Yes
Identification Number:
Related URLs: