Georg Frey

According to our database1, Georg Frey authored at least 100 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs.
IEEE Trans. Control. Syst. Technol., 2020

Guest Editorial Special Section on the 2018 Conference on Automation Science and Engineering (CASE).
IEEE Trans Autom. Sci. Eng., 2020

A guidance framework for synthesis of multi-core reconfigurable real-time systems.
Inf. Sci., 2020

Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems.
Inf. Sci., 2020

Modeling and Optimizing Energy Supply and Demand in Home Area Power Network (HAPN).
IEEE Access, 2020

Stochastic Optimization Scheme to Schedule Energy Supply and Demands in an Islanded Microgrid.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Office Appliances Identification and Monitoring using Deep Leaning based Energy Disaggregation for Smart Buildings.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.
Proceedings of the 15th International Conference on Software Technologies, 2020

Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control.
Proceedings of the 15th International Conference on Software Technologies, 2020

2019
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation.
IEEE Trans. Syst. Man Cybern. Syst., 2019

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.
IEEE Trans Autom. Sci. Eng., 2019

IEEE International Conference on Automation Science and Engineering 2018.
Autom., 2019

Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location.
IEEE Access, 2019

Optimal Scheduling of Energy Supply Entities in Home Area Power Network.
Proceedings of the 6th International Conference on Control, 2019

Context-free Forbidden Path Control of Net Condition/Event Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Modeling and simulation of local flexibilities and their effect to the entire power system.
Comput. Sci. Res. Dev., 2018

52. Regelungstechnisches Kolloquium.
Autom., 2018

Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems.
IEEE Access, 2018

Multi-objective optimization for scheduling isolated microgrids.
Proceedings of the IEEE International Conference on Industrial Technology, 2018

Using Modelling and Simulation as a Service (MSaaS) for Facilitating Flexibility-based Optimal Operation of Distribution Grids.
Proceedings of the 15th International Conference on Informatics in Control, 2018

Scheduling Smart Loads in Modern Buildings based on Metaheuristic Optimization.
Proceedings of the 15th International Conference on Informatics in Control, 2018

Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
Real-time power balancing in photovoltaic-integrated smart micro-grid.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

From Specification to Implementation of an Automotive Transport System.
Proceedings of the Software Technologies - 12th International Joint Conference, 2017

Specification Approach using GR-TNCES: Application to an Automotive Transport System.
Proceedings of the 12th International Conference on Software Technologies, 2017

New Verification Approach for Reconfigurable Distributed Systems.
Proceedings of the 12th International Conference on Software Technologies, 2017

Context-awareness Meta-model for Reconfigurable Control Systems.
Proceedings of the ENASE 2017, 2017

2016
Priced discrete Automata for modeling energy efficient manufacturing systems.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Thermoelectric power generation: Peltier element versus thermoelectric generator.
Proceedings of the IECON 2016, 2016

Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO.
Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016), 2016

Reconfigurable function blocks: Extension to the standard IEC 61499.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

Enabling reconfiguration of adaptive control systems using real-time context-aware framework.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015
Programmable Logic Controllers.
Proceedings of the Encyclopedia of Systems and Control, 2015

Reconfigurable Coordination of Distributed Discrete Event Control Systems.
IEEE Trans. Control. Syst. Technol., 2015

Abschied von Prof. Dr.-Ing. habil. Lothar Litz.
Autom., 2015

Multi-domain modeling of distributed energy systems - The MOCES approach.
Proceedings of the 2015 IEEE International Conference on Smart Grid Communications, 2015

R-UML: An UML Profile for Verification of Flexible Control Systems.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.
Proceedings of the ICSOFT-PT 2015, 2015

GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.
Proceedings of the ICSOFT-EA 2015, 2015

Energy management systems for hospitals in Gaza-strip.
Proceedings of the 2015 IEEE Global Humanitarian Technology Conference, 2015

Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture.
Proceedings of the Biomedical Engineering Systems and Technologies, 2015

BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture.
Proceedings of the HEALTHINF 2015, 2015

ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.
Proceedings of the HEALTHINF 2015, 2015

2014
Component-Oriented Modeling of Thermoelectric Devices for Energy System Design.
IEEE Trans. Ind. Electron., 2014

