Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines

Simulation Practice and Theory

Volumn 5, Issue 7-8, 1997, Pages 653-669

  Van Beek, D A ^a   Gordijn, S H F ^a   Rooda, J E ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Continuous time; Control system testing; Discrete event; Hybrid; Machine modelling

Indexed keywords

COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; CONTROL SYSTEM ANALYSIS; MATHEMATICAL MODELS;

CONTINUOUS TIME CONCEPTS; DISCRETE EVENT CONCEPTS;

CONTROL SYSTEM SYNTHESIS;

EID: 0031245916     PISSN: 09284869     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0928-4869(96)00028-6     Document Type: Article

References (23)

1. M. Andersson, Combined object-oriented modelling in Omola, in: Proceedings of the 1992 European Simulation Multiconference, York, 1992, pp. 246-250.
2. N.W.A. Arends, A systems engineering specification formalism, Ph.D. Thesis, Eindhoven University of Technology, The Netherlands, 1996.
3. Speedup user guide, Aspen Technology, Cambridge, 1991.
4. J. le Bail, H. Alla and R. David, Asymptotic continuous Petri Nets: An efficient approximation of discrete event systems, in: IEEE International Conference on Robotics and Automation, Nice, 1992, pp. 1050-1056.
5. P.I. Barton, The modelling and simulation of combined discrete/continuous processes, Ph.D. Thesis, University of London, 1992.
6. D.A. van Beek, Exception handling in control systems, Ph.D. Thesis, Eindhoven University of Technology, The Netherlands, 1993.
7. D.A. van Beek and J.E. Rooda, A new mechanism for exception handling in concurrent control systems, Eur. J. Control (2) (1996) 88-100.
8. D.A. van Beek, J.E. Rooda and S.H.F. Gordijn, A combined continuous-time / discrete-event approach to modelling and simulation of manufacturing machines, in: Proceedings of the 1995 EUROSIM Conference, Vienna, 1995, pp. 1029-1034.
9. R. David and H. Alla, Petri Nets for modeling of dynamic systems: A survey, Automatica 30 (2) (1994) 175-202.
10. Department of Mathematics Delft University of Technology and Computer Science, Prosim Reference Manual, Sierenberg en de Gans, Waddinxveen, The Netherlands, 1995.
11. H. Elmqvist, Dymola-dynamic modeling language-user's manual, Dynasim AB, Lund, Sweden, 1994.
12. G. Fabian and P. Janson, Simulator for combined continuous-time / discrete-event models, Final report of the Postgraduate Programme Software Technology, Eindhoven University of Technology, Stan Ackermans Institute, The Netherlands, 1996.
13. S.H.F. Gordijn, Combined continuous-time / discrete-event specifications of industrial systems using the language χ, Master's Thesis, Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands, 1995.
14. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood-Cliffs, 1985.
15. J. Hooman, Specification and Compositional Verification of Real-Time Systems, Springer-Verlag, 1991.
16. B.W. Kemighan and D.M. Ritchie, The C Programming Language (ANSI Standard C) Prentice-Hall, Englewood Cliffs, 1988.
17. D.L. Kettenis, Issues of parallelization in implementation of the combined simulation language COSMOS, Ph.D. Thesis, Delft University of Technology, 1994.
18. E.E.L. Mitchell and J.S. Gauthier, Advanced continuous simulation language (ACSL), Simulation 26 (3) (1976) 72-78.
19. J.M. van de Mortel-Fronczak and J.E. Rooda, Application of concurrent programming to specification of industrial systems, in: Proceedings of the 1995 IFAC Symposium on Information Control Problems in Manufacturing, Bejing, 1995, pp. 421-426.
20. J.M. van de Mortel-Fronczak, J.E. Rooda and N.J.M van den Nieuwelaar, Specification of a flexible manufacturing system using concurrent programming, Concurrent Eng. Res. Appl. 3 (3) (1995) 187-194.
21. G. Naumoski and W.T.M Alberts, The χ engine: A fast simulator for systems engineering, Final report of the Postgraduate Programme Software Technology, Eindhoven University of Technology, Stan Ackermans Institute, The Netherlands, 1995.
22. C.D. Pegden, R.E. Shannon and R.P. Sadowski, Introduction to Simulation Using SIMAN, McGraw-Hill, 1995.
23. N. Zerhouni and H. Alla, Dynamic analysis of manufacturing systems using continuous Petri Nets, in: IEEE International Conference on Robotics and Automation, Cincinnati, 1990, pp. 1070-1075.