Change search
Link to record
Permanent link

Direct link
BETA
Alternative names
Publications (10 of 288) Show all publications
Berezovskaya, Y., Yang, C.-W., Mousavi, A., Zhang, X. & Vyatkin, V. (2019). A hybrid fault detection and diagnosis method in server rooms’ cooling systems. In: : . Paper presented at 2019 IEEE 17th International Conference on Industrial Informatics, INDIN 2019.
Open this publication in new window or tab >>A hybrid fault detection and diagnosis method in server rooms’ cooling systems
Show others...
2019 (English)Conference paper, Oral presentation with published abstract (Refereed)
Abstract [en]

Data centers as all complex systems are prone to faults, and cost of them can be very high. This paper is focused on detecting the faults in the cooling systems, in particular on local fans level. In the paper, a hybrid approach is proposed. In the approach a model is used as substitute of the real system to generate dataset containing records of both normal and fault cases. On the generated data, machine learning algorithm or ensemble of algorithms are selected and trained to detect the faults. To demonstrate the approach, the rack model of real data center is created, and reliability of the model is shown. Using the model, the dataset with normal as well as abnormal records of data is generated. To detect faults of local fans, simple classifiers are built for all pairs: a local fan – a processor unit. Classifiers are trained on one part of generated data (training data), and then their accuracy is estimated on another part of generated data (test data). A real-time fault detection system is built based on the classifiers. The rack model is used as the substitute of the real plant to check operability of the system.

National Category
Communication Systems
Identifiers
urn:nbn:se:ltu:diva-75445 (URN)
Conference
2019 IEEE 17th International Conference on Industrial Informatics, INDIN 2019
Available from: 2019-08-08 Created: 2019-08-08 Last updated: 2019-08-08
Atmojo, U. D., Salcic, Z., Wang, K.-K. I. & Vyatkin, V. (2019). A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems. IEEE Transactions on Industrial Informatics
Open this publication in new window or tab >>A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems
2019 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050Article in journal (Refereed) Epub ahead of print
Abstract [en]

Dynamic reconfigurability and adaptability are crucial features of the future manufacturing systems that must be supported by adequate software technologies. Currently, they are typically achieved as add-ons to existing software tools and run-time systems, which are not based on any formal foundation such as formal model of computation (MoC). This paper presents the new programming paradigm of Service Oriented SystemJ (SOSJ), which targets dynamic distributed software systems suited for future manufacturing applications. SOSJ is built on a merger and the synergies of two programming concepts of (1) Service Oriented Architecture (SOA), to support dynamic software system composition, and (2) SystemJ programming language based on a formal MoC, which targets correct by construction design of static distributed software systems. The resulting programming paradigm allows the design and implementation of dynamic distributed software systems.

Place, publisher, year, edition, pages
IEEE, 2019
Keywords
service oriented architecture, dynamic distributed software systems, reconfigurability, manufacturing
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-75289 (URN)10.1109/TII.2019.2919153 (DOI)
Available from: 2019-07-11 Created: 2019-07-11 Last updated: 2019-07-11
Sinha, R., Patil, S., Gomes, L. & Vyatkin, V. (2019). A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Transactions on Industrial Informatics, 15(7), 3772-3783
Open this publication in new window or tab >>A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
2019 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 15, no 7, p. 3772-3783Article in journal (Refereed) Published
Abstract [en]

Industrial automation systems need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe and secure manner. Formal methods are mathematical techniques used to describe computer systems, both hardware, and software. Formal methods can greatly aid in developing dependable systems and can be used across all phases of the system development lifecycle, right from customer requirement gathering through design and implementation, verification and validation (testing), maintenance and even documentation. This state-of-the-art survey reports existing formal approaches for creating more dependable industrial automation systems, focussing on static or offline, as opposed to runtime or online, formal methods. This article categorises existing works as per the requirements engineering, design and implementation, and testing phases of the system development life cycle, allowing us to identify gaps in current research and promising future directions for each of these phases.

