Académique Documents
Professionnel Documents
Culture Documents
= +
t
t t
k k r x x ) ( ' ) 1 (
MILP formulation:
objective function
Define start state and final states fixing
corresponding variables:
Define products for the objective function:
Objective function: minmize costs over all runs
|
.
|
\
|
+ =
k t
t
l
l l
k t k u
k t c k u c J ) ( ) ( min
) ( ), (
) ( ) ( : ) ( k l k u k u
l
=
1 ) ( , 1 ) ( , 0 ) (
4 3 1 1 1
= = = k l k l k x
TA formulation of scheduling
problems
According to O. Maler and A. Fehnker
Use additional constraints to assert exclusive
allocation of resources
Example: 2 jobs and 2 resources
1
J
1
R
2
R
2
J
1
R
2
R
{ } x
d x > d x > d x >
{ } x { } x { } x
d x >
Further work
Improve the MILP formulation
Test it on large scale models
Implement other types of TA (i.e. Uppaal-TA)
Build a parser which accepts common TA
description languages and generates MILP code
automatically
Compare the different approaches:
TA model, symbolic solution
MILP model, MILP solution,
TA model, MILP solution