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:14] dernehl [Lehre] |
lehrstuhl:mitarbeiter:dernehl [2014/01/06 12:43] dernehl |
||
---|---|---|---|
Zeile 16: | Zeile 16: | ||
===== Forschungsgebiete ===== | ===== Forschungsgebiete ===== | ||
- | * Autonomie und Flugführung für Kleinstfluggeräte (MAVs) | + | * Automatisierung und Flugführung für Kleinstfluggeräte (MAVs) |
+ | * Statische Analye von Blockdiagrammen | ||
+ | * Model Checking von Blockdiagrammen | ||
===== Projekte ===== | ===== Projekte ===== |