Info

Manuele Brambilla, Ph.D.
-
mbrambilla @at@ iridia .dot. ulb .dot. ac .dot. be

Publications

  2015 (3)
AutoMoDe-Chocolate: automatic design of control software for robot swarms. Francesca, G.; Brambilla, M.; Brutschy, A.; Garattoni, L.; Miletitch, R.; Podevijn, G.; Reina, A.; Soleymani, T.; Salvaro, M.; Pinciroli, C.; and others Swarm Intelligence, 9(2-3): 125--152. 2015.
bibtex
The TAM: abstracting complex tasks in swarm robotics research. Brutschy, A.; Garattoni, L.; Brambilla, M.; Francesca, G.; Pini, G.; Dorigo, M.; and Birattari, M. Swarm Intelligence, 9(1): 1--22. 2015.
bibtex
Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking. Brambilla, M.; Brutschy, A.; Dorigo, M.; and Birattari, M. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 9(4): 17. 2015.
bibtex
  2014 (3)
An experiment in automatic design of robot swarms. Francesca, G.; Brambilla, M.; Brutschy, A.; Garattoni, L.; Miletitch, R.; Podevijn, G.; Reina, A.; Soleymani, T.; Salvaro, M.; Pinciroli, C.; and others In International Conference on Swarm Intelligence, pages 25--37, 2014. Springer International Publishing
bibtex
AutoMoDe: A novel approach to the automatic design of control software for robot swarms. Francesca, G.; Brambilla, M.; Brutschy, A.; Trianni, V.; and Birattari, M. Swarm Intelligence, 1--24. 2014.
bibtex
Swarm robotics. Dorigo, M.; Birattari, M.; and Brambilla, M. Scholarpedia, 9(1): 1463. 2014.
bibtex
  2013 (4)
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Massink, M.; Brambilla, M.; Latella, D.; Dorigo, M.; and Birattari, M. Swarm Intelligence, 7(2--3): 201-228. 2013.
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics [pdf]Paper   doi   bibtex   9 downloads
Swarm robotics: A review from the swarm engineering perspective. Brambilla, M.; Ferrante, E.; Birattari, M.; and Dorigo, M. Swarm Intelligence, 7(1): 1--41. 2013.
Swarm robotics: A review from the swarm engineering perspective [pdf]Paper   bibtex   23 downloads
Swarmanoid: a novel concept for the study of heterogeneous robotic swarms. M.~Dorigo; D.~Floreano; L.M.~Gambardella; F.~Mondada; S.~Nolfi; T.~Baaboura; M.~Birattari; M.~Bonani; M.~Brambilla; A.~Brutschy; D.~Burnier; A.~Campo; A.L.~Christensen; A.~Decugnière; G.~Di Caro; F.~Ducatelle; E.~Ferrante; A.~Forster; J.~Martinez Gonzales; J.~Guzzi; V.~Longchamp; S.~Magnenat; N.~Mathews; M.~Montes de Oca; R.~O'Grady; C.~Pinciroli; G.~Pini; P.~Retornaz; J.~Roberts; V.~Sperati; T.~Stirling; A.~Stranieri; T.~Stutzle; V.~Trianni; E.~Tuci; A.E.~Turgut; and F.~Vaussard IEEE Robotics & Automation Magazine, 20(4): 60--71. 2013. Note: authors after the fifth position are in alfabetical order
bibtex
Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport. Ferrante, E.; Brambilla, M.; Birattari, M.; and Dorigo, M. In International Symposium on Distributed Autonomous Robotics Systems (DARS-2010), volume 83, of Springer Tracts in Advanced Robotics, pages 571--583. Springer, Berlin, Heidelberg, 2013.
Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport [pdf]Paper   bibtex   buy   4 downloads
  2012 (5)