Place, publisher, year, edition, pages
IEEE, 2019
Keywords
Industrial automation systems, industrial control, formal methods, formal verification, IEC 61131, IEC 61499
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-73547 (URN)10.1109/TII.2019.2908665 (DOI)000474628100002 ()2-s2.0-85068606764 (Scopus ID)
Note

Validerad;2019;Nivå 2;2019-07-12 (johcin)

Available from: 2019-04-10 Created: 2019-04-10 Last updated: 2019-08-22Bibliographically approved
Yli-Ojanperä, M., Sierla, S., Papakonstantinou, N. & Vyatkin, V. (2019). Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study. Journal of Industrial Information Integration, 15, 147-160
Open this publication in new window or tab >>Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study
2019 (English)In: Journal of Industrial Information Integration, ISSN 2452-414X, Vol. 15, p. 147-160Article in journal (Refereed) Published
Abstract [en]

Industry 4.0 architecture has been studied in a large number of publications in the fields of Industrial Internet of Things, Cyber Physical Production Systems, Enterprise Architectures, Enterprise Integration and Cloud Manufacturing. A large number of architectures have been proposed, but none of them has been adopted by a large number of research groups. Two major Industry 4.0 reference architectures have been developed by industry-driven initiatives, namely the German Industry 4.0 and the US-led Industrial Internet Consortium. These are the Reference Architecture Model Industry 4.0 and Industrial Internet Reference Architecture, which are being standardized by the International Electrotechnical Commission and the Object Management Group, respectively. The first research goal of this article is to survey the literature on Industry 4.0 architectures in a factory context and assess awareness and compatibility with Reference Architecture Model Industry 4.0 and Industrial Internet Reference Architecture. The second research goal is to adapt a previously proposed advanced manufacturing concept to Reference Architecture Model Industry 4.0. With respect to the first research goal, it was discovered that only a minority of researchers were aware of the said reference architectures and that in general authors offered no discussion about the compatibility of their proposals with any internationally standardized reference architecture for Industry 4.0. With respect to the second research goal, it was discovered that Reference Architecture Model Industry 4.0 was mature with respect to communication and information sharing in the scope of the connected world, that further standardization enabling interoperability of different vendors’ technology is still under development and that technology standardization enabling executable business processes between networked enterprises was lacking.

Place, publisher, year, edition, pages
Elsevier, 2019
Keywords
Industry 4.0, RAMI 4.0, Reference architecture, OPC UA, Industrial Internet of Things, Cyber-physical production systems
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72490 (URN)10.1016/j.jii.2018.12.002 (DOI)000487306100015 ()
Note

Validerad;2019;Nivå 2;2019-10-09 (johcin)

Available from: 2019-01-08 Created: 2019-01-08 Last updated: 2019-10-09Bibliographically approved
Rantala, M., Niemistö, H., Karhela, T., Sierla, S. & Vyatkin, V. (2019). Applying graph matching techniques to enhance reuse of plant design information. Computers in industry (Print), 107, 81-98
Open this publication in new window or tab >>Applying graph matching techniques to enhance reuse of plant design information
Show others...
2019 (English)In: Computers in industry (Print), ISSN 0166-3615, E-ISSN 1872-6194, Vol. 107, p. 81-98Article in journal (Refereed) Published
Abstract [en]

This article investigates how graph matching can be applied to process plant design data in order to support the reuse of previous designs. A literature review of existing graph matching algorithms is performed, and a group of algorithms is chosen for further testing. A use case from early phase plant design is presented. A methodology for addressing the use case is proposed, including graph simplification algorithms and node similarity measures, so that existing graph matching algorithms can be applied in the process plant domain. The proposed methodology is evaluated empirically on an industrial case consisting of design data from several pulp and paper plants. 

Place, publisher, year, edition, pages
Elsevier, 2019
Keywords
Design reuse, Engineering design, Inexact graph matching, Node similarity, Process plant, Pulp and paper
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72928 (URN)10.1016/j.compind.2019.01.005 (DOI)000461269600008 ()2-s2.0-85061207989 (Scopus ID)
Note

