Werke:
- Komponentenbasierte Überwachung hybrider Systeme durch den Einsatz formaler Methoden
- Hierarchical Hybrid Monitoring for Autonomous Systems
- An Integrated Monitor-Diagnosis-Reconfiguration Scheme for (Semi-) Autonomous Systems
- Dependable component-based design on the Example of a Heating Control System