https://1library.org/document/zgrg2p7q-reachability-based-diagnosability-for-hybrid-systems.html