Scheduling a steel plant with timed automata

Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999

Volumn , Issue , 1999, Pages 280-286

  Fehnker, A ^a  

^a Computing Science Institute Nijmegen ^*  (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; REAL TIME SYSTEMS; SCHEDULING; STEEL METALLURGY; STEELMAKING;

BELGIUM; HARD PROBLEMS; MODEL CHECKER; MODEL CHECKING ALGORITHM; REACHABILITY; SCHEDULABILITY; TIMED AUTOMATA;

MODEL CHECKING;

EID: 84947251840     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.1999.811256     Document Type: Conference Paper

References (14)

1. E. Aarts, P. van Laarhoven, J. Lenstra, and N. Ulder. A Computational Study of Local Search Algorithms for Job-Shop Scheduling. OSRA Journal on Computing, 6(2): 1 18-125, Spring 1994.
2. R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Comput. Sci., 126:183-235, 1994.
3. D. Applegate and W. Cook. A Computational Study of the Job-Shop Scheduling Problem. OSRA Journal on Computing 3, pages 149-156, 1991.
4. R. Boel and G. Stremersch. Report for VHS: Timed Petri Net Model of Steel Plant at SIDMAR. Technical report, SYSTeMS Group, University Ghent, 1999.
5. J. Carlier and E. Pinson. An Algorithm for Solving the Job-Shop Problem. Management Science, 35(2): 164-176, 1989.
6. S. French. Sequencing and Scheduling: An Introduction to the Mathematicas of the Job-Shop. Mathematics and its Application. Ellis Horwood, Chichester, England, 1982.
7. T. Hune, K. G. Larsen, and P. Pettersson. Guided synthesis of control programs using UPPAAL for VHS case study 5. VHS deliverable, 1999.
8. S. Kowalewski. Description of VHS case study 1 "Experimental Batch Plant". University of Dortmund, Germany, July 1998.
9. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer, 1 (1 +2): 134-1 52, 1997.
10. P. Niebert and S. Yovine. Computing Optimal Operation Schemes for Multi Batch Operation of Chemical Plants, May 1999. VHS deliverable
11. N.V. SIDMAR. Planung und Synchronisation der Anlagen im Stahlwerk SIDMAR. Ghent, Belgium, October 1998.
12. R. Vaessens. Generalized Job Shop Scheduling: Complexity and Local Search. PhD thesis, Eindhoven University of Technology, 1995.
13. W. Yi, P. Pettersson, and M. Daniels. Automatic Verification of Real-Time Communicating Systems by Constraint Solving. In Proc. pf 5th Int Conf on CAV, LNCS 697, pages 210-224, 1993.
14. S. Yovine. Kronos: A verification tool for real-Time systems. Springer International Journal of Software Tools for Technology Transfer, I ( 1/2, ), October 1997.