Sciweavers

Share
RTCSA
1999
IEEE

Scheduling a Steel Plant with Timed Automata

8 years 11 months ago
Scheduling a Steel Plant with Timed Automata
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using UPPAAL, a model checker for networks of timed automata. We show how to translate schedulability to reachability, enabling us to use UPPAAL's model checking algorithms.
Ansgar Fehnker
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where RTCSA
Authors Ansgar Fehnker
Comments (0)
books