[Formal Methods in Emb. Sys.] Construction of Zone graph

[ibogi]

Hello everybody,

I started studying this stuff, and (of course) came upon a few things, which are not clear at all. First to ask a question:

if we are given a timed automaton, how do we construct a zone graph. I see a lot of formulas, and a blury example which doesn't answers my question. I am very grateful, if someone answers.

[ibogi]

Ich bitte den Administrator dieses Thema in die praktische Informatik zu verschieben.

Another question: Section 16, slide 10, can somebody explain why is that theory there anyway. What is MFP and what MOP, because there are no examples there.