PPT Slide

Hybrid AutomataMultirate & Drifting Clocks

n

m

a

Henzinger, Pnueli,.. 1993

Clocks: x rate [1,1];

y rate [1,3];

i rate [0,0]

x<=5 & yɯ & iɞ

x := 0; i:=i*3+7

Transitions

( n , x=2.4 , y=3.1415 , i=3)

( n , x=3.4 , y=5 , i=3)

e(1)

( n , x=2.4 , y=3.1415 , i=3)

( m , x=0 , y=3.1415 , i=16 )

a

Previous slide

Next slide

Back to first slide

View graphic version