Synthesis and stochastic assessment of schedules for lacquer production

Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Volumn , Issue , 2004, Pages 28-37

  Bohnenkamp, H C ^a   Hermanns, H ^a,b   Klaren, R ^a   Mader, A ^a   Usenko, Y S ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL SCHEDULING THEORY; DISCRETE-EVENT SIMULATION; LACQUER PRODUCTION; REAL TIME SCHEDULING;

AUTOMATA THEORY; COMPUTER SIMULATION; HEURISTIC METHODS; LACQUERING; PROBLEM SOLVING; RANDOM PROCESSES; REAL TIME SYSTEMS; ROBUSTNESS (CONTROL SYSTEMS); STATISTICAL METHODS;

SCHEDULING;

EID: 16244412280     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2004.1348013     Document Type: Conference Paper

References (16)

1. Y. Abdeddaïm and O. Maler. Job-Shop Scheduling using Timed Automata. In Proc. CAV'01, 2001.
2. R. Alur and D. Dill. A theory of timed automata. TCS, 138:183-335, 1994.
3. AMETIST, IST project ist-2001-35304. http://ametist.cs.utwente.nl/.
4. M. Ben-Ari. Principles of Concurrent and Distributed Programming. Prentice Hall international series in computing science. Prentice Hall, 1990.
5. H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J.-P. Katoen, V. V. Lam, and W. H. Sanders. On integrating the Möbius and MoDeST modeling tools. In Proc. DSN'03. IEEE Computer Society, 2003.
6. H. Bohnenkamp, H. Hermanns, J.-P. Katoen, and R. Klaren. The MoDeST modeling tool and its implementation. In TOOLS 2003, LNCS 2794. Springer, 2003.
7. G. Butazzo. Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, 1997.
8. P. R. D'Argenio, H. Hermanns, J.-P. Katoen, , and R. Klaren. MoDeST - a modelling and description language for stochastic timed systems. In Proc. PAPM-ProbmiV'01, LNCS 2165, pages 87-104. Springer, 2001.
9. A. Fehnker. Scheduling a Steel Plant with Timed Automata. In Proc. RTCSA'99. IEEE Computer Society Press, 1999.
10. J. Hillston. A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, 1994.
11. C. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, 1985.
12. K. G. Larsen. Personal communications, Dec. 2003.
13. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. STAGS'95, LNCS 900. Springer, 1995.
14. J. F. Meyer, A. Movaghar, and W. H. Sanders. Stochastic activity networks: structure, behavior and application. In Proc. Int. Workshop on Timed Petri Nets, pages 106-115, 1985.
15. A. Movaghar and J. F. Meyer. Performability modeling with stochastic activity networks. In Proc. Real-Time Systems Symposium, 1984.
16. UPPAAL home page, http://www.uppaal.com.