Modeling the Plant
System S is a tuple (????????Williams & Nayak 96b]
? : set of variables ranging over finite domains
- state variables (?s)
- values are partitioned into nominal and failure values
- control variables (?c)
- dependent variables (?d)
- observable variables (?o)
A set of feasible assignments, ??
Specification ?? of ??is in propositional logic.
Propositions are of the form yk = ek
yk is a variable in ?, and ek is in yk’s domain
??is the set of assignments that satisfy ??