Validation, off-line programming and optimisation of industrial control logic

Mechatronics

Volumn 13, Issue 6, 2003, Pages 571-585

  Danielsson, Fredrik ^a   Moore, Philip ^a   Eriksson, Patric ^a  

^a University of Trollhäattan Uddevalla   (Sweden)

Author keywords

Emulator; Industrial control system; PLC; Simulation; Validation

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER SIMULATION; COST EFFECTIVENESS; FORMAL LOGIC; OPTIMIZATION;

OFF-LINE PROGRAMMING;

CONTROL SYSTEMS;

EID: 0037411158     PISSN: 09574158     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0957-4158(02)00030-2     Document Type: Article

References (20)

1. Requicha A. Towards a theory of geometric tolerancing. Robot. Res. 2(4):1983;45-60.
2. Hanisch H.-M., Thieme J., Lüder A., Wienhold O. Modeling of PLC behaviour by means of timed net condition/event systems. IEEE Symposium on Engineering Technologies and Factory Automation. 1997;391-396.
3. Hassapis G. Soft-testing of industrial control systems programmed in IEC1131-3 languages. ISA Transactions 39. 2000;345-355.
4. Joshi S.B., Supinski M.R. The development of a generic PC-based programmable logic controller simulator. Int. J. Prod. Res. 30(1):1992;151-168.
5. Degrace C. Interactive testing of programmable controller application software with process simulation. Industrial Computing Conference 2. 1992;459-468.
6. Kelley M., LeQuoc S., Cheng R.M.H. A simulation program form logic relay circuits in process control. Advances in Instrumentation/Proceedings of the Annual ISA Conference, Pittsburgh. 1981;25-32.
7. Wilkinson S., Cope N., Dullinger D. Generation of PLC control data from the simulation of flexible manufacturing systems. Proceedings of CISS-First Joint Conference of International Simulation Society. 1994;488-491.
8. Arne B., Leo A. A flexible and integrated control concept. Anals CIRP. 39(1):1990;463-466.
9. Lu H., Ying Z., Warren Liao T. Simulation of programmable logic controller. Comput. Indust. Eng. 23(1-4):1992;351-354.
10. Taholakian A., Hales V.M.M. PN. < = > PLC: A methodology for designing, simulating and coding PLC based control systems using Petri nets Int. J. Prod. Res. 35(6):1997;1743-1762.
11. Suttie I. Real-time simulation in control system development. Proceedings of the Industrial Computing Conference. 1994;167-171.
12. Webb W.J., Reis A.R. Programmable logic controllers: principles and applications. 4th ed. 1999;Prentice Hall, Englewood Cliffs, NJ. [ISBN 0-13-679408-4].
13. Goss D.E. The PLC device and process simulator. Advances in Instrumentation and Control, Proceedings of the ISA International and Conference Exhibition. 1995;1035-1045.
14. Leduc R.J., Wonham W.M. Discrete event system modeling and control of a manufacturing testbed. Canadian Conference on Electrical and Computer Engineering. 1995;793-796.
15. Taholakain A., Hales W.M.M. PN. ⇔ PLC: a methodology for design, simulation and coding PLC based control systems using Petri nets Int. J. Prod. Res. 35(6):1997;1743-1762.
16. Evans D.S. Simulation modelling of sequential fluid power systems using integrated PLC/PC development aids. IEEE Colloquium (digest). 214:1995.
17. LeBaron T., Thompson K. Emulation of a material delivery system. Proceedings of the 1998 Winter Simulation Conference. 1998;1055-1060.
18. Bernhardt R., Schreck G., Willnow C. Realistic robot simulation. Comput. Contr. Eng. J. 6(4):1995.
19. International Standard, Programmable controller - Part 3: Programming languages, IEC 1131 3:1993(E), 1993.
20. Bernhardt R., Schreck G., Willnow C. The realistic robot simulation (RRS) interface. Inteligent Manufacturing Systems. 1994;321-324.