Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:dernehl [2013/12/07 20:15] dernehl [Forschungsgebiete] |
lehrstuhl:mitarbeiter:dernehl [2015/10/27 16:41] dernehl [Projekte] |
||
---|---|---|---|
Zeile 11: | Zeile 11: | ||
\\ | \\ | ||
Adresse: Ahornstr. 55, 52074 Aachen\\ | Adresse: Ahornstr. 55, 52074 Aachen\\ | ||
- | Büro: Raum 2322 (Gebäude H) | + | Büro: Raum 2322 (Gebäude H) |
|} | |} | ||
+ | |||
+ | ===== Abschlussarbeiten ===== | ||
+ | * {{:lehre:abschlussarbeiten:tg:ba_dhg_artshop_static_stateflow.pdf|Statische Analyse von Matlab/Simulink Stateflow-Charts}} | ||
+ | * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} | ||
+ | * [[:lehre:abschlussarbeiten:cd_stateflow_analysis]] | ||
===== Forschungsgebiete ===== | ===== Forschungsgebiete ===== | ||
- | * Autonomie und Flugführung für Kleinstfluggeräte (MAVs) | + | * Automatisierung und Flugführung für Kleinstfluggeräte (MAVs) |
* Statische Analye von Blockdiagrammen | * Statische Analye von Blockdiagrammen | ||
* Model Checking von Blockdiagrammen | * Model Checking von Blockdiagrammen | ||
Zeile 22: | Zeile 27: | ||
===== Projekte ===== | ===== Projekte ===== | ||
+ | * [[https://artshop.embedded.rwth-aachen.de/|artshop]] | ||
* [[forschung:imav|]] | * [[forschung:imav|]] | ||
+ | |||
+ | |||
+ | ===== Frühere Projekte ===== | ||
+ | |||
* [[forschung:carolo_cup]] | * [[forschung:carolo_cup]] | ||