Validerad;2019;Nivå 2;2019-02-18 (svasva)

Available from: 2019-02-18 Created: 2019-02-18 Last updated: 2019-09-13Bibliographically approved
Yang, C.-W., Dubinin, V. & Vyatkin, V. (2019). Automatic Generation of Control Flow from Requirements for Distributed Smart Grid Automation Control. IEEE Transactions on Industrial Informatics
Open this publication in new window or tab >>Automatic Generation of Control Flow from Requirements for Distributed Smart Grid Automation Control
2019 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050Article in journal (Refereed) Epub ahead of print
Abstract [en]

Smart grid is a Cyber-Physical System with a high level of complexity due to its de-centralized infrastructure. IEC 61850 and IEC 61499 are two industrial standards which can address the challenges introduced by the Smart Grid on the substation automation level. Development of Smart Grid automation software is very time consuming process due to the need to address many requirements and high degree of customisation in every new substation. This limits the adoption of such smart grid technologies as digital substation. This paper aims at addressing this limitation by applying a semi-formal boilerplates model of functional requirements originally presented in informal natural language. The boilerplates are then modelled formally in an ontology for MDE model transformation. The contribution of this paper is the development of the semi-formal and formal boilerplate representation in the form of ontology to formulate Smart Grid requirements and demonstrating how functional requirements can be translated to IEC 61499 control codes using MDE to auto-generate an IEC 61499 PAC control system with structure and control flow. The MDE framework augmented with the requirements models is illustrated on a case study from CIGRE representing different stages of modelling in the proposed framework.

Place, publisher, year, edition, pages
IEEE, 2019
National Category
Communication Systems Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-75444 (URN)10.1109/TII.2019.2930772 (DOI)
Available from: 2019-08-08 Created: 2019-08-08 Last updated: 2019-08-14
Guellouz, S., Benzina, A., Khalgui, M., Frey, G., Li, Z. & Vyatkin, V. (2019). Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Transactions on Automation Science and Engineering, 16(3), 1110-1124
Open this publication in new window or tab >>Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking
Show others...
2019 (English)In: IEEE Transactions on Automation Science and Engineering, ISSN 1545-5955, E-ISSN 1558-3783, Vol. 16, no 3, p. 1110-1124Article in journal (Refereed) Published
Abstract [en]

IEC 61499 provides a standardized approach for the development of distributed control systems. The standard introduces a component architecture, based on function blocks that are event-triggered components processing data and signals. However, it gives only limited support for the design of reconfigurable architectures. In particular, handling of several reconfiguration scenarios is quite heavy on this level since a scenario changes the execution model of the system due to requirements. To this end, a new IEC 61499-based model named reconfigurable function blocks (RFBs) is proposed. An RFB processes the reconfiguration events and switches directly to the suitable configuration using a hierarchical state machine model. The latter represents the reconfiguration model which reacts on changes in the environment in order to find an adequate reconfiguration scenario to be executed. Each scenario presents a particular sequence of algorithms, encapsulated in another execution control chart slave which represents the control model of an RFB. This hierarchy simplifies the design and separates the reconfiguration logic from control models. To verify its correctness and alleviate its state space explosion problem in model checking, this paper translates an RFB system automatically into a generalized model of reconfigurable timed net condition/event systems (GR-TNCES), a Petri net class that preserves the semantics of an RFB system. In this paper, along with verification of deterministic properties, we also propose to quantify and analyze some probabilistic properties. As a case study, we consider a smart-grid system, interpreting permanent faults in it as reconfiguration events, and we characterize them with the expected occurrence probability and the corresponding repair time. A tool chain ZiZo is developed to support the proposed approach.

Place, publisher, year, edition, pages
IEEE, 2019
Keywords
Control system, IEC61499, model checking, Petri net, reconfiguration
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-71597 (URN)10.1109/TASE.2018.2868897 (DOI)000473649700009 ()2-s2.0-85056577041 (Scopus ID)
Note

Validerad;2019;Nivå 2;2019-08-16 (johcin)

