Steel Production Scheduling Based on Priced Timed Automata

DOI

10.2991/cmes-15.2015.95How to use a DOI?

Keywords

priced timed automata, steel production, cost-optimal, UPPAAL CORA

Abstract

Scheduling production of steel is very complex because there are many different types of intricate constraints. This paper proposes a method using priced timed automata(PTA). PTA is the formal description method and it describes the behavior of entities, attributes and constraints. Furthermore, it adds some appropriate guidance to reduce the state space. This method converts the scheduling problem into state reachability analysis. Based on this method, we use price element to minimize the production cost.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Lixia Ji
PY  - 2015/04
DA  - 2015/04
TI  - Steel Production Scheduling Based on Priced Timed Automata
BT  - Proceedings of the 2nd International Conference on Civil, Materials and Environmental Sciences
PB  - Atlantis Press
SP  - 339
EP  - 342
SN  - 2352-5401
UR  - https://doi.org/10.2991/cmes-15.2015.95
DO  - 10.2991/cmes-15.2015.95
ID  - Ji2015/04
ER  -