"OWLracle" - Predicting the impact of interdisciplinary energy efficiency methods at German universities using BCVTB.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Design of distributed energy systems: Role and requirements of modeling and simulation.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Re-use of existing simulation models for DCS engineering via the Functional Mock-up Interface.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
OOAD-Entwicklungsprozess einer Modelica-Bibliothek für vernetzte Automatisierungssysteme.
Autom., 2013

Verifikation und Validierung sicherheitsgerichteter SPS-Programme.
Proceedings of the Funktionale Sicherheit, 2013

Component Oriented Modeling of Biomass Incineration Plants.
Proceedings of the ICINCO 2013 - Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Reykjavík, Iceland, 29, 2013

Energy engineering in the virtual factory.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Engineering a Predictive Energy Consumption Model for University Properties.
Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013

2012
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications.
Annu. Rev. Control., 2012

Effiziente Modellierung und Simulation von Kommunikationsnetzen in Modelica.
Proceedings of the Kommunikation unter Echtzeitbedingungen, 2012

Modeling and Simulation of a Wastewater Pumping Plant.
Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy, 28, 2012

"Safety automata" - A new specification language for the development of PLC safety applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Modeling wastewater pumping stations for cost-efficient control.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Modeling of Networked Automation Systems for simulation and model checking of time behavior.
Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

2011
Guest Editorial.
IEEE Trans. Ind. Informatics, 2011

Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation.
J. Softw. Eng. Appl., 2011

Modeling, Simulation and Control of a Water Recovery and Irrigation System.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011

An MDD process for IEC 61131-based industrial automation systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Towards an automated verification process for industrial safety applications.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Comparison of 4 numerical solvers for stiff and hybrid systems simulation.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009
Modellierung und Simulation vernetzter Automatisierungs- und Regelungssysteme in Modelica (Modeling and Simulation of Networked Automation and Control Systems in Modelica).
Autom., 2009

Estimating Delays in Networked Control Systems using Colored Petri Nets and Markov Chain Models.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008
An IEC 61499 interpretation and implementation focused on usability.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Feasibility analysis for networked control systems by simulation in Modelica.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Reactivity analysis of different Networked Automation System architectures.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Component based colored Petri net model for Ethernet based networked control systems.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
Development process for distributed automation systems combining UML and IEC 61499.
Int. J. Manuf. Res., 2007

Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems).
Autom., 2007

Software quality measures to determine the diagnosability of PLC applications.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Simulation approach for evaluating response times in networked automation systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Deployment of IEC 61499 compliant distributed control applications.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

DesLaNAS - a language for describing Networked Automation Systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Measuring the impact of vertical integration on response times in ethernet fieldbuses.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006
Designing Generic/reusable Functionality based Controllers for Distributed Control using UML.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Evaluation of Response Time in Ethernet-based Automation Systems.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

UML-based Development Process for IEC 61499 with Automatic Test-case Generation.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005
Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Application of symbolic and bounded model checking to the verification of logic control systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Probabilistic delay time analysis in networked automation systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2004
Formalization of PLC programs to sustain reliability.
Proceedings of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, 2004

Developing IEC 61499 compliant distributed systems with network enabled controllers.
Proceedings of the 2004 IEEE Conference on Robotics, Automation and Mechatronics, 2004

A Re-Engineering Approach for PLC Programs using Finite Automata and UML.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2003
PLC Programming with Signal Interpreted Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Design and formal analysis of Petri net based logic control algorithms = Entwurf und formale Analyse Petrinetz-basierter Steuerungsalgorithmen.
PhD thesis, 2002

Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line.
Proceedings of the Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, 2002

2001
Formal verification of PLC programs generated from signal interpreted Petri nets.
Proceedings of the IEEE International Conference on Systems, 2001

2000
Complexity metrics for Petri net based logic control algorithms.
Proceedings of the IEEE International Conference on Systems, 2000

Formal methods in PLC programming.
Proceedings of the IEEE International Conference on Systems, 2000

1998
A senior course on logic process control based on Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Verification and validation of control algorithms by coupling of interpreted Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998


  Loading...