Fault modeling for monitoring and diagnosis of sensor-rich hybrid systems | IEEE Conference Publication | IEEE Xplore