Forschungsportal Sachsen-Anhalt
« Publikationen
Publikation

Qualitative and quantitative formal model-based safety analysis - push the safety button

Güdemann, Matthias ; Ortmeier, Frank [Gutachter] ; Kruse, Rudolf [Gutachter]
Magdeburg, Univ., Fak. für Informatik, Diss., 2011; 5, VIII, 195 S.: graph. Darst.
Bibliographie: Dissertation
Prof. Dr. Rudolf Kruse

Universitätsplatz 2

39106 Magdeburg

Tel.+49 391 6758706

Fax:+49 391 6712018

kruse@iws.cs.uni-magdeburg.de

Unsere Arbeitsgruppe Computational Intelligence befasst sich mit Methoden der Künstlichen Intelligenz, wobei derzeit insbesondere neue Methoden zur Intelligenten Datenanalyse erforscht werden. Wir nutzen häufig Methoden aus den Bereichen der Neuronalen Netze, der Fuzzy-Systeme, der Evolutionären Algorithmen, der Bayesschen Netze und des approximativen Schließens. Diese Methoden sind besonders geeignet, in Anwendungen einfach zu handhabende, robuste und günstige Problemlösungen zu finden.
Weitere Publikationen der Autoren