Transition system models
A system S is a tuple (?????? ?)
?: set with variables ranging over finite domains
- state variables (?s)
- control variables (?c)
- dependent variables (?d)
- observable variables (?o)
? : set of feasible assignments
- Let ?s be the projection of ? on ?s
- each element of ?s is a state
? : set of transitions
- each transition is a function ?????s
- a single transition ?n ? ? is the nominal transition
- all other transitions are failure transitions