$\vec{w}h\alpha\mathfrak{t}\;\; i\mathbb{S}\ldots$

a hybrid automaton?


Who?
Shahrad Jamshidi (FU Berlin)
When?
2010/06/25, 16:30
Where?
FU Berlin, Arnimallee 6, SR 031
About what?

A thermostat maintains a constant temperature via a switching mechanism. This discrete switch and the evolution of the temperature can be modelled using a hybrid automaton. In this talk we will discuss the advantages and disadvantages of this modelling method.