Valeriy Vyatkin

According to our database1, Valeriy Vyatkin authored at least 289 papers between 2001 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Guest Editorial: Emerging Technologies and Novel Trends in Industrial Informatics.
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

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers.
IEEE Access, 2020

LSTM Based EFAST Global Sensitivity Analysis for Interwell Connectivity Evaluation Using Injection and Production Fluctuation Data.
IEEE Access, 2020

Modular Model of a Data Centre as a Tool for Improving Its Energy Efficiency.
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

Formal Verification of IEC 61499 Enhanced with Timed Events.
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

Towards Multi-Agent Control in Energy-Efficient Data Centres.
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

Generating an industrial process graph from 3D pipe routing information.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Arrowhead Datamanager integration with Eclipse 4DIAC environment.
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

Assessing Long Distance Communication Alternatives for the Remote Control of AGVs.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Towards a 3D Scanning/VR-based Product Inspection Station.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 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

Function Block Finite-State Model Identification Using SAT and CSP Solvers.
IEEE Trans. Ind. Informatics, 2019

TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2019

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

Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system.
Future Gener. Comput. Syst., 2019

Combining closed-loop test generation and execution by means of model checking.
CoRR, 2019

Applying graph matching techniques to enhance reuse of plant design information.
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

On Portability of IEC 61499 Compliant Structures and Systems.
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

Non-linear control of a group of tracked robots.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Designing Actively Secure, Highly Available Industrial Automation Applications.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

OPC UA Information Model and a Wrapper for IEC 61499 Runtimes.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Towards Product Centric Manufacturing: From Digital Twins to Product Assembly.
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

ANN based Interwell Connectivity Analysis in Cyber-Physical Petroleum Systems.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

A hybrid fault detection and diagnosis method in server rooms' cooling systems.
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

Towards formal ASM semantics of timed control systems for industrial CPS.
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
Guest Editorial Information Technology in Automation.
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

Automatic assembly planning based on digital product descriptions.
Comput. Ind., 2018

A Comprehensive Model of Data Center: From CPU to Cooling Tower.
IEEE Access, 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

Counterexample visualization and explanation for function block diagrams.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Active Learning of Formal Plant Models For Cyber-Physical Systems.
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

Implementation of distributed semaphores in IEC 61499 with consensus protocols.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Modelling Industrial Cyber-Physical Systems using IEC 61499 and OPC UA.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Towards an Open Model for Data Center Research: From CPU to Cooling Tower.
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

Intelligent Mechatronic System with Decentralised Control and Multi-Agent Planning.
Proceedings of the IECON 2018, 2018

Formal Verification of Protection Functions for Power Distribution Networks.
Proceedings of the IECON 2018, 2018

A Flow-Based Heuristic Algorithm for Network Operations Planning in Smart Grids.
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

Refactoring of IEC 61499 function block application - A case study.
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

Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

PROSA/G: An architecture for agent-based manufacturing execution.
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

On Achieving Reliable Communication in IEC 61499.
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

Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks.
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

Reconstruction of Function Block Logic Using Metaheuristic Algorithm.
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

Automatic Generation of Pipelines Into a 3D Industrial Process Model.
IEEE Access, 2017

A Distributed ICT Architecture for Continuous Frequency Control.
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

On requirements-driven design of distributed smart grid automation control.
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

A framework for runtime verification of industrial process control systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Towards electric vehicles integration to distributed energy resources of prosumer.
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

Towards a task allocation algorithm for frequency containment reserves.
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

CSP-based inference of function block finite-state models from execution traces.
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

Software-defined automation and control a preliminary study.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Power quality assessment of energy efficient cooling systems in data centers.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Energy efficient decision making in data centers with multiple cooling methods.
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

Towards formal verification for cyber-physically agnostic software: A case study.
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

Scalable methods of discrete plant model generation for closed-loop model checking.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison.
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

Testing automation systems by means of model checking.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Modular plant model synthesis from behavior traces and temporal properties.
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

Virtual Power Plant for Grid Services Using IEC 61850.
IEEE Trans. Ind. Informatics, 2016

Automatic test case generation from requirements for industrial cyber-physical systems.
Autom., 2016

Formal Modelling of Distributed Automation CPS with CP-Agnostic Software.
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

Requirement verification in simulation-based automation testing.
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

Parameters selection in predictive online simulation.
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

Decentralised Coordination of Intelligent Autonomous Batteries.
Proceedings of the Technological Innovation for Cyber-Physical Systems, 2016

Evaluating benefits of collaborative intelligent batteries in SmartGrid.
Proceedings of the IECON 2016, 2016

Towards a formal model of protection functions for power distribution networks.
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

Improvement of energy efficiency in data centers via flexible humidity control.
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

A Comparison of Formal Verification Approaches for IEC 61499.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Context modeling with situation rules for industrial maintenance.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Time-Complemented Event-Driven Architecture for Distributed Automation Systems.
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

Toward Industrially Usable Agent Technology for Smart Grid Automation.
IEEE Trans. Ind. Electron., 2015

New Trends in Intelligent Energy Systems-An Industrial Electronics Point of View.
IEEE Trans. Ind. Electron., 2015

A Review of Architectures and Concepts for Intelligence in Future Electric Energy Systems.
IEEE Trans. Ind. Electron., 2015

Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture.
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

Cyber-physical Design of Data Centers Cooling Systems Automation.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

An OPC UA Based Architecture for Testing Tracking Simulation Methods.
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

Formal Modeling of Testing Software for Cyber-Physical Automation Systems.
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

Industry-friendly engineering tools for wireless home automation devices.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Slicing the Pi: Device-specific IEC 61499 design.
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

Fault detection in the hyperspace: Towards intelligent automation systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Time-stamped event based execution semantics for industrial cyber-physical systems.
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

Evolutionary approach to coverage testing of IEC 61499 function block applications.
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

Towards formal verification of smart grid distributed intelligence: FREEDM case.
Proceedings of the IECON 2015, 2015

Towards IEC 61499 models of computation in Ptolemy II.
Proceedings of the IECON 2015, 2015

Optimization of decentralized energy storage flexibility for frequency reserves.
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

Towards a Design Methodology for Agent-Based Automation of Smart Grid.
Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2015

Data center power dynamics within the settings of regional power grid.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Towards software metrics for evaluating quality of IEC 61499 automation software.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Towards energy smart data centers: Simulation of server room cooling system.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A hybrid approach for the initialization of tracking simulation systems.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A real-time semantics for the IEC 61499 standard.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

An auction-based smart district heating grid.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A SysML profile supporting change orders in model driven engineering.
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

Migration From PLC to IEC 61499 Using Semantic Web Technologies.
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

Editorial.
EAI Endorsed Trans. Energy Web, 2014

Towards cyber-physical approach for prototyping indoor lighting automation systems.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Service-oriented distributed control software design for process automation systems.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Security risk analysis for smart grid automation.
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014

Smart indoor lighting control: Power, illuminance, and colour quality.
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

Knowledge-based web service integration for industrial automation.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

A portability study of IEC 61499: Semantics and tools.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Function block implementation of service oriented architecture: Case study.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Knowledge-based routing in mechanical transportation systems.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Decision making for industrial agents in Smart Grid applications.
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

The application of service-oriented architectures in distributed automation systems.
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

Time-complemented event-driven reconfigurable systems.
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

IEC 61499 based model-driven process control engineering.
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

Real-time execution of function blocks for Internet of Things using the RTFM-kernel.
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

Automatic generation of automation applications based on ontology transformations.
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
Cosimulation Environment for Event-Driven Distributed Controls of Smart Grid.
IEEE Trans. Ind. Informatics, 2013

Distributed Software Architecture Enabling Peer-to-Peer Communicating Controllers.
IEEE Trans. Ind. Informatics, 2013

Guest Editorial: Special section on software engineering in industrial automation.
IEEE Trans. Ind. Informatics, 2013

Software Engineering in Industrial Automation: State-of-the-Art Review.
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

Welcome message from the Editors-in-Chief.
EAI Endorsed Trans. Energy Web, 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

Smart Grid applications with IEC 61499 reference architecture.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Towards implementation of IEC 61850 GOOSE messaging in IEC 61499 environment.
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

Evaluation of electric grid automation under flood hazards.
Proceedings of the IECON 2013, 2013

A component-based design pattern for improving reusability of automation programs.
Proceedings of the IECON 2013, 2013

Extension of reconfigurability provisions in IEC 61499.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Towards automated visualization for distributed automation applications.
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

Model-based customisation of intelligent mechatronic systems using SysML.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Essential elements for programming of distributed automation and control systems.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Semantics-Robust Design Patterns for IEC 61499.
IEEE Trans. Ind. Informatics, 2012

Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes.
IEEE Trans. Ind. Electron., 2012

Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks.
IEEE Trans Autom. Sci. Eng., 2012

Smart Grid automation: Distributed protection application with IEC61850/IEC61499.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Control and hardware-in-the-loop simulation of fruit packing machine with IEC 61499.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Distributed control patterns for intelligent mechatronic systems.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Transformation from PLC to distributed control using ontology mapping.
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

Ontology Model for Migration from IEC 61131-3 PLC to IEC 61499 Function Block.
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

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499.
IEEE Trans Autom. Sci. Eng., 2010

Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009
Closed-Loop Modeling in Future Automation System Engineering and Validation.
IEEE Trans. Syst. Man Cybern. Part C, 2009

A Synchronous Approach for IEC 61499 Function Block Implementation.
IEEE Trans. Computers, 2009

2008
Using Visual Specifications in Verification of Industrial Automation Controllers.
EURASIP J. Embed. Syst., 2008

Embedded Systems Design in Intelligent Industrial Automation.
EURASIP J. Embed. Syst., 2008

On Definition of a Formal Model for IEC 61499 Function Blocks.
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

An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems.
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

Towards an Approach for the Verification of Downtimeless System Evolution.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Modelling and Verification of IEC 61499 Applications using Prolog.
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
Verification of distributed control systems in intelligent manufacturing.
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

Design and implementation of a prototype control system according to IEC 61499.
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
Application of visual specifications for verification of distributed controllers.
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

Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions.
Proceedings of the Perspectives of System Informatics, 2001


  Loading...