Scheduling a Steel Plant with Timed Automata

Hong Kong, China December 13-December 15

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811256

Sixth International Conference on Rea ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Ansgar Fehnker

	ASCII Text	x
	Ansgar Fehnker, "Scheduling a Steel Plant with Timed Automata," Real-Time Computing Systems and Applications, International Workshop on, pp. 280, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999.

	BibTex	x
	@article{ 10.1109/RTCSA.1999.811256, author = {Ansgar Fehnker}, title = {Scheduling a Steel Plant with Timed Automata}, journal ={Real-Time Computing Systems and Applications, International Workshop on}, volume = {0}, year = {1999}, issn = {1530-1427}, pages = {280}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811256}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Real-Time Computing Systems and Applications, International Workshop on TI - Scheduling a Steel Plant with Timed Automata SN - 1530-1427 SP EP A1 - Ansgar Fehnker, PY - 1999 VL - 0 JA - Real-Time Computing Systems and Applications, International Workshop on ER -

Ansgar Fehnker, Computing Science Institute Nijmegen

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.

Citation:

Ansgar Fehnker, "Scheduling a Steel Plant with Timed Automata," rtcsa, pp.280, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.