elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Formale Modellierung des Entscheidungssystems für einen autonomen Hubschrauber

Adolf, Florian-Michael und Flohr, Andreas und Müller, Jörg R. (2008) Formale Modellierung des Entscheidungssystems für einen autonomen Hubschrauber. Entwurf komplexer Automatisierungssysteme (EKA) - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen (10).

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

Diese Arbeit stellt einen Beschreibungs- und Implementierungsansatz für das Entscheidungssystem eines unbemannten Hubschraubers vor. Ein solches Entscheidungssystem dient als maschineller Pilot, mit dessen Hilfe die Arbeitslast zur Bedienung verringert und mögliche Fehlersituationen vermieden werden können. Eine wesentliche Anforderung an das System besteht im Nachweis der korrekten Funktion von definierten Abläufen. In dieser Arbeit wird hierzu die Modellierung und Implementierung mithilfe von Petrinetzen erörtert. Dabei stehen vor allem die Praxistauglichkeit der Petrinetz-Modellierung bezüglich Werkzeugunterstützung sowie die technische Integrationsmöglichkeit in das fliegende System im Vordergrund. Im Ergebnis wurde ein Petri-Netzmodell des Systems erstellt, welche sich durch das Werkzeug Netlab in ein Matlab Simulink Simulation integriert und mithilfe von Realtime Workshop-basierter Code-Generierung in das fliegende System integrieren lässt.

Dokumentart:Tagungsband
Titel:Formale Modellierung des Entscheidungssystems für einen autonomen Hubschrauber
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID
Adolf, Florian-Michaelflorian.adolf@dlr.deNICHT SPEZIFIZIERT
Flohr, AndreasRholf@gmx.deNICHT SPEZIFIZIERT
Müller, Jörg R.mueller@iva.ing.tu-bs.deNICHT SPEZIFIZIERT
Datum:Juni 2008
Referierte Publikation:Nein
In Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Seitenanzahl:353
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der Herausgeber
Jumar , Ulrichulrich.jumar@ifak.eu
Name der Reihe:Entwurf komplexer Automatisierungssysteme (EKA) - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen
Status:veröffentlicht
Stichwörter:Nachweisführung, UAV, Missionsmanagement, ARTIS
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Drehflügler (alt)
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L RR - Drehflüglerforschung
DLR - Teilgebiet (Projekt, Vorhaben):L - Der intelligente Drehflügler (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Unbemannte Luftfahrzeuge
Hinterlegt von: Adolf, Florian-Michael
Hinterlegt am:14 Feb 2013 11:08
Letzte Änderung:14 Feb 2013 11:08

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.