Yi Deng, Alessandro D'Innocenzo, A. Agung Julius: Trajectory-based observer for hybrid automata fault diagnosis. CDC 2015: 942-947