Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Making the Case for Safety of Machine Learning in Highly Automated Driving Kapitel lesen Erstes Kapitel lesen

2017 | Supplement | Buchkapitel

Safety-Aware Control of Swarms of Drones

verfasst von : Amin Majd, Elena Troubitsyna, Masoud Daneshtalab

Erschienen in: Computer Safety, Reliability, and Security

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems
Nächstes Kapitel Representation of Safety Standards with Semantic Technologies Used in Industrial Environments
Literatur
1.
Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing. Springer, Heidelberg (2003)CrossRefMATH
2.
Atashpaz-Gargari, E., Lucas, C.: Imperialist competitive algorithm: an algorithm for optimization inspired by imperialistic competition. IEEE Congress Evol. Comput. 7, 4661–4666 (2007)
3.
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)
4.
5.
Siegwart, R., Nourbakhsh, I.R.: Introduction to Autonomous Mobile Robots. MIT Press, Cambridge (2004)
6.
Fraichard, T.: A short paper about motion safety. In: The IEEE International Conference on Robotics and Automation (2007)
7.
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)
8.
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)
9.
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)
10.
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)
11.
Troubitsyna, E.: Stepwise development of dependable systems. PhD Thesis. Turku Centre for Computer Science TUCS (2000)
12.
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)
13.
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 CrossRef
14.
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)
15.
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 CrossRef
16.
Troubitsyna E.: Integrating Safety Analysis into Formal Specification of Dependable Systems. In: International Symposium on Parallel and Distributed Processing, IEEE, (2003)
17.
Sere, K., Troubitsyna, E.: Probabilities in action systems. In: 8th Nordic Workshop on Programming Theory, pp. 373–387 (1996)
18.
Troubitsyna, E.A.: Reliability assessment through probabilistic refinement. Nordic J. Comput. 6(3), 320–342 (1999)MathSciNetMATH
19.
20.
Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Integrating Stochastic Reasoning into Event-B Development. Formal Aspects Comput. 27(1), 53–77 (2015)MathSciNetCrossRefMATH
21.
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)CrossRef
22.
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 CrossRef
Metadaten
Titel
Safety-Aware Control of Swarms of Drones
verfasst von
Amin Majd
Elena Troubitsyna
Masoud Daneshtalab
Copyright-Jahr
2017
Buch
Computer Safety, Reliability, and Security

Print ISBN: 978-3-319-66283-1

Electronic ISBN: 978-3-319-66284-8

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-66284-8_21