Modus Operandi

Physical Plant

Plant Model

Trace

Program

2. Reformulate scheduling as reachability and apply UPPAAL .

3. Synthesise

program.

1. Model plant as networks of timed automata.

Previous slide

Next slide

Back to first slide

View graphic version