Available from: 2018-11-15 Created: 2018-11-15 Last updated: 2019-08-16Bibliographically approved
Chivilikhin, D., Ulyantsev, V., Shalyto, A. & Vyatkin, V. (2019). Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Transactions on Industrial Informatics, 15(8), 4558-4568
Open this publication in new window or tab >>Function Block Finite-State Model Identification Using SAT and CSP Solvers
2019 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 15, no 8, p. 4558-4568Article in journal (Refereed) Published
Abstract [en]

We propose a two-stage exact approach for identifying finite-state models of function blocks based on given execution traces. First, a base finite-state model is inferred with a method based on translation to the Boolean satisfiability problem, and then, the base model is generalized by inferring minimal guard conditions of the state machine with a method based on translation to the constraint satisfaction problem.

Place, publisher, year, edition, pages
IEEE, 2019
Keywords
Automata, control system synthesis, CSP, reverse engineering, SAT
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-75721 (URN)10.1109/TII.2019.2891614 (DOI)000480360800016 ()
Note

Validerad;2019;Nivå 2;2019-08-28 (johcin)

Available from: 2019-08-28 Created: 2019-08-28 Last updated: 2019-08-28Bibliographically approved
de Silva, D., Pang, Z., Osipov, E. & Vyatkin, V. (2019). Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics. IEEE Transactions on Industrial Informatics, 15(6), 3690-3692
Open this publication in new window or tab >>Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics
2019 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 15, no 6, p. 3690-3692Article in journal, Editorial material (Refereed) Published
Abstract [en]

The emergence of artificial intelligence (AI), empowered by robust computing infrastructure and abundance of data, maintains potential for radical transformation of human society, essentially a third phase in evolution. Numerous research endeavor, policy development, and thought-leadership are presently in progress aimed at discovering data-driven intelligent decision-making solutions for smart cities, smart grids, smart homes, and informed citizens as well as addressing potential risks posed by AI workplace automation. Joining this broad effort, this Special Section contributes six research articles that consolidate recent developments in AI for industrial informatics.

Place, publisher, year, edition, pages
IEEE, 2019
Keywords
Artificial intelligence, Informatics, Neural networks, Manufacturing
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-75161 (URN)10.1109/TII.2019.2913769 (DOI)000471725400054 ()2-s2.0-85067350748 (Scopus ID)
Available from: 2019-07-01 Created: 2019-07-01 Last updated: 2019-07-10Bibliographically approved
Jarvis, D., Jarvis, J., Yang, C.-W., Sinha, R. & Vyatkin, V. (2019). Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. In: : . Paper presented at 2019 IEEE 17th International Conference on Industrial Informatics, INDIN 2019.
Open this publication in new window or tab >>Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems
Show others...
2019 (English)Conference paper, Oral presentation with published abstract (Refereed)
Abstract [en]

The benefits that arise from the adoption of a systems engineering approach to the design of engineered systems are well understood and documented. However, with software systems, different approaches are required given the changeability of requirements and the malleability of software. With the design of industrial cyber-physical systems, one is confronted with the challenge of designing engineered systems that have a significant software component. Furthermore, that software component must be able to seamlessly interact with both the enterprise’s business systems and industrial systems. In this paper, we present Janus, which together with the GORITE BDI agent framework, provides a methodology for the design of agent-based industrial cyber-physical systems. Central to the Janus approach is the development of a logical architecture as in traditional systems engineering and then the allocation of the logical requirements to a BDI (Belief Desire Intention) agent architecture which is derived from the physical architecture for the system. Janus has its origins in product manufacturing; in this paper, we apply it to the problem of Fault Location, Isolation and Service Restoration (FLISR) for power substations. 

National Category
Communication Systems
Identifiers
urn:nbn:se:ltu:diva-75446 (URN)
Conference
2019 IEEE 17th International Conference on Industrial Informatics, INDIN 2019
Available from: 2019-08-08 Created: 2019-08-08 Last updated: 2019-08-08
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-9315-9920

Search in DiVA

Show all publications