References

  1. Matthias Althoff & John M. Dolan (2014): Online Verification of Automated Road Vehicles using Reachability Analysis. IEEE Transaction on Robotics 30(4), pp. 903–918, doi:10.1109/tro.2014.2312453.
  2. Ralph Beckers, Owen E Holland & Jean-Louis Deneubourg (2000): From Local Actions to Global Tasks: Stigmergy and Collective Robotics. In: Prerational Intelligence: Interdisciplinary Perspectives on the Behavior of Natural and Artificial Systems 2. Springer, pp. 1008–1022, doi:10.1007/978-94-010-0870-9_63.
  3. Michael Bonani, Valentin Longchamp, Stéphane Magnenat, Philippe Rétornaz, Daniel Burnier, Gilles Roulet, Florian Vaussard, Hannes Bleuler & Francesco Mondada (2010): The MarXbot, a Miniature Mobile Robot Opening New Perspectives for the Collective-robotic Research. In: Proc. of IROS'10. IEEE, pp. 4187–4193, doi:10.1109/iros.2010.5649153.
  4. Manuele Brambilla, Eliseo Ferrante, Mauro Birattari & Marco Dorigo (2013): Swarm Robotics: a Review from the Swarm Engineering Perspective. Swarm Intelligence 7(1), pp. 1–41, doi:10.1007/s11721-012-0075-2.
  5. Manuele Brambilla, Carlo Pinciroli, Mauro Birattari & Marco Dorigo (2012): Property-driven Design for Swarm Robotics. In: Proc. of AAMAS'12. IFAAMAS, pp. 139–146.
  6. John Buck (1988): Synchronous Rhythmic Flashing of Fireflies. The Quarterly Review of Biology 63(3), pp. 265–289, doi:10.1086/394562.
  7. Xin Chen, Erika Abraham & Sriram Sankaranarayanan (2012): Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In: Proc. of RTSS'12. IEEE, pp. 183–192, doi:10.1109/rtss.2012.70.
  8. Xin Chen, Erika Abraham & Sriram Sankaranarayanan (2013): Flow*: An Analyzer for Non-linear Hybrid Systems. In: Proc. of CAV'13, LNCS 8044. Springer, pp. 258–263, doi:10.1007/978-3-642-39799-8_18.
  9. Frederick Ducatelle, Gianni A. Di Caro, Carlo Pinciroli & Luca Maria Gambardella (2011): Self-organized Cooperation between Robotic Swarms. Swarm Intelligence 5(2), pp. 73–96, doi:10.1007/s11721-011-0053-0.
  10. Eliseo Ferrante, Manuele Brambilla, Mauro Birattari & Marco Dorigo (2010): Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport. In: Proc. of DARS'10, Springer Tracts in Advanced Robotics 83. Springer, pp. 571–583, doi:10.1007/978-3-642-32723-0_41.
  11. Goran Frehse (2015): An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. In: Formal Modeling and Verification of Cyber-Physical Systems. Springer, pp. 50–81, doi:10.1007/978-3-658-09994-7_3.
  12. Goran Frehse, Colas Le Guernic, Alexandre Donzé, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang & Oded Maler (2011): SpaceEx: Scalable verification of hybrid systems. In: Proc. of CAV'11, LNCS 6806. Springer, pp. 379–395, doi:10.1007/978-3-642-22110-1_30.
  13. Antoine Girard (2005): Reachability of Uncertain Linear Systems Using Zonotopes. In: Proc. of HSCC'05, LNCS 3414. Springer, pp. 291–305, doi:10.1007/978-3-540-31954-2_19.
  14. Thomas A. Henzinger (1996): The Theory of Hybrid Automata. In: Proc. of LICS'96. IEEE, pp. 278–292, doi:10.1007/978-3-642-59615-5_13.
  15. HyCreate. Available at http://stanleybak.com/projects/hycreate/hycreate.html.
  16. Savas Konur, Clare Dixon & Michael Fisher (2012): Analysing Robot Swarm Behaviour via Probabilistic Model Checking. Robotics and Autonomous Systems 60(2), pp. 199–213, doi:10.1016/j.robot.2011.10.005.
  17. Panagiotis Kouvaros & Alessio Lomuscio (2015): A Counter Abstraction Technique for the Verification of Robot Swarms. In: Proc. of AAAI'15. AAAI Press, pp. 2081–2088.
  18. Panagiotis Kouvaros & Alessio Lomuscio (2015): Verifying Emergent Properties of Swarms. In: Proc. of IJCAI'15. AAAI Press, pp. 1083–1089.
  19. Alex A. Kurzhanskiy & Pravin Varaiya (2007): Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems. IEEE Transactions on Automatic Control 52(1), pp. 26–38, doi:10.1109/tac.2006.887900.
  20. Thomas Halva Labella, Marco Dorigo & Jean-Louis Deneubourg (2004): Efficiency and Task Allocation in Prey Retrieval. In: Proc. of BioADIT'04, LNCS 3141. Springer, pp. 274–289, doi:10.1007/978-3-540-27835-1_21.
  21. Colas Le Guernic & Antoine Girard (2010): Reachability Analysis of Linear Systems using Support Functions. Nonlinear Analysis: Hybrid Systems 4(2), pp. 250–262, doi:10.1016/j.nahs.2009.03.002.
  22. Wenguo Liu, Alan F. T. Winfield, Jin Sa, Jie Chen & LiHua Dou (2006): Strategies for Energy Optimisation in a Swarm of Foraging Robots. In: Proc. of SAB'06, LNCS 4433. Springer, pp. 14–26, doi:10.1007/978-3-540-71541-2_2.
  23. Alessio Lomuscio & Edoardo Pirovano (2018): Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. In: Proc. of IJCAI'18. ijcai.org, pp. 403–409, doi:10.24963/ijcai.2018/56.
  24. Alessio Lomuscio & Edoardo Pirovano (2019): A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. In: Proc. of AAMAS'19. International Foundation for Autonomous Agents and Multiagent Systems, pp. 161–169. Available at http://hdl.handle.net/10044/1/20101.
  25. Maja J. Mataric (1993): Designing Emergent Behaviors: From Local Interactions to Collective Intelligence. In: Proc. of SAB'93, pp. 432–441.
  26. Renato E Mirollo & Steven H Strogatz (1990): Synchronization of Pulse-coupled Biological Oscillators. SIAM Journal on Applied Mathematics 50(6), pp. 1645–1662, doi:10.1137/0150098.
  27. Francesco Mondada, Giovanni C. Pettinaro, André Guignard, Ivo W. Kwee, Dario Floreano, Jean-Louis Deneubourg, Stefano Nolfi, Luca Maria Gambardella & Marco Dorigo (2004): Swarm-Bot: A New Distributed Robotic Concept. Autonomous Robots 17(2-3), pp. 193–221, doi:10.1023/b:auro.0000033972.50769.1c.
  28. Ramon E. Moore, Ralph Baker Kearfott & Michael J. Cloud (2009): Introduction to Interval Analysis. SIAM, doi:10.1137/1.9780898717716.
  29. Lynne E. Parker (2000): Current State of the Art in Distributed Autnomous Mobile Robotics. In: Proc. of DARS'00. Springer, pp. 3–14, doi:10.1007/978-4-431-67919-6_1.
  30. Joaquín Peña, Christopher A. Rouff, Mike Hinchey & Antonio Ruiz Cortés (2011): Modeling NASA Swarm-based Systems: Using Agent-oriented Software Engineering and Formal Methods. Software and System Modeling 10(1), pp. 55–62, doi:10.1007/s10270-009-0135-2.
  31. Carlo Pinciroli, Vito Trianni, Rehan O'Grady, Giovanni Pini, Arne Brutschy, Manuele Brambilla, Nithin Mathews, Eliseo Ferrante, Gianni Di Caro, Frederick Ducatelle, Mauro Birattari, Luca Maria Gambardella & Marco Dorigo (2012): ARGoS: A Modular, Parallel, Multi-engine Simulator for Multi-robot Systems. Swarm Intelligence 6(4), pp. 271–295, doi:10.1007/s11721-012-0072-5.
  32. Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski & James L. Rash (2004): Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. In: Proc. of SEFM'04. IEEE, pp. 24–33.
  33. Erol Sahin (2004): Swarm Robotics: From Sources of Inspiration to Domains of Application. In: Proc. of SAB'04, LNCS 3342. Springer, pp. 10–20, doi:10.1007/978-3-540-30552-1_2.
  34. Sriram Sankaranarayanan, Thao Dang & Franjo Ivanči\'c (2008): Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. In: Proc. of TACAS'08, LNCS 4963. Springer, pp. 188–202.
  35. Stefan Schupp (2019): State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems. Dissertation. RWTH Aachen University, doi:10.18154/RWTH-2019-08875. Available at http://publications.rwth-aachen.de/record/767529.
  36. Stefan Schupp, Erika Abraham, Ibtissem Ben Makhlouf & Stefan Kowalewski (2017): HyPro: A C++ Library for State Set Representations for Hybrid Systems Reachability Analysis. In: Proc. of NFM'17, LNCS 10227. Springer, pp. 288–294, doi:10.1007/978-3-319-57288-8_20.
  37. Stefan Schupp, Johanna Nellen & Erika Abraham (2017): Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. In: Proc. of QAPL'17, EPTCS 250, pp. 1–14, doi:10.4204/eptcs.250.1.
  38. Thomas Walker (1969): Synchronous Rhythmic Flashing of Fireflies. Acoustic Synchrony: Two Mechanisms in the Snowy Tree Cricket 166(3907), pp. 891–894.
  39. Arthur Winfree (1967): Biological Rhythms and the Behavior of Populations of Coupled Oscillators. Journal of Theoretical Biology 16(1), pp. 15–42, doi:10.1016/0022-5193(67)90051-3.
  40. Günter M. Ziegler (1995): Lectures on polytopes 152. Springer Science & Business Media, doi:10.1007/978-3-0348-8438-9_1.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org