Abstract
In this paper, we propose a novel approach to ensuring safety while planning and controlling an operation of swarms of drones. We derive the safety constraints that should be verified both during the mission planning and at the run-time and propose an approach to safety-aware mission planning using evolutionary algorithms. High performance of the proposed algorithm allows us to use it also at run-time to predict and resolve in a safe and optimal way dynamically emerging hazards. The benchmarking of the proposed approach validate its efficiency and safety.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing. Springer, Heidelberg (2003)
Atashpaz-Gargari, E., Lucas, C.: Imperialist competitive algorithm: an algorithm for optimization inspired by imperialistic competition. IEEE Congress Evol. Comput. 7, 4661–4666 (2007)
Majd, A., Lofti, S., Sahebi, G., Daneshtalab, M., Plosila, J.: PICA: multi-population implementation of parallel imperialist competitive algorithms. In: 24th Euromicro Imternational Conference of Parallel, Distributed and Network-Based Processing, pp. 248–255. IEEE (2016)
Dijkstra, E.W.: A note on two problems in connexion with graphs. Numer. Math. 1, 269–271 (1959)
Siegwart, R., Nourbakhsh, I.R.: Introduction to Autonomous Mobile Robots. MIT Press, Cambridge (2004)
Fraichard, T.: A short paper about motion safety. In: The IEEE International Conference on Robotics and Automation (2007)
Macek, K., Vasquez, D., Fraichard, T., Siegwart, R.: Safe vehicle navigation in dynamic urban scenarios. In: 11th International IEEE Conference on Intelligent Transportation Systems, pp. 482–489, Beijing, China (2008)
Aniculaesei, A., Arnsberger, D., Howar, F., Rausch, A.: Towards the verification of safety-critical autonomous systems in dynamic environments. In: 1st International Workshop on Verification and Validation of Cyber Physical Systems – V2CPS, EPTCS 232, pp. 79–90 (2016)
Petti, S., Fraichard, T.: Partial motion planning framework for reactive planning within dynamic environments. In: The IFAC/AAAI International Conference on Informatics in Control, Automation and Robotics (2005)
Iliasov, A., Romanovsky, A., Laibinis, L., Troubitsyna, E., Latvala, T.: Augmenting Event-B Modelling with real-time verification. In: FormSERA@ICSE, pp. 51–57. IEEE Computer (2012)
Troubitsyna, E.: Stepwise development of dependable systems. PhD Thesis. Turku Centre for Computer Science TUCS (2000)
Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.: On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing – ISORC 2007, pp. 141–145 IEEE (2007)
Sere, K., Troubitsyna, E.: Hazard analysis in formal specification. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 350–360. Springer, Heidelberg (1999). doi:10.1007/3-540-48249-0_30
Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal development of critical multi-agent systems: a refinement approach. In: 9th European Dependable Computing Conference – EDCC 2012, pp. 156–161. IEEE (2012)
Laibinis, L., Troubitsyna, E., Iliasov, A., Romanovsky, A.: Rigorous development of fault-tolerant agent systems. In: Butler, M., Jones, Cliff B., Romanovsky, A., Troubitsyna, E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS, vol. 4157, pp. 241–260. Springer, Heidelberg (2006). doi:10.1007/11916246_13
Troubitsyna E.: Integrating Safety Analysis into Formal Specification of Dependable Systems. In: International Symposium on Parallel and Distributed Processing, IEEE, (2003)
Sere, K., Troubitsyna, E.: Probabilities in action systems. In: 8th Nordic Workshop on Programming Theory, pp. 373–387 (1996)
Troubitsyna, E.A.: Reliability assessment through probabilistic refinement. Nordic J. Comput. 6(3), 320–342 (1999)
Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Towards Probabilistic Modelling in Event-B. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 275–289. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16265-7_20
Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Integrating Stochastic Reasoning into Event-B Development. Formal Aspects Comput. 27(1), 53–77 (2015)
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A., Varpaaniemi, K., Ilic, D., Latvala, T.: Developing Mode-Rich Satellite Software by Refinement in Event-B. Sci. Comput. Program. 78(7), 884–905 (2013)
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A., Varpaaniemi, K., Ilic, D., Latvala, T.: Developing Mode-Rich Satellite Software by Refinement in Event B. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol. 6371, pp. 50–66. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15898-8_4
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Majd, A., Troubitsyna, E., Daneshtalab, M. (2017). Safety-Aware Control of Swarms of Drones. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security . SAFECOMP 2017. Lecture Notes in Computer Science(), vol 10489. Springer, Cham. https://doi.org/10.1007/978-3-319-66284-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-66284-8_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66283-1
Online ISBN: 978-3-319-66284-8
eBook Packages: Computer ScienceComputer Science (R0)