Valeriy Vyatkin
Orcid: 0000-0002-9315-9920Affiliations:
- Aalto University, Helsinki, Finland
- Luleå University of Technology, Sweden
According to our database1,
Valeriy Vyatkin
authored at least 374 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on vyatkin.org
On csauthors.net:
Bibliography
2024
Residual-Enhanced Physics-Guided Machine Learning With Hard Constraints for Subsurface Flow in Reservoir Engineering.
IEEE Trans. Geosci. Remote. Sens., 2024
Evaluation of visual property specification languages based on practical model-checking experience.
J. Syst. Softw., 2024
Proceedings of the 33rd IEEE International Symposium on Industrial Electronics, 2024
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System.
Proceedings of the 33rd IEEE International Symposium on Industrial Electronics, 2024
A Low-Code Development Platform for Industrialized Insect-based Bioconversion Systems.
Proceedings of the 33rd IEEE International Symposium on Industrial Electronics, 2024
Proceedings of the IEEE International Conference on Industrial Technology, 2024
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Confidentiality Preserving Data Sharing for Life Cycle Assessment in Process Industries.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Towards Web Platform for Cloud-Based Virtual Commissioning of IEC 61499 Distributed Automation Systems.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Proceedings of the 18th IEEE International Conference on Advanced Motion Control, 2024
Proceedings of the 18th IEEE International Conference on Advanced Motion Control, 2024
2023
Mass customization with reinforcement learning: Automatic reconfiguration of a production line.
Appl. Soft Comput., September, 2023
Offline reinforcement learning for industrial process control: A case study from steel industry.
Inf. Sci., 2023
Sitting on a gold mine: the story of the process industry's automatic formation of a digital twin.
CoRR, 2023
Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems.
IEEE Access, 2023
Proceedings of the IEEE International Conference on Communications, 2023
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499.
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Towards migration from IEC 61131-3 to IEC 61499 in process industry: redesign of visualisation.
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment.
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Application of reinforcement learning for energy consumption optimization of district heating system.
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Application of Deep Learning Method to Estimate Bottomhole Pressure Dynamics of Oil Wells.
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023
Towards Interoperability of Edge Datacentre in the Energy Community with IEC 61850 Modelling.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Proceedings of the IEEE International Conference on Mechatronics, 2023
Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems.
IEEE Trans Autom. Sci. Eng., 2022
Knowl. Based Syst., 2022
J. Ind. Inf. Integr., 2022
CoRR, 2022
Reinforcement learning for industrial process control: A case study in flatness control in steel industry.
Comput. Ind., 2022
IEEE Access, 2022
Exploiting Battery Storages With Reinforcement Learning: A Review for Energy Professionals.
IEEE Access, 2022
Proposing and Prototyping an Extension to the Adapter Concept in the IEC 61499 Standard.
IEEE Access, 2022
A Methodology for Generating a Digital Twin for Process Industry: A Case Study of a Fiber Processing Pilot Plant.
IEEE Access, 2022
Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022
Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling.
Proceedings of the 31st IEEE International Symposium on Industrial Electronics, 2022
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022
Reinforcement learning approach to implementation of individual controllers in data centre control system.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2021
An Artificial Intelligence Framework for Bidding Optimization with Uncertainty in Multiple Frequency Reserve Markets.
CoRR, 2021
IEEE Access, 2021
Prototyping Multi-Protocol Communication to enable semantic interoperability for Demand response Services.
Proceedings of the IEEE International Conference on Communications, 2021
A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application.
Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021
Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin.
Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing.
Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021
Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021
Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2021
Cyber-physical automation systems modelling with IEC 61499 for their formal verification.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021
From Face to Face to Hybrid Teaching: an Experience on Process Plant Automation Laboratory Course during Global Pandemic.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021
Proceedings of the Technological Innovation for Applied AI Systems, 2021
Proceedings of the IECON 2021, 2021
Towards cloud-based virtual commissioning of distributed automation applications with IEC 61499 and containerization technology.
Proceedings of the IECON 2021, 2021
Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021
Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021
Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Towards reinforcement learning approach to energy-efficient control of server fans in data centres.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Towards enhanced live visualization based on communication delay prediction for remote AGV operation.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
2020
Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2020
Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control.
IEEE Trans. Ind. Informatics, 2020
IEEE Trans. Ind. Informatics, 2020
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver.
IEEE Trans. Ind. Informatics, 2020
A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems.
IEEE Trans. Ind. Informatics, 2020
Automatic Recognition of Sucker-Rod Pumping System Working Conditions Using Dynamometer Cards with Transfer Learning and SVM.
Sensors, 2020
IEEE Access, 2020
LSTM Based EFAST Global Sensitivity Analysis for Interwell Connectivity Evaluation Using Injection and Production Fluctuation Data.
IEEE Access, 2020
IEEE Access, 2020
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins.
Proceedings of the 29th IEEE International Symposium on Industrial Electronics, 2020
Proceedings of the Technological Innovation for Life Improvement, 2020
Distributed Approach to Traffic Management Automation Implemented According to IEC 61499.
Proceedings of the Technological Innovation for Life Improvement, 2020
Software-Defined Decentralized Domestic Wastewater Treatment: 1<sup>st</sup> Milestone.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020
A Plug and Produce-inspired Approach in Distributed Control Architecture: A Flexible Assembly Line and Product Centric Control Example.
Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Towards Implementation of Interoperable Smart Sensor Services in IEC 61499 for Process Automation.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the Applied Informatics and Cybernetics in Intelligent Systems, 2020
2019
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems.
IEEE Trans. Ind. Informatics, 2019
Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics.
IEEE Trans. Ind. Informatics, 2019
Task Allocation Algorithm for Energy Resources Providing Frequency Containment Reserves.
IEEE Trans. Ind. Informatics, 2019
Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions.
IEEE Trans. Ind. Informatics, 2019
IEEE Trans. Ind. Informatics, 2019
ACM Trans. Cyber Phys. Syst., 2019
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.
IEEE Trans Autom. Sci. Eng., 2019
Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study.
J. Ind. Inf. Integr., 2019
Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system.
Future Gener. Comput. Syst., 2019
CoRR, 2019
Comput. Ind., 2019
Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices.
IEEE Access, 2019
Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study.
Proceedings of the 9th Workshop on Service Oriented, 2019
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Towards automatic state machine reconstruction from legacy PLC using data collection.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study.
Proceedings of the IEEE International Conference on Industrial Internet, 2019
Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory.
Proceedings of the IEEE International Conference on Industrial Internet, 2019
Design to automation continuum for industrial processes: ISO 15926 - IEC 61131 versus an industrial case.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing.
Proceedings of the Perspectives of System Informatics, 2019
2018
IEEE Trans. Ind. Informatics, 2018
A Cloud-Based Decision Support System for Self-Healing in Distributed Automation Systems Using Fault Tree Analysis.
IEEE Trans. Ind. Informatics, 2018
Intelligent product and mechatronic software components enabling mass customisation in advanced production systems.
Serv. Oriented Comput. Appl., 2018
Comput. Ind., 2018
Automatic Generation of a High-Fidelity Dynamic Thermal-Hydraulic Process Simulation Model From a 3D Plant Model.
IEEE Access, 2018
An Integrated Implementation Methodology of a Lifecycle-Wide Tracking Simulation Architecture.
IEEE Access, 2018
Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power Plant.
IEEE Access, 2018
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes.
Proceedings of the 27th IEEE International Symposium on Industrial Electronics, 2018
Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Proceedings of the IECON 2018, 2018
On Automated Co-Simulation Testing of Functional Requirements for Distributed Substation Automation Systems.
Proceedings of the IECON 2018, 2018
Automatic Generation of a Simulation-Based Digital Twin of an Industrial Process Plant.
Proceedings of the IECON 2018, 2018
Proceedings of the IECON 2018, 2018
Proceedings of the IECON 2018, 2018
Proceedings of the IECON 2018, 2018
A Case Study on Knowledge Driven Code Generation for Software-Defined Industrial Cyber-Physical Systems.
Proceedings of the IECON 2018, 2018
Smart Distribution of IT Load in Energy Efficient Data Centers with Focus on Cooling Systems.
Proceedings of the IECON 2018, 2018
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018
Distributed control architecture for dynamic reconfiguration: Flexible assembly line case study.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018
From fitness landscape analysis to designing evolutionary algorithms: the case study in automatic generation of function block applications.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Counterexample-guided inference of controller logic from execution traces and temporal formulas.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
2017
Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design.
IEEE Trans. Ind. Informatics, 2017
IEEE Trans. Ind. Informatics, 2017
Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability".
IEEE Trans. Ind. Informatics, 2017
Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management.
IEEE Trans. Ind. Informatics, 2017
IEEE Trans. Ind. Informatics, 2017
Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties.
IEEE Trans. Ind. Informatics, 2017
A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements.
IEEE Trans. Ind. Electron., 2017
IEEE Access, 2017
Proceedings of the SMARTGREENS 2017, 2017
On development of execution model for model transforming distributed substation automation control with ontology.
Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017
Network planning in smart grids via a local search heuristic for spanning forest problems.
Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Automatic generation of function block systems implementing HMI for energy distribution automation.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Automatic generation of function block applications using evolutionary algorithms: Initial explorations.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Service-oriented data acquisition and management for industrial cyber-physical systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Service-oriented extension of IEC 61850 for model-driven smart grid automation design.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Estimation, measurement and improvement of distributed automation applications performance.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Sliding mode SISO control of model parameters for implicit dynamic feedback estimation of industrial tracking simulation systems.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Towards a systematic path for dynamic simulation to plant operation: OPC UA-enabled model adaptation method for tracking simulation.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Real-time data acquisition support for IEC 61499 based industrial cyber-physical systems.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Towards an aggregator that exploits big data to bid on frequency containment reserve market.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Network planning and self-repair in models of urban distribution networks via Hill Climbing.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Distributed home automation system based on IEC61499 function blocks and wireless sensor networks.
Proceedings of the IEEE International Conference on Industrial Technology, 2017
Simulation-Enhanced Development of Industrial Cyber-Physical Systems Using OPC-UA and IEC 61499.
Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2017
Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification.
Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2016
MAS-Based Modeling of Active Distribution Network: The Simulation of Emerging Behaviors.
IEEE Trans. Smart Grid, 2016
IEEE Trans. Ind. Informatics, 2016
Automatic test case generation from requirements for industrial cyber-physical systems.
Autom., 2016
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2016
Open architecture for cost effective protection and control of power distribution networks.
Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016
Formal verification of cyber-physical automation systems modelled with timed block diagrams.
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016
Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems.
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, 2016
Incentives for shaping the consumption profile of a group of consumers with energy storage devices.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, 2016
Distributed ICT architecture and an application for optimized automated demand response.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, 2016
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
A study on user-friendly formal specification languages for requirements formalization.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Speculative computation in IEC 61499 function blocks execution - Modeling and simulation.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Reconstruction of function block controllers based on test scenarios and verification.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Plant model inference for closed-loop verification of control systems: Initial explorations.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies.
Proceedings of the Technological Innovation for Cyber-Physical Systems, 2016
Intelligent Product and Mechatronic Software Components Facilitating Mass Customization in Collaborative Manufacturing Systems.
Proceedings of the Collaboration in a Hyperconnected World, 2016
Proceedings of the Technological Innovation for Cyber-Physical Systems, 2016
Proceedings of the IECON 2016, 2016
Proceedings of the IECON 2016, 2016
Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm.
Proceedings of the IECON 2016, 2016
Proceedings of the IECON 2016, 2016
District heating temperature control algorithm based on short term weather forecast and consumption predictions.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
Orchestration of Arrowhead services using IEC 61499: Distributed automation case study.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016
2015
IEEE Trans. Syst. Man Cybern. Syst., 2015
Guest Editorial New Trends in Intelligent Energy Systems-An Industrial Informatics Points of View.
IEEE Trans. Ind. Informatics, 2015
Software Composition and Distributed Operation Scheduling in Modular Automated Machines.
IEEE Trans. Ind. Informatics, 2015
Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability.
IEEE Trans. Ind. Informatics, 2015
IEEE Trans. Ind. Electron., 2015
IEEE Trans. Ind. Electron., 2015
A Review of Architectures and Concepts for Intelligence in Future Electric Energy Systems.
IEEE Trans. Ind. Electron., 2015
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2015
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Counterexample-guided simulation framework for formal verification of flexible automation systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Change request management in model-driven engineering of industrial automation software.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications.
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015
Data center energy efficiency and power quality: An alternative approach with solid state transformer.
Proceedings of the IECON 2015, 2015
Modelling of IEC 61850 message passing for automatic generation of distributed control.
Proceedings of the IECON 2015, 2015
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations.
Proceedings of the IECON 2015, 2015
Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software.
Proceedings of the IECON 2015, 2015
Proceedings of the IECON 2015, 2015
Proceedings of the IECON 2015, 2015
Proceedings of the IECON 2015, 2015
Reconfigurable elements of execution semantics for industrial cyber-physical systems.
Proceedings of the IECON 2015, 2015
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning.
Proceedings of the KMIS 2015, 2015
Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
2014
Model-Driven Development of Control Software for Distributed Automation: A Survey and an Approach.
IEEE Trans. Syst. Man Cybern. Syst., 2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems.
IEEE Trans. Ind. Informatics, 2014
SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design.
EAI Endorsed Trans. Energy Web, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
Adaptable software components: Towards digital ecosystems and software evolution in the industrial automation domain.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
A configurable cloud-based testing infrastructure for interoperable distributed automation systems.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
MIRA: Enabler of mass customization through agent-based development of intelligent manufacturing systems.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Towards implementation of IEC 61850 GOOSE messaging in event-driven IEC 61499 environment.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Adapting Keyword driven test automation framework to IEC 61131-3 industrial control applications using PLCopen XML.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Security impact assessment of industrial automation systems using genetic algorithm and simulation.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Energy efficient automation model for office buildings based on ontology, agents and IEC 61499 function blocks.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
On methodology of implementing distributed function block applications using TinyOS WSN nodes.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM.
Proceedings of the Perspectives of System Informatics, 2014
2013
IEEE Trans. Ind. Informatics, 2013
IEEE Trans. Ind. Informatics, 2013
IEEE Trans. Ind. Informatics, 2013
IEEE Trans. Ind. Informatics, 2013
Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems.
IEEE Trans. Ind. Informatics, 2013
Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers.
ACM Trans. Embed. Comput. Syst., 2013
A Distributed Automation Architecture Enabling Simulation-in-the-Loop of Energy-Efficient Buildings.
Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013
SysGrid: IEC 61850/IEC 61499 based engineering process for Smart Grid automation design.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
Agent-based distributed consensus algorithm for decentralized economic dispatch in Smart Grid.
Proceedings of the IECON 2013, 2013
Towards implementation of Plug-and-Play and distributed HMI for the FREEDM system with IEC 61499.
Proceedings of the IECON 2013, 2013
System-level architecture for building automation systems: Object-orientated design and simulation.
Proceedings of the IECON 2013, 2013
Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks.
Proceedings of the IECON 2013, 2013
Proceedings of the IECON 2013, 2013
Proceedings of the IECON 2013, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Virtual smart metering in automation and simulation of energy-efficient lighting system.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
2012
Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes.
IEEE Trans. Ind. Electron., 2012
IEEE Trans Autom. Sci. Eng., 2012
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Towards an IEC 61499 compliance profile for smart grids review and analysis of possibilities.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012
Formal verification of Intelligent Mechatronic Systems with decentralized control logic.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
2011
Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control.
IEEE Trans. Syst. Man Cybern. Part C, 2011
IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review.
IEEE Trans. Ind. Informatics, 2011
Proceedings of the Sixth IEEE International Symposium on Electronic Design, 2011
2010
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard.
IEEE Trans. Ind. Informatics, 2010
IEEE Trans Autom. Sci. Eng., 2010
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
2009
IEEE Trans. Syst. Man Cybern. Part C, 2009
IEEE Trans. Computers, 2009
Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009
2008
EURASIP J. Embed. Syst., 2008
EURASIP J. Embed. Syst., 2008
EURASIP J. Embed. Syst., 2008
Concept for intelligent distributed power system automation with IEC 61850 and IEC 61499.
Proceedings of the IEEE International Conference on Systems, 2008
2007
On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499.
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2007
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2007
2006
The potential impact of the IEC61499 standard on the progress of distributed intelligent automation.
Int. J. Manuf. Technol. Manag., 2006
Formal validation of intelligent-automated production systems: towards industrial applications.
Int. J. Manuf. Technol. Manag., 2006
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.
Int. J. Manuf. Res., 2006
Systematic Design and Implementation of Distributed Controllers in Industrial Automation.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
2005
OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation.
IEEE Trans. Ind. Informatics, 2005
Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: OOONEIDA approach.
Int. J. Comput. Integr. Manuf., 2005
Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005
Reuse of components in formal modeling and verification of distributed control systems.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View.
Proceedings of the Industrial Information Technology Handbook, 2005
2003
J. Intell. Manuf., 2003
Intelligent mechatronic components: control system engineering using an open distributed architecture.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.
Proceedings of the Perspectives of Systems Informatics, 2003
2002
Component Design and Formal Validation of SFA Systems: A Case Study.
Proceedings of the Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, 2002
2001
Proceedings of the IEEE International Conference on Systems, 2001
Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001
Proceedings of the Perspectives of System Informatics, 2001