Timed AutomataIntelligent Light Control

Off

Light

Bright

Solution: Add real-valued clock x

X:=0

X<=3

Xɯ

press?

Press?

press?

Press?

Previous slide

Next slide

Back to first slide

View graphic version