Model-based Health Monitoring of Hybrid Systems