Model-based Health Monitoring of Hybrid Systems | EKB DL