ARGoS: A Modular, Parallel, Multi-Engine Simulator for Multi-Robot Systems. Pinciroli, C.; Trianni, V.; O'Grady, R.; Pini, G.; Brutschy, A.; Brambilla, M.; Mathews, N.; Ferrante, E.; Di Caro, G.; Ducatelle, F.; Birattari, M.; Gambardella, L. M.; and Dorigo, M. Swarm Intelligence, 6(4): 271--295. 2012.
bibtex
Towards a Formal Verification Methodology for Collective Robotic Systems. Gjondrekaj, E.; Loreti, M.; Pugliese, R.; Tiezzi, F.; Pinciroli, C.; Brambilla, M.; Birattari, M.; and Dorigo, M. In Formal Methods and Software Engineering, volume 7635, of Lecture Notes in Computer Science, pages 54-70. Springer, Berlin, Heidelberg, 2012.
bibtex   buy
Analysing an Evolved Robotic Behaviour Using a Biological Model of Collegial Decision Making. Francesca, G.; Brambilla, M.; Trianni, V.; Dorigo, M.; and Birattari, M. In From Animals to Animats 12, volume 7426, of Lecture Notes in Computer Science, pages 381-390. Springer, Berlin, Heidelberg, 2012.
bibtex   buy
Analysing Robot Swarm Decision-Making with Bio-PEPA. Massink, M.; Brambilla, M.; Latella, D.; Dorigo, M.; and Birattari, M. In Swarm Intelligence, volume 7461, of Lecture Notes in Computer Science, pages 25-36. Springer Berlin Heidelberg, 2012.
bibtex   buy
Property-driven design for swarm robotics. Brambilla, M.; Pinciroli, C.; Birattari, M.; and Dorigo, M. In Conitzer, W.; and van der Hoek, editor(s), Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pages 139--146. International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org/Proceedings/aamas2012), 2012.
Property-driven design for swarm robotics [pdf]Paper   bibtex   buy   8 downloads
  2011 (2)
Collective Transport with Obstacle Avoidance through Socially-Mediated Negotiation. Brambilla, M.; Birattari, M.; and Dorigo, M. 2011. Rapport d'avancement des recherches
Collective Transport with Obstacle Avoidance through Socially-Mediated Negotiation [pdf]Paper   bibtex
ARGoS: a Modular, Multi-Engine Simulator for Heterogeneous Swarm Robotics. Pinciroli, C.; Trianni, V.; O'Grady, R.; Pini, G.; Brutschy, A.; Brambilla, M.; Mathews, N.; Ferrante, E.; Caro, G. D.; Ducatelle, F.; Stirling, T.; Gutierrez, A.; Gambardella, L. M.; and Dorigo, M. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011), pages 5027--5034. IEEE Computer Society Press, Los Alamitos, CA, September 2011.
ARGoS: a Modular, Multi-Engine Simulator for Heterogeneous Swarm Robotics [pdf]Paper   bibtex   buy
  2010 (1)
Look Out!: Socially-Mediated Obstacle Avoidance in Collective Transport. Ferrante, E.; Brambilla, M.; Birattari, M.; and Dorigo, M. In Proceedings of the Seventh International Conference on Swarm Intelligence (ANTS-2010), of Lecture Notes in Computer Science, pages 572-573. Springer, 2010.
Look Out!: Socially-Mediated Obstacle Avoidance in Collective Transport [pdf]Paper   bibtex   buy
  2009 (3)
ASEBA for ARGoS. Brambilla, M.; Magnenat, S.; and Pinciroli, C. Technical Report TR/IRIDIA/2009-016, IRIDIA, Université Libre de Bruxelles, Brussels, Belgium, 2009.
ASEBA for ARGoS [pdf]Paper   bibtex
A Reliable Distributed Algorithm for Group Size Estimation with Minimal Communication Requirements. Brambilla, M.; Pinciroli, C.; Birattari, M.; and Dorigo, M. In Erwin~Prassel; and others, editor(s), The 14th International Conference on Advanced Robotics (ICAR 2009), pages 6. Proceedings on CD-ROM, paper ID 137, 2009.
A Reliable Distributed Algorithm for Group Size Estimation with Minimal Communication Requirements [pdf]Paper   bibtex   buy   3 downloads
Group Size Estimation in Swarm Robotics. Brambilla, M. 2009. Master thesis, Politecnico di Milano, Italy
Group Size Estimation in Swarm Robotics [pdf]Paper   bibtex   3 downloads