Georg Frey
Cited by
Cited by
Formal methods in PLC programming
G Frey, L Litz
Smc 2000 conference proceedings. 2000 ieee international conference on …, 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
Automatic implementation of Petri net based control algorithms on PLC
G Frey
Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No …, 2000
Formalization of existing PLC programs: A survey
M Bani Younis, G Frey
Proceedings of CESA, 0234-0239, 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
Thermoelectric power generation: Peltier element versus thermoelectric generator
M Nesarajah, G Frey
IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society …, 2016
Design and Formal Analysis of Petri Net Based Logic Control Algorithms: Entwurf und Formale Analyse Petrinetz-basierter Steuerungsalgorithmen
G Frey
Shaker, 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
An MDD process for IEC 61131-based industrial automation systems
K Thramboulidis, G Frey
ETFA2011, 1-8, 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
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
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
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
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
Verification and validation of safety applications based on PLCopen safety function blocks
D Soliman, G Frey
Control engineering practice 19 (9), 929-946, 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
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
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
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
Editing, visualizing, and implementing signal interpreted petri nets
G Frey, M Minas
Proceedings of the AWPN 2000, 57-62, 2000
The system can't perform the operation now. Try again later.
Articles 1–20