1. Aloui, K., Hammadi, M., Soriano, T., Guizani, A., Haddar, M.: On the continuity of the swarm robot design using MBSE method and simulation. In: 13th International Conference on Modelling, Optimization and Simulation (MOSIM 2020) (2020)
2. Applied Condition Monitoring;R Ammar,2019
3. Arkin, R.C., et al.: Behavior-based robotics. MIT Press (1998)
4. Borshchev, A., Karpov, Y., Kharitonov, V.: Distributed simulation of hybrid systems with AnyLogic and HLA. Futur. Gener. Comput. Syst. 18, 829–839 (2002)
5. Brambilla, M., Brutschy, A., Dorigo, M., Birattari, M.: Property-driven design for robot swarms: a design method based on prescriptive modeling and model checking. ACM Trans. Autonom. Adapt. Syst. 9, 1–28 (2014)