Timed Automata Intelligent Light Control
Off
Light
Bright
press?
Press?
press?
Press?
WANT: if press is issued twice quickly
then the light will get brighter; otherwise the light is
turned off.
Previous slide
Next slide
Back to first slide
View graphic version