Abschlussarbeiten

Using Satisfiability-Modulo-Theory to perfom fault diagnosis of hybrid, cyber-physical systems

Autor : Alexander Diedrich
Betreuer : Prof. Dr. rer. nat. Oliver Niggemann
Typ : Master
Forschungsbereich : Artificial Intelligence in Automation
Kontakt : Prof. Dr. rer. nat. Oliver Niggemann