Application of supervisory control theory to swarms of e-puck and kilobot robots

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8667, Issue , 2014, Pages 62-73

  Lopes, Yuri K ^a   Leal, André B ^b   Dodd, Tony J ^a   Groß, Roderich ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

^b SANTA CATARINA STATE UNIVERSITY   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CONTROL THEORY; ROBOTS; ARTIFICIAL INTELLIGENCE;

CONTROL SOFTWARE; FORMAL APPROACH; HIGH LEVEL CONTROLLERS; SOURCE CODES; SUPERVISORY CONTROL THEORY; SWARM OF ROBOTS; SWARM ROBOTIC SYSTEMS;

SWARM INTELLIGENCE;

EID: 84921758254     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-09952-1_6     Document Type: Article

References (18)

1. Brambilla, M., Ferrante, E., Birattari, M., Dorigo, M.: Swarm robotics: a review from the swarm engineering perspective. Swarm Intelligence 7(1), 1–41 (2013)
2. Brambilla, M., Pinciroli, C., Birattari, M., Dorigo, M.: Property-driven design for swarm robotics. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 139–146 (2012)
3. Dixon, C., Winfield, A., Fisher, M.: Towards temporal verification of emergent behaviours in swarm robotic systems. In: Groß, R., Alboul, L., Melhuish, C., Witkowski, M., Prescott, T.J., Penders, J. (eds.) TAROS 2011. LNCS, vol. 6856, pp. 336–347. Springer, Heidelberg (2011)
4. Gordon-Spears, D., Kiriakidis, K.: Reconfigurable robot teams: modeling and supervisory control. IEEE Transactions on Control Systems Technology 12(5), 763–769 (2004)
5. Leal, A.B., Cruz, D.L.L., Hounsell, M.S.: PLC-based implementation of local modular supervisory control for manufacturing systems. In: Aziz, F.A. (ed.) Manufacturing System, pp. 159–182. In Tech (2012)
6. Liu, J., Darabi, H.: Ladder logic implementation of Ramdge-Wonham supervisory controller. In: Proc. of the WODES, pp. 383–392 (2002)
7. Lopes, Y.K., Leal, A.B., Dodd, T.J., Groß, R.: Online supplementary material (2014), http://naturalrobotics.group.shef.ac.uk/supp/2014-001/
8. Lopes, Y.K., Leal, A.B., Rosso, R.S.U., Harbs, E.: Local modular supervisory implementation in micro-controller. In: Proc. of the 9th International Conference of Modeling, Optimization and Simulation (MOSIM 2012), vol. 9 (2012)
9. Martinoli, A., Easton, K., Agassounon, W.: Modeling swarm robotic systems: A case study in collaborative distributed manipulation. Int. Journal of Robotics Research 23(4-5), 415–436 (2004)
10. Mondada, F., Bonani, M., Raemy, X., Pugh, J., Cianci, C., Klaptocz, A., Magnenat, S., Zufferey, J.C., Floreano, D., Martinoli, A.: The e-puck, a robot designed for education in engineering. In: Proceedings of the 9th Conference on Autonomous Robot Systems and Competitions, vol. 1, pp. 59–65 (2009)
11. Queiroz, M.H., Cury, J.E.R.: Modular control of composed system. In: Proceedings of the American Control Conference, Chicago, pp. 4051–4055 (2000)
12. Queiroz, M.H., Cury, J.E.R.: Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: Proceedings of International Workshop on Discrete Event Systems (WODES), pp. 103–110 (2002)
13. Ramadge, P.J., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)
14. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event process. SIAM J. Control and Optimization 25(1), 206–230 (1987)
15. Rubenstein, M., Ahler, C., Nagpal, R.: Kilobot: A low cost scalable robot system for collective behaviors. In: Proccedings of ICRA 2012, pp. 3293–3298. IEEE (2012)
16. Tsalatsanis, A., Yalcin, A., Valavanis, K.: Optimized task allocation in cooperative robot teams. In: Proc. of the 17th Mediterranean Conference on Control and Automation (MED 2009), pp. 270–275 (2009)
17. Tsalatsanis, A., Yalcin, A., Valavanis, K.P.: Dynamic task allocation in cooperative robot teams. Robotica 30(5), 721–730 (2012)
18. Wonham, W., Ramadge, P.J.: Modular supervisory control of discrete event system. Mathematics of Control, Signals and Systems 1(1), 13–30 (1988)