A hybrid architecture for diagnosis in hybrid systems with applications to spacecraft propulsion system | IEEE Conference Publication | IEEE Xplore