Formal methods in PLC programming G Frey, L Litz Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000 | 437 | 2000 |
Reconfigurable coordination of distributed discrete event control systems J Zhang, M Khalgui, Z Li, G Frey, O Mosbahi, HB Salah IEEE Transactions on Control Systems Technology 23 (1), 323-330, 2014 | 141 | 2014 |
Automatic implementation of Petri net based control algorithms on PLC G Frey Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No …, 2000 | 127 | 2000 |
Formalization of existing PLC programs: A survey M Bani Younis, G Frey Proceedings of CESA, 0234-0239, 2003 | 123 | 2003 |
Towards a model-driven IEC 61131-based development process in industrial automation K Thramboulidis, G Frey Journal of Software Engineering and Applications 4 (04), 217, 2011 | 110 | 2011 |
Thermoelectric power generation: Peltier element versus thermoelectric generator M Nesarajah, G Frey IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society …, 2016 | 83 | 2016 |
Design and Formal Analysis of Petri Net Based Logic Control Algorithms: Entwurf und Formale Analyse Petrinetz-basierter Steuerungsalgorithmen G Frey Shaker, 2002 | 79 | 2002 |
Component-oriented modeling of thermoelectric devices for energy system design F Felgner, L Exel, M Nesarajah, G Frey IEEE Transactions on Industrial Electronics 61 (3), 1301-1310, 2013 | 69 | 2013 |
An MDD process for IEC 61131-based industrial automation systems K Thramboulidis, G Frey ETFA2011, 1-8, 2011 | 64 | 2011 |
Visual PLC-programming using signal interpreted Petri nets M Minas, G Frey Proceedings of the 2002 American Control Conference (IEEE Cat. No. CH37301 …, 2002 | 64 | 2002 |
Verification and validation of control algorithms by coupling of interpreted petri nets G Frey, L Litz SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems …, 1998 | 63 | 1998 |
Performance modeling of PVT collectors: Implementation, validation and parameter identification approach using TRNSYS D Jonas, M Lämmle, D Theis, S Schneider, G Frey Solar Energy 193, 51-64, 2019 | 61 | 2019 |
UML-based development process for IEC 61499 with automatic test-case generation T Hussain, G Frey 2006 IEEE Conference on Emerging Technologies and Factory Automation, 1277-1284, 2006 | 60 | 2006 |
Multiobjective optimization approach for a portable development of reconfigurable real-time systems: From specification to implementation W Lakhdhar, R Mzid, M Khalgui, Z Li, G Frey, A Al-Ahmari IEEE Transactions on Systems, Man, and Cybernetics: Systems 49 (3), 623-637, 2018 | 57 | 2018 |
Verification and validation of safety applications based on PLCopen safety function blocks D Soliman, G Frey Control engineering practice 19 (9), 929-946, 2011 | 54 | 2011 |
Formal verification of PLC programs generated from signal interpreted Petri nets T Mertke, G Frey 2001 IEEE International Conference on Systems, Man and Cybernetics. e …, 2001 | 54 | 2001 |
Simulation and performance analysis of combined parallel solar thermal and ground or air source heat pump systems D Jonas, G Frey, D Theis Solar energy 150, 500-511, 2017 | 53 | 2017 |
PLC programming with signal interpreted Petri nets S Klein, G Frey, M Minas International Conference on Application and Theory of Petri Nets, 440-449, 2003 | 53 | 2003 |
Evaluation of response time in Ethernet-based automation systems G Marsal, B Denis, JM Faure, G Frey 2006 IEEE Conference on Emerging Technologies and Factory Automation, 380-387, 2006 | 48 | 2006 |
Editing, visualizing, and implementing signal interpreted petri nets G Frey, M Minas Proceedings of the AWPN 2000, 57-62, 2000 | 48 | 2000 |