Mode identification via Consistency-based diagnosis
Each component has an associated state variable
- values partitioned into nominal values and failure values
Mode identification involves finding state variable assignments consistent with the observations
- each state variable can be assigned either the most recently commanded nominal value or one of the failure values