效绵县 What is a Timed Automaton?(2) X>2 Z<3 off on y=9 real valued clocks (x,y,Z) ■ all clocks run at the same speed clock constraints can be guards on edgesWhat is a Timed Automaton? (2) ◼ real valued clocks (x, y, z) ◼ all clocks run at the same speed ◼ clock constraints can be guards on edges