Defining Reversibility

Definition:

• An assignment y = ek can be Reversibly achieved starting at y = ei if there exists a path along Allowed transitions from initial value ei to ek and back.

• A transition is Allowed if all its state conditions are Reversible.

dcmdin = on

dcmdin = off

dcmdin = reset

On

Off

Resettable

Permanent

failure

Closed

Open

Stuck

open

Stuck

closed

dr = on,

dcmdin = open

dr=on

vcmdin = close

Previous slide

Next slide

Back to first slide

View graphic version