Professional Documents
Culture Documents
04 ExtendedAndTimedAutomata
04 ExtendedAndTimedAutomata
04 ExtendedAndTimedAutomata
Embedded Systems
state
initial state
transition
self loop
Continuous System
flow
... t
(a) 20
h t1 t1 + Th
h(t)
1 ... t
(b) 0
s(t)
Tc
... t
(c) 0
Exhaust manifold
Fuel injectors
Measured
A/F
Software
Measured
Air Flow
y1(t)
y2(t)
Displacement of Masses
3.0 y1(t)
y2(t)
2.5
2.0
1.5
1.0
0.5
0.0
0 5 10 15 20 25 30 35 40 45 50
time
y2(t)
Displacement of Masses
3.0 y1(t)
y2(t)
2.5
2.0
1.5
1.0
0.5
0.0
0 5 10 15 20 25 30 35 40 45 50
time