Maria Domenica Di Benedetto Stefano Di Gennaro Alessandro D'Innocenzo Diagnosability of hybrid automata with measurement uncertainty. 1042-1047 2008 CDC http://dx.doi.org/10.1109/CDC.2008.4739403 conf/cdc/2008 db/conf/cdc/cdc2008.html#BenedettoGD08