Concurrent Transition Systems

• Represent probability of uncommanded transitions and cost of commanded transitions

• Can model

  • Reliability
  • Optimal control

Closed

Valve Driver

On

Off

Resettable

failure

Permanent

failure

Valve

Open

Stuck

open

Stuck

closed

Open 2

Close

2

Turn

on 2

Turn

off 2

Turn

off 2

Reset 1

0.1

0.1

0.01

0.01

0.1

0.1

0.05

0.01

Previous slide

Next slide

Back to first slide

View graphic version