Classic examples

• Specifying a cruise control

• Specifying the traffic lights at an intersection

• Specifying trains on shared tracks

  • Could be managing the bus tunnel in Seattle

• Etc.

Previous slide

Next slide

Back to first slide

View graphic version