Scheduling with timed automata

Theoretical Computer Science

Volumn 354, Issue 2, 2006, Pages 272-300

  Abdeddaïm, Yasmina ^a   Asarin, Eugene ^b   Maler, Oded ^c  

^a ESIEE PARIS   (France)

^b UNIVERSITÉ PARIS DIDEROT   (France)

^c VERIMAG   (France)

Author keywords

Scheduling; Timed automata; Verification and synthesis

Indexed keywords

ADAPTIVE SYSTEMS; OPTIMAL CONTROL SYSTEMS; PROBLEM SOLVING;

TIMED AUTOMATA; VERIFICATION AND SYNTHESIS;

AUTOMATA THEORY;

EID: 33644700974     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.11.018     Document Type: Conference Paper

References (46)

1. Y. Abdeddaïm, Scheduling with timed automata, Ph.D. Thesis, INPG, Grenoble, 2002.
2. Y. Abdeddaïm, E. Asarin, O. Maler, On optimal scheduling under uncertainty, in: Proc. TACAS'03, Lecture Notes in Computer Science, vol. 2619, Springer, Berlin, 2003, pp. 240-255.
3. Y. Abdeddaïm, A. Kerbaa, O. Maler, Task graph scheduling using timed automata, in: Proc. FMPPTA'03, 2003.
4. Y. Abdeddaïm, O. Maler, Job-shop scheduling using timed automata, in: Proc. CAV'01, Lecture Notes in Computer Science, vol. 2102, Springer, Berlin, 2001, pp. 478-492.
5. Y. Abdeddaïm, O. Maler, Preemptive job-shop scheduling using stopwatch automata, in: Proc. TACAS'02, Lecture Notes in Computer Science, vol. 2280, Springer, Berlin, 2002, pp. 113-126.
6. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, S. Yovine, A framework for scheduler synthesis, in: Proc. RTSS'99, IEEE, New York, 1999, pp. 154-163.
7. R. Alur, C. Courcoubetis, and D.L. Dill Model checking in dense real time Inform. and Comput. 104 1993 2 34
8. R. Alur, C. Courcoubetis, and T.A. Henzinger Computing accumulated delays in real-time systems Formal Methods System Design 11 1997 137 155
9. R. Alur, and D.L. Dill A theory of timed automata Theoret. Comput. Sci. 126 1994 183 235
10. R. Alur, S. La Torre, G.J. Pappas, Optimal paths in weighted timed automata, in: Proc. HSCC'01, Lecture Notes in Computer Science, vol. 2034, Springer, Berlin, 2001, pp. 49-64.
11. E. Asarin, O. Maler, As soon as possible: time optimal control for timed automata, in: Proc. HSCC'99, Lecture Notes in Computer Science, vol. 1569, Springer, Berlin, 1999, pp. 19-30.
12. E. Asarin, O. Maler, A. Pnueli, Symbolic controller synthesis for discrete and timed systems, Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, Springer, Berlin, 1995, pp. 1-20.
13. E. Asarin, O. Maler, A. Pnueli, J. Sifakis, Controller synthesis for timed automata, in: Proc. IFAC Sympos. System Structure and Control, Elsevier, Amsterdam, 1998, pp. 469-474.
14. G. Behrmann, A. Fehnker T.S. Hune, K.G. Larsen, P. Pettersson, J. Romijn, Efficient guiding towards cost-optimality in UPPAAL, in: Proc. TACAS'01, Lecture Notes in Computer Science, vol. 2031, Springer, Berlin, 2001, pp. 174-188.
15. G. Behrmann, A. Fehnker ,T.S. Hune, K.G. Larsen, P. Pettersson, J. Romijn, F.W. Vaandrager, Minimum-cost reachability for linearly priced timed automata, in: Proc. HSCC'01, Lecture Notes in Computer Science, vol. 2034, Springer, Berlin, 2001, pp. 147-161.
16. B. Berthomieu, and M. Diaz Modeling and verification of time dependent systems using time petri nets IEEE Trans. Software Eng. 17 1991 259 273
17. R. Boel, G. Stremersch, VHS case study 5: modelling and verification of scheduling for steel plant at SIDMAR, Draft, 1999.
18. C. Boutilier, T. Dean, and S. Hanks Decision-theoretic planning: structural assumptions and computational leverage J. Artif. Intell. Res. 11 1999 1 94
19. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, S. Yovine, Kronos: a model-checking tool for real-time systems, in: Proc. CAV'98, Lecture Notes in Computer Science, vol. 1427, Springer, Berlin, 1998.
20. M. Bozga, S. Graf, L. Mounier, IF-2.0: a validation environment for component-based real-time systems, in: Proc. CAV'02, Lecture Notes in Computer Science, vol. 2404, Springer, Berlin, 2002.
21. S. Campos, E. Clarke, W. Marrero, M. Minea, H. Hiraishi, Computing quantitative characteristics of finite-state real-time systems, in: Proc. RTSS'94, IEEE, New York, 1994.
22. W.Y. Chiang, M.S. Fox, Protection against uncertainty in a deterministic schedule, in: Proc. Fourth Internat. Conf. Expert Systems and Leading Edge in Production and Operations Management, 1990, pp. 184-197.
23. C. Courcoubetis, M. Yannakakis, Minimum and maximum delay problems in real-time systems, in: Proc. CAV'91, Lecture Notes in Computer Science, vol. 575, Springer, Berlin, 1991, pp. 399-409.
24. A.J. Davenport, J.Ch. Beck, Managing uncertainty in scheduling: a survey, 2000, preprint.
25. C. Daws, S. Yovine, Reducing the number of clock variables of timed automata, in: Proc. RTSS'96, IEEE, New York, 1996, pp. 73-81.
26. M. Drummond, J. Bresina, K. Swanson, Just-in-case scheduling, in: Proc. AAAI-94, 1994.
27. A. Fehnker, Scheduling a steel plant with timed automata, in: Proc. RTCSA'99, 1999.
28. E. Fersman, P. Pettersson, W. Yi, Timed automata with asynchrounous processes: schedulability and decidability, in: Proc. TACAS'02, Lecture Notes in Computer Science, vol. 2280, Springer, Berlin, 2002, pp. 67-82.
29. H. Fisher, and G.L. Thompson Probabilistic learning combinations of local job-shop scheduling rules J.F. Muth G.L. Thompson Industrial Scheduling 1963 Prentice-Hall Englewood Cliffs, NJ 225 251
30. H. Gao, Building robust schedules using temporal protection, Master's Thesis, Department of Industrial Engineering, University of Toronto, 1995.
31. S. Ghosh, Guanranteeing fault-tolerance through scheduling in real-time systems, Ph.D. Thesis, University of Pittsburgh, 1996.
32. S. Ghosh, R. Melhem, D. Mosse, Enhancing real-time schedules to tolerate transient faults, in: Proc. RTSS'95, 1995, pp. 120-129.
33. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine Symbolic model-checking for real-time systems Inform. and Comput. 111 1994 193 244
34. D.W. Hildum, Flexibility in a knowledge-based system for solving dynamic resource constrained scheduling problems, Ph.D. Thesis, Department of Computer Science, University of Massachusetts, 1994.
35. A.S. Jain, and S. Meeran Deterministic job-shop scheduling: past, present and future European J. Oper. Res. 113 1999 390 434
36. K.G. Larsen, P. Pettersson, W. Yi, UPPAAL in a nutshell, Software Tools for Tech. Transfer 1/2, 1997.
37. V.J. Leon, S.D. Wu, and R.H. Storer Robustness measures and robust scheduling for job shops IIE Trans. 26 1994 32 43
38. O. Maler, On the problem of task scheduling, Draft, February 1999.
39. O. Maler, On optimal and sub-optimal control in the presence of adversaries, in: Proc. WODES'04, 2004, pp. 1-12.
40. O. Maler, A. Pnueli, J. Sifakis, On the synthesis of discrete controllers for timed systems, in: Proc. STACS'95, Lecture Notes in Computer Science, vol. 900, Springer, Berlin, 1995, pp. 229-242.
41. K.N. McKay, F.R. Safayeni, and J.A. Buzacott Job-shop scheduling theory: what is relevant? Interfaces 18 1998 84 90
42. P. Niebert, S. Tripakis, S. Yovine, Minimum-time reachability for timed automata, IEEE Mediteranean Control Conf., 2000.
43. P. Niebert, and S. Yovine Computing optimal operation schemes for chemical plants in multi-batch mode European J. Control 7 2001 440 453
44. J. Sifakis, S. Yovine, Compositional specification of timed systems, in: Proc. STACS'96, Lecture Notes in Computer Science, vol. 1046, Springer, Berlin, 1996, pp. 347-359.
45. H. Wong-Toi, G. Hoffmann, The control of dense real-time discrete event systems, Technical Report STAN-CS-92-1411, Stanford University, 1992.
46. S. Yovine Kronos: a verification tool for real-time systems Internat. J. Software Tools for Tech. Transfer 1 1997