University of Penza

Penza, Russia

University of Penza

Penza, Russia
Time filter
Source Type

Dai W.,Shanghai JiaoTong University | Dubinin V.N.,University of Penza | Christensen J.H.,Holobloc Inc. | Vyatkin V.,Lulea University of Technology | And 2 more authors.
IEEE Transactions on Industrial Informatics | Year: 2017

An increasingly important goal of industrial automation systems is to continuously optimize physical resource utilization such as materials. Distributed automation is seen as one enabling technology for achieving this goal, in which networking controller nodes collaborate in a peer-to-peer way to form a new paradigm, namely industrial cyber-physical systems (iCPS). In order to achieve rapid response to changes from both high-level control systems and plant environment, the proposed self-manageable agent relies on the use of the service-oriented architecture (SOA) that improves flexibility and interoperability. It is enhanced by the autonomic service management (ASM) to implement software modifications in a fully automatic manner, thus achieving self-manageable and adaptive iCPS. The architecture design of the ASM is provided and integration with SOA-based execution environment is illustrated. Preliminary tests on self-management are completed using a case study of an airport baggage handling system. © 2005-2012 IEEE.

Yang C.-W.,Lulea University of Technology | Dubinin V.,University of Penza | Vyatkin V.,Lulea University of Technology | Vyatkin V.,Aalto University
IEEE Transactions on Industrial Informatics | Year: 2017

This paper proposes a method for the automatic generation of smart-grid automation systems software from specifications that includes physical system layout and domain-specific functional 'recipes.' The generated software has component organization and implements a decentralized approach to smart grid control, which reduces complexity of automation systems design and modification. The proposed method relies on synergies of two industrial standards IEC 61850 and IEC 61499, which are used to represent a part of the specification and the resulting software model, respectively. Then, the specification model is created in a form of ontology and the generation is based on ontology transformation. The proposed method requires an extension to the Semantic Web Rule Language (SWRL) to support the change of an ontology axioms set for the purpose of ontology transformation. The proposed transformation language, called extended SWRL, is introduced and illustrated in use. The result shows the viability of eSWRL as an ontology transformation language when demonstrated in a power distribution case study system. © 2005-2012 IEEE.

Dai W.,Shanghai JiaoTong University | Vyatkin V.,Lulea University of Technology | Vyatkin V.,Aalto University | Christensen J.H.,Holobloc Inc. | Dubinin V.N.,University of Penza
IEEE Transactions on Industrial Informatics | Year: 2015

In recent years, requirements for interoperability, flexibility, and reconfigurability of complex automation industry applications have increased dramatically. The adoption of service-oriented architectures (SOAs) could be a feasible solution to meet these challenges. The IEC 61499 standard defines a set of management commands, which provides the capability of dynamic reconfiguration without affecting normal operation. In this paper, a formal model is proposed for the application of SOAs in the distributed automation domain in order to achieve flexible automation systems. Practical scenarios of applying SOA in industrial automation are discussed. In order to support the SOA IEC 61499 model, a service-based execution environment architecture is proposed. One main characteristic of flexibility-dynamic reconfiguration-is also demonstrated using a case study example. © 2015 IEEE.

Dai W.W.,Lulea University of Technology | Dubinin V.N.,University of Penza | Vyatkin V.,Lulea University of Technology
IEEE Transactions on Systems, Man, and Cybernetics: Systems | Year: 2014

This paper proposes a new methodology of migration from IEC 61131-3 PLCs to IEC 61499 function blocks. The aim of this migration process is to recreate IEC 61131-3 applications in IEC 61499 implementations with equivalent execution behavior. The formal model of the IEC 61131-3 standard for migration and cyclical execution model is defined. This method also creates a foundation for correct-by-design development tools and automatic migration between the IEC 61131-3 and IEC 61499 standard. Formal migration rules based on ontology mappings, restoring execution model including tasks and programs scheduling and variables mapping with different access levels, are provided. A transformation engine for importing PLC code, mapping from PLC ontology model to function block model and code generation is implemented based on the ontological knowledge base and semantic query-enhanced web rule language. The migration approach is demonstrated on a simple airport baggage handling system. © 2013 IEEE.

Zhabelova G.,Lulea University of Technology | Vyatkin V.,Lulea University of Technology | Vyatkin V.,Aalto University | Dubinin V.N.,University of Penza
IEEE Transactions on Industrial Electronics | Year: 2015

This work is aimed at facilitating the industrial adoption of agent technology. This paper proposes the hybrid agent architecture specific to the power system automation domain. The architecture builds on the logical-node concept of IEC 61850 and comprises a deliberative and a reactive layer, combining the advantages of both. By relying on the underlined industrial standards IEC 61850 and IEC 61499, the architecture ensures practical applicability and captures domain-specific concepts in the agent-based system design. The developed agent-based system was validated in the cosimulation framework. The architecture provides for rapid system development, reducing the software development life cycle. The benefits are in the traceability of the software requirements, reuse of software components, ease of redesign, and direct deployment of the system model. © 1982-2012 IEEE.

Dai W.,University of Auckland | Dubinin V.N.,University of Penza | Vyatkin V.,University of Auckland
IEEE Transactions on Industrial Informatics | Year: 2013

The IEC 61499 standard is designed for distributed control and proposes new visual form of programming using block diagrams with embedded state machines and unlimited hierarchical nesting and distribution across networking devices. Such visual programs require new methods of automatic syntactic and semantic analysis. This paper proposes a new approach to semantic analysis using multiple-layered ontological knowledge representation and rule-based inference engine. Its working is demonstrated on example. © 2005-2012 IEEE.

Vyatkin V.,University of Auckland | Dubinin V.,University of Penza
IEEE Transactions on Industrial Informatics | Year: 2010

This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in development of industrial control applications. The main purpose of the refactoring is removal of arcs without event inputs. Extended refactoring, proposed in this paper, also helps to get rid of potential deadlock states. The ECC refactoring is implemented as a set of graph transformation rules. A prototype has been implemented using the AGG software tool. The refactoring can help in implementing equivalent transformation of control programs without introducing errors. © 2006 IEEE.

Dai W.,University of Auckland | Dubinin V.,University of Penza | Vyatkin V.,University of Auckland
IEEE International Conference on Industrial Informatics (INDIN) | Year: 2011

The IEC 61499 standard is targeting the enhancement of the IEC 61131-3 PLC standard in distributed automation systems improving the reconfigurability, portability and reusability of automation software. This paper proposes a foundation to a novel approach for design the system based on IEC 61499 function blocks. This design process is including design recovery, configuration, semantic analysis and code generation using ontology models as the knowledge base. The IEC 61499 ontology model is provided as well as the semantic enrichment and corrections are described. The semantic analysis for IEC 61499 and the entire framework for code generation will be completed in the future. © 2011 IEEE.

Gorbachenko V.I.,University of Penza | Kuznetsova O.Y.,University of Penza | Silnov D.S.,National Research Nuclear University MEPhI
International Journal of Applied Engineering Research | Year: 2016

The paper compares the use of neural network and neuro-fuzzy approaches in diagnosis of endogenous intoxication syndrome. The comparison was carried out on real patient data. Data preprocessing, neural network design and experiments are reported. A fuzzy neural network and results of experiments with it are presented. The advantages of fuzzy neural network are shown. © Research India Publications.

Dubinin V.N.,University of Penza | Vyatkin V.,University of Auckland
IEEE Transactions on Industrial Informatics | Year: 2012

The international standard IEC 61499 for the design of distributed industrial control systems defines an abstract model of function blocks (FB) which allows many different semantic interpretations. As a consequence, in addition, so-called execution models were proposed to specify the execution order of FBs. The variety of models leads to the incompatibility of tools and hinders the portability of automation software. To achieve a degree of execution model independence, in this paper, design patterns are suggested that make FB systems-robust to changes of execution semantics. A semantic-robust pattern is defined for a particular source execution model. The patterns themselves are implemented by means of the FB apparatus and therefore are fairly universal. The patterns can be defined and implemented using the FB transformations expressed in terms of Attributed Graph Grammars. © 2012 IEEE.

Loading University of Penza collaborators
Loading University of Penza collaborators