8. Consider the following timed automaton: continuous variable: s ER output: a : pure s(0) :=1/ s(t) = 1/ s(t):= 0 s(t) = 12 / a s(t):=0 S1 s(t)= 1 s(t)=t / a s(t):=0 s(t)=1 / s(t):=0 Assume t and t2 are positive real numbers. What is the minimum amount of time between events a? That is, what is the smallest possible time between two times when the signal a is present? 8. Consider the following timed automaton: continuous variable: s ER output: a : pure s(0) :=1/ s(t) = 1/ s(t):= 0 s(t) = 12 / a s(t):=0 S1 s(t)= 1 s(t)=t / a s(t):=0 s(t)=1 / s(t):=0 Assume t and t2 are positive real numbers. What is the minimum amount of time between events a? That is, what is the smallest possible time between two times when the signal a is present