Rüdiger Lunde

Prof. Dr. rer.nat.

Vorsitz Prüfungsausschuss INF, CTS, TI, ICS, DSM, MD, IS (seit 9/2014)

Computer Science

Institute for Applied Research
Institute of Computer Science

Field of teaching
Intelligente und kognitive Systeme

Consultation hours
Nach Vereinbarung per Email


Knowledge-based systems

Model based reliability and safety analysis

Intelligent map and navigation applications

Rüdiger Lunde, Philipp Hönig, Christian Müller. Reasoning about Different Orders of Magnitude of Time with smartIflow. IFAC-PapersOnLine, 51(24), 2018.https://doi.org/10.1016/j.ifacol.2018.09.546

Christian Müller, Philipp Hönig, Rüdiger Lunde. Evaluation of smartIflow based on the Wheel Brake System from ARP4761. IFAC-PapersOnLine, 51(24), 2018.https://doi.org/10.1016/j.ifacol.2018.09.573

F. Gaisbauer, P. Agethen, R. Lunde, E. Rukzio. Iterative Path Adaption (IPA): Predictive Trajectory-Estimation Using Static Pathfinding Algorithms. In 11th CIRP Conference on INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING (ICME'17), Naples, Italy, 2017.https://doi.org/10.1016/j.procir.2017.12.170

Philipp Hönig, Rüdiger Lunde, Florian Holzapfel. Model Based Safety Analysis with smartIflow. Information, 8(1), 2017.http://www.mdpi.com/2078-2489/8/1/7/pdf

Philipp Hönig, Rüdiger Lunde, Florian Holzapfel. Formal Verification of Technical Systems Using smartIflow and CTL. In Proceedings of the 2nd International Conference on Applications in Information Technology (ICAIT-2016). The University of Aizu Press, Aizu, Japan, 2016.HoenigLunde-ICAIT2016.pdf

Alle Publikationen

Technische Hochschule Ulm
Prof. Dr. R.  Lunde
Prittwitzstraße 10
89075 Ulm
Room: A 306a
Fon: +49 (0731) 50-28008

Go to top of page

Hochschule Ulm
© April 2019