Job-shop scheduling using timed automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2102, Issue , 2001, Pages 478-492

  Abdeddaïm, Yasmina ^a   Maler, Oded ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED ANALYSIS; OPTIMIZATION; PROBLEM SOLVING; SCHEDULING;

COMPLEX DYNAMICS; JOB SHOP SCHEDULING PROBLEMS; OPERATION RESEARCH; OPTIMAL SCHEDULE; OPTIMIZATION PROBLEMS; SPECIAL CLASS; TIMED AUTOMATA; TRADITIONAL MODELS;

JOB SHOP SCHEDULING;

EID: 84958770488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44585-4_46     Document Type: Conference Paper

References (23)

1. R. Alur, S. La Torre and G.J. Pappas, Optimal Paths in Weighted Timed Automata, Proc. HSCC'01, 49-64, LNCS 2034, Springer 2001.
2. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A Framework for Scheduler Synthesis. Proc. RTSS'99, 154-163, IEEE, 1999.
3. R. Alur, C. Courcoubetis, and D.L. Dill, Model Checking in Dense Real Time, Information and Computation 104, 2-34, 1993.
4. R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183-235, 1994.
5. E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. HSCC'99, 19-30, LNCS 1569, Springer, 1999.
6. E. Asarin, O. Maler and A. Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, Hybrid Systems II, LNCS 999, Springer, 1995.
7. E. Asarin, O. Maler, A. Pnueli and J. Sifakis, Controller Synthesis for Timed Automata, Proc. IFA C Symposium on System Structure and Control, 469-474, Elsevier, 1998.
8. G. Behrmann, A. Fehnker T.S. Hune, K.G. Larsen, P. Pettersson and J. Romijn, Efficient Guiding Towards Cost-Optimality in UPPAAL, Proc. TACAS 2001, 174-188, LNCS 2031, Springer, 2001.
9. G. Behrmann, A. Fehnker, T.S. Hune, K.G. Larsen, P. Pettersson, J. Romijn and F.W. Vaandrager, Minimum-Cost Reachability for Linearly Priced Timed Automata, Proc. HSCC'01, 147-161, LNCS 2034, Springer 2001.
10. R. Boel and G. Stremersch, VHS case study 5: Modelling and Verification of Scheduling for Steel Plant at SIDMAR, Draft, 1999.
11. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine, Kronos: a Model-Checking Tool for Real-Time Systems, Proc. CAV'98, LNCS 1427, Springer, 1998.
12. S Campos, E. Clarke, W. Marrero, M. Minea and H. Hiraishi, Computing Quantitative Characteristics of Finite-state Real-time Systems, Proc. RTSS'94, IEEE, 1994.
13. C. Courcoubetis and M. Yannakakis, Minimum and Maximum Delay Problems in Real-time Systems, Proc. CAV'91, LNCS 575, 399-409, Springer, 1991.
14. C. Daws and S. Yovine, Reducing the Number of Clock Variables of Timed Automata, Proc. RTSS'96, 73-81, IEEE, 1996.
15. A. Fehnker, Scheduling a Steel Plant with Timed Automata, Proc. RTCSA'99, 1999.
16. T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Model-checking for Real-time Systems, Information and Computation 111, 193-244, 1994.
17. A.S. Jain and S. Meeran, Deterministic Job-Shop Scheduling: Past, Present and Future, European Journal of Operational Research 113, 390-434, 1999.
18. O. Maler, On the Problem of Task Scheduling, Draft, February 1999.
19. O. Maler, A. Pnueli and J. Sifakis. On the Synthesis of Discrete Controllers for Timed Systems, Proc. STACS'95, 229-242, LNCS 900, Springer, 1995.
20. P. Niebert, S. Tripakis S. Yovine, Minimum-Time Reachability for Timed Automata, IEEE Mediteranean Control Conference, 2000.
21. Niebert, N and S. Yovine, Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode, Proc. HSCC'2000, 338-351, LNCS 1790, Springer, 2000.
22. H. Wong-Toi and G. Hoffmann, The Control of Dense Real-Time Discrete Event Systems, Technical report STAN-CS-92-1411, Stanford University, 1992.
23. S. Yovine, Kronos: A Verification Tool for Real-time Systems, Int. J. of Software Tools for Technology Transfer 1, 1997.