University of Penza

Penza, Russia

University of Penza

Penza, Russia

Time filter

Source Type

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.


Zhabelova G.,Lulea University of Technology | Vyatkin V.,Lulea University of Technology | Vyatkin V.,Aalto University | Dubinin V.,University of Penza
Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society | Year: 2014

Agent technology in the power system domain is the realm of theory and laboratory simulation. Agent-based systems, due to their complexity of concept and design, may appear difficult to implement and maintain, and hence more expensive, which is a prohibiting factor against using the new technology. Designing a decision-making system for an agent is one of the most complex tasks in the development of agent-based systems. Designing a decision-making system enabling proactive behaviours while maintaining reasonable complexity is a challenge. This paper proposes an deliberative decision making system for an industrial agent which allows pro-active behaviour of the agent while maintaining reasonable complexity. It employs a combination of practical and procedural reasoning principles. The formal definition of the proposed deliberative layer is derived in the paper. The procedural reasoning is based on IEC 61850 Logical Node concept and implemented with IEC 61499 reference architecture. The proposed agent architecture is demonstrated on the Fault Location Isolation and Supply Restoration application and validated via so-simulation with Matlab model of the sample distribution network. © 2014 IEEE.


Dubinin V.,University of Penza | Vyatkin V.,Lulea University of Technology | Vyatkin V.,Aalto University | Yang C.-W.,Lulea University of Technology | Pang C.,Lulea University of Technology
19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 | Year: 2014

In this paper an ontology driven approach to the design of control systems, in particular, control applications of IEC 61499 standard is proposed. The source ontology is an ontological description of control object (plant) while the target ontology is an ontological description of a control system implemented using an appropriate programming language. For the ontologies transformation an extension of SWRL (called eSWRL) is informally introduced. An example of transformation of the ontological description of a baggage handling system to the ontological description of a control application based on IEC 61499 function blocks (FB) is in detail considered. The corresponding transformation rules have been developed in the context of this example. © 2014 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