Combined simulation for process control: Extension of a general purpose simulation tool

Computers in Industry

Volumn 38, Issue 2, 1999, Pages 79-92

  Music G ^a   Matko, D ^a  

^a UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL SYSTEMS; COMPUTER INTEGRATED MANUFACTURING; COMPUTER SIMULATION LANGUAGES; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FORMAL LOGIC; INTERFACES (COMPUTER); PETRI NETS; PROCESS CONTROL;

SEQUENTIAL FUNCTION CHARTS (SFC); SOFTWARE PACKAGE MATLAB; SOFTWARE PACKAGE SIMULINK;

COMPUTER SIMULATION;

EID: 0344240164     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-3615(98)00110-9     Document Type: Article

References (11)

1. J. Buisson, Analysis and Characterisation of Hybrid System with Bond-Graphs, IEEE International Conference on SMC, Le Touquet, France, 1993, pp. 264-269.
2. David R., Alla H. Petri nets for modeling of dynamic systems - a survey. Automatica. 30(2):1994;175-202.
3. I. Demongodin, N.T. Koussoulas, Modeling Dynamic Systems Through Petri Nets, CESA'96 IMACS Multiconference, Symposium on Discrete Events and Manufacturing Systems, Lille, 1996, pp. 279-284.
4. P.J. Anstsaklis, J.A. Stiver, M. Lemmon, Hybrid System Modeling and Autonomous Control Systems, in: R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.), Hybrid Systems, Lecture Notes on Computer Science, Vol. 736, Springer Verlag, 1993, pp. 366-392.
5. D. Andreu, J.C. Pascal, R. Valette, Events as a Key of a Batch Process Control System, CESA'96 IMACS Multiconference, Symposium on Discrete Events and Manufacturing Systems, Lille, 1996, pp. 297-302.
6. O. Stursberg, S. Kowalewski, S. Engell, Generating Timed Discrete Models of Continuous Systems, Proceedings of the 2nd MATHMOD, IMACS Symposium on Mathematical Modelling, Vienna, 1997, pp. 203-209.
7. F.E. Cellier, H. Elmquist, M. Otter, J.H. Taylor, Guidelines for Modelling and Simulation of Hybrid Systems, Proc. IFAC 12th Triennial World Congress, Vol. 8, Sydney, 1993, pp. 391-397.
8. IEC, International Electrotechnical Commission, Programmable Controllers: Part 3. Programming Languages, publication 1131.3, 1992.
9. David R. Grafcet: a powerful tool for specification of logic controllers. IEEE Trans. on Control Systems Technology. 3(3):1995;253-268.
10. G. Mušič, D. Matko, Modelling and Simulation of Supervisory Process Control Systems, Proceedings of the 2nd MATHMOD, IMACS Symposium on Mathematical Modelling, Vienna, 1997, pp. 247-252.
11. Zhou M., DiCesare F., Desrochers A.A. A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Trans. on Robotics and Automation. 8(3):1992;350-361.