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