Transition systems

• Explicitly model mode transitions (including self-transitions)

  • commanded transitions with preconditions
  • failure (uncommanded) transitions
  • repair transitions
  • intermittency

Previous slide

Next slide

Back to first slide

View graphic version