EECS20N: Signals and Systems

Parking Meter Example

Consider the parking meter as a timed automaton:

Notice that s does not change in the expired state, and decreases with slope 1 in the safe state. This model seems better than our previous model, which had to count the passage of time with discrete states.