Learning goals

Knowledge (remember and understand)

  • Explain the concepts of hybrid time and hybrid time domain. Sketch some hybrid time domain.
  • Explain the concept of a hybrid arc and hybrid execution (solution). What must such execution satisfy?
  • Enumerate a few types of hybrid executions based on the type of their hybrid time domain.
  • Explain what it means for a hybrid system to be nonblocking.
  • Explain the various causes of non-determinism in a hybrid system.

Skills (use the knowledge to solve a problem)

Back to top