Change search
Refine search result
1 - 34 of 34
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
  • 1.
    Buzhinsky, Igor
    et al.
    Department of Electrical Engineering and Automation, Aalto University.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Automatic Inference of Finite-State Plant Models from Traces and Temporal Properties2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 4, p. 1521-1530, article id 7857798Article in journal (Refereed)
    Abstract [en]

    Closed-loop model checking, a formal verification technique for industrial automation systems, increases the richness of specifications to be checked and reduces the state space to be verified compared to the open-loop case. To be applied, it needs the controller and the plant formal models to be coupled. There are approaches for controller synthesis, but little has been done regarding plant model construction. While manual plant modeling is time consuming and error-prone, discretizing a simulation model of the plant leads to state excess. This paper aims to solve the problem of automatic plant model construction from existing specification, which is represented in the form of plant behavior examples, or traces, and temporal properties. The proposed method, which is based on the translation of the problem to the Boolean satisfiability problem, is evaluated and shown to be applicable on several case study plant model synthesis tasks and on randomly generated problem instances.

  • 2.
    Chivilikhin, Daniil
    et al.
    Computer Technologies Laboratory, ITMO University, St. Petersburg.
    Shalyto, Anatoly
    Computer Technologies Laboratory, ITMO University, St. Petersburg.
    Patil, Sandeep
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Reconstruction of Function Block Logic Using Metaheuristic Algorithm2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 4, p. 1763-1771, article id 7936605Article in journal (Refereed)
    Abstract [en]

    An approach for automatic reconstruction of automation logic from execution scenarios using a metaheuristic algorithm is proposed. IEC 61499 basic function blocks are chosen as implementation language and reconstruction of Execution Control Charts for basic function blocks is addressed. The synthesis method is based on a metaheuristic algorithm that combines ideas from ant colony optimization and evolutionary computation. Execution scenarios can be recorded from testing legacy software solutions. At this stage results are only limited to generation of basic function blocks having only Boolean input/output variables.

  • 3.
    Dai, Wenbin
    et al.
    University of Auckland, Shanghai Jiao Tong University.
    Dubinin, Victor N.
    University of Auckland, Penza State University, Department of Computer Science, University of Penza, Computer Science Department, Penza State University, Penza.
    Christensen, James H.
    Rockwell Automation Advanced Technologies, Mayfield Heights, Holobloc Inc., Cleveland Heigths.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Guan, Xinping
    Key Laboratory of System Control and Information Processing, Ministry of Education of China, Department of Automation, Shanghai Jiao Tong University, Shanghai Jiao Tong University.
    Towards Self-Manageable and Adaptive Industrial Cyber-Physical Systems with Knowledge-Driven Autonomic Service Management2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 2, p. 725-736, article id 7523919Article in journal (Refereed)
    Abstract [en]

    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 industrial cyberphysical systems. The architecture design of the autonomic service manager is provided and integration with SOA based execution environment is illustrated. Preliminary tests on selfmanagement are completed using a case study of airport baggage handling system.

  • 4.
    Dai, Wenbin
    et al.
    University of Auckland.
    Dubinin, Victor N.
    University of Penza.
    Vyatkin, Valeriy
    University of Auckland.
    Automatically generated layered ontological models for semantic analysis of component-based control systems2013In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 9, no 4, p. 2124-2136Article in journal (Refereed)
    Abstract [en]

    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.

  • 5.
    Dai, Wenbin
    et al.
    Shanghai Jiao Tong University, Department of Automation.
    Riliskis, Laurynas
    Stanford University, Department of Computer Science.
    Wang, Peng
    Shenyang Institute of Automation, China Academy of Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Aalto University, Espoo.
    Guan, Xinping
    Department of Automation, Shanghai Jiao Tong University, Shanghai.
    A Cloud-Based Decision Support System for Self-Healing in Distributed Automation Systems Using Fault Tree Analysis2018In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 14, no 3, p. 989-1000Article in journal (Refereed)
    Abstract [en]

    Downtime is a key performance index for industrial automation systems. An industrial automation system achieves maximum productivity when its downtime is reduced to the minimum. One approach to minimize downtime is to predict system faults and recover from them automatically. A cloud-based decision support system is proposed for rapid problem identifications and to assist the self-management processes. By running multiple parallel simulations of control software with real-time inputs ahead of system time, faults could be detected and corrected automatically using autonomous industrial software agents. Fault trees, as well as control algorithms, are modeled using IEC 61499 function blocks that can be directly executed on both physical controllers and cloud services. A case study of water heating process is used to demonstrate the self-healing process supported by the cloud-based decision support system.

  • 6.
    Dai, Wenbin
    et al.
    Department of Automation, Shanghai Jiao Tong University, Shanghai, China.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Christensen, James H.
    Holobloc Inc., Cleveland.
    Dubinin, Victor N.
    Department of Computer Science, University of Penza, Penza, Russia.
    Response to “Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability”2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 4, p. 1497-1502, article id 7931583Article in journal (Refereed)
    Abstract [en]

    Service-oriented architecture is increasingly applied in industrial cyber-physical systems to provide better flexibility and interoperability between various systems and devices. In the previous work (IEEE Trans. On Industrial Informatics, Vol. 11, No. 3, pp 771 – 781, June 2015), a service-based execution environment for IEC 61499 is proposed to enhance flexibility and interoperability in distributed automation systems. In this paper we discuss questions raised by some readers, for example performance overhead of the proposed method. Also other clarifications are made in order to address possible confusions expressed in the received comments

  • 7.
    Deng, Ruilong
    et al.
    Department of Electrical and Computer Engineering, University of Alberta, Edmonton.
    Xiao, Gaoxi
    School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore.
    Lu, Rongxing
    Faculty of Computer Science, University of New Brunswick,.
    Liang, Hao
    Department of Electrical and Computer Engineering, University of Alberta, Edmonton.
    Vasilakos, Athanasios
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    False data injection on state estimation in power systems - attacks, impacts, and defense: a survey2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 2, p. 411-423, article id 7579185Article in journal (Refereed)
    Abstract [en]

    The accurately estimated state is of great importance for maintaining a stable running condition of power systems. To maintain the accuracy of the estimated state, bad data detection (BDD) is utilized by power systems to get rid of erroneous measurements due to meter failures or outside attacks. However, false data injection (FDI) attacks, as recently revealed, can circumvent BDD and insert any bias into the value of the estimated state. Continuous works on constructing and/or protecting power systems from such attacks have been done in recent years. This survey comprehensively overviews three major aspects: constructing FDI attacks; impacts of FDI attacks on electricity market; and defending against FDI attacks. Specifically, we first explore the problem of constructing FDI attacks, and further show their associated impacts on electricity market operations, from the adversary's point of view. Then, from the perspective of the system operator, we present countermeasures against FDI attacks. We also outline the future research directions and potential challenges based on the above overview, in the context of FDI attacks, impacts, and defense.

  • 8.
    Derhamy, Hasan
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    System of System Composition based on Decentralized Service Oriented ArchitectureIn: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050Article in journal (Refereed)
  • 9.
    Du, Wei
    et al.
    Key Laboratory of Advanced Control and Optimization for Chemical Processes, Ministry of Education, East China University of Science and Technology, Shanghai , Institute of Textiles and Clothing, The Hong Kong Polytechnic University.
    Tang, Yang
    Key Laboratory of Advanced Control and Optimization for Chemical Processes, Ministry of Education, East China University of Science and Technology, Shanghai.
    Leung, Sunney Yung Sun
    Institute of Textile and Clothing, The Hong Kong Polytechnic University.
    Tong, Le
    Institute of Textile and Clothing, The Hong Kong Polytechnic University.
    Vasilakos, Athanasios
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Qian, Feng
    Key Laboratory of Advanced Control and Optimization for Chemical Processes, Ministry of Education, East China University of Science and Technology, Shanghai , Institute of Textiles and Clothing, The Hong Kong Polytechnic University.
    Robust Order Scheduling in the Discrete Manufacturing Industry: a Multiobjective Optimization Approach2018In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 14, no 1, p. 253-264, article id 7842622Article in journal (Refereed)
    Abstract [en]

    Order scheduling is of vital importance in discrete manufacturing industries. This paper takes fashion industry as an example and discusses the robust order scheduling problem in the fashion industry. In the fashion industry, order scheduling focuses on the assignment of production orders to appropriate production lines. In reality, before a new order can be put into production, a series of activities known as preproduction events need to be completed. In addition, in real production process, owing to various uncertainties, the daily production quantity of each order is not always as expected. In this paper, by considering the preproduction events and the uncertainties in the daily production quantity, robust order scheduling problems in the fashion industry are investigated with the aid of a multiobjective evolutionary algorithm called nondominated sorting adaptive differential evolution (NSJADE). The experimental results illustrate that it is of paramount importance to consider preproduction events in order scheduling problems in the fashion industry. We also unveil that the existence of the uncertainties in the daily production quantity heavily affects the order scheduling.

  • 10.
    Dubinin, V.N.
    et al.
    Department of Computer Science, University of Penza.
    Vyatkin, Valeriy
    Semantics-robust design patterns for IEC 614992012In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 8, no 2, p. 279-290Article in journal (Refereed)
    Abstract [en]

    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.

  • 11.
    Etherden, Nicholas
    et al.
    STRI AB.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Bollen, Math
    Luleå University of Technology, Department of Engineering Sciences and Mathematics, Energy Science.
    Virtual Power Plant for Grid Services using IEC 618502016In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 12, no 1, p. 437-447Article in journal (Refereed)
    Abstract [en]

    This paper assesses the communication, information and functional requirements of Virtual Power Plants (VPPs). A conceptual formulation of the interoperability requirements is presented as well as a comparative study of their fulfillment by state-of-the-art communication techniques. VPP requirements are then mapped against services and information models of IEC 61850 and CIM power utility automation standards. Proposals are given for extensions of the IEC 61850 standard to enhance the interaction between VPP controller and the distributed energy resources. Finally the methodology and concepts are applied to a specific VPP consisting of hydro and wind plants, solar PV and storage facilities. Several applications to provide grid services from the proposed VPP in an existing 50 kV grid are covered. The implementation of the VPP communication and control architecture in the SCADA of demonstration plant is also presented.

  • 12.
    Georgoulas, Georgios
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Signals and Systems.
    Climente-Alarcón, Vicente
    Department of Electrical Engineering and Automation, Aalto University.
    Antonino-Daviu, José Alfonso
    Instituto Tecnologico de la Energia, Universitat Politècnica de València.
    Tsoumas, Ioannis P.
    ABB Corporate Research, Baden-Dättwil.
    Stylios, Chrysostomos D.
    Laboratory of Knowledge and Intelligent Computing, Department of Computer Engineering, TEI of Epirus, Artas, Kostakioi.
    Arkkio, Antero
    Department of Electrical Engineering and Automation, Aalto University.
    Nikolakopoulos, George
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Signals and Systems.
    The use of a multilabel classification framework for the detection of broken bars and mixed eccentricity faults based on the start-up transient2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 2, p. 625-634, article id 7778161Article in journal (Refereed)
    Abstract [en]

    In this paper, a data-driven approach for the classification of simultaneously occurring faults in an induction motor is presented. The problem is treated as a multilabel classification problem, with each label corresponding to one specific fault. The faulty conditions examined include the existence of a broken bar fault and the presence of mixed eccentricity with various degrees of static and dynamic eccentricity, while three 'problem transformation' methods are tested and compared. For the feature extraction stage, the start-up current is exploited using two well-known time-frequency (scale) transformations. This is the first time that a multilabel framework is used for the diagnosis of co-occurring fault conditions using information coming from the start-up current of induction motors. The efficiency of the proposed approach is validated using simulation data with promising results irrespective of the selected time-frequency transformation

    The full text will be freely available from 2018-12-08 15:23
  • 13.
    Giovanelli, Christian
    et al.
    Department of Electrical Engineering and Automation, Aalto University.
    Kikki, Olli
    Department of Electrical Engineering and Automation, Aalto University.
    Sierla, Seppo A.
    Department of Electrical Engineering and Automation, Aalto University.
    Seilonen, Ilkka
    Department of Electrical Engineering and Automation, Aalto University.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Department of Electrical Engineering and Automation, Aalto University.
    Task Allocation Algorithm for Energy ResourcesProviding Frequency Containment Reserves2018In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050Article in journal (Refereed)
    Abstract [en]

    The uncertainty caused by the variability in renewable energy production requires the engagement of consumer-side energy production and consumption to provide sufficient flexibility and reliability for the power grid. This study presents an algorithm for allocating tasks to distributed energy resources allowing consumers to provide flexibility for frequency containment reserves. The task allocation algorithm aims at supporting the plug and play of energy resources, and it avoids the need for hard real-time messages during the coordination of the resources. The algorithm combines a novel control strategy with an information and communication technology architecture. The main decision logic of the algorithm is defined together with the distributed control logic. A prototype implementation of the overall system for frequency control is used to evaluate the performance of the algorithm. The simulation results show that the algorithm achieves the specified objectives, and has advantages compared to the state of the art solution.

  • 14.
    Karvelis, Petros
    et al.
    Laboratory of Knowledge and Intelligent Computing, Department of Computer Engineering, Technological Educational Institute of Epirus.
    Georgoulas, Georgios
    Laboratory of Knowledge and Intelligent Computing, Department of Computer Engineering, Technological Educational Institute of Epirus, Artas.
    Tsoumas, Ioannis P.
    ABB Corporate Research, Baden-Dättwil.
    Antonino-Daviu, José Alfonso
    Instituto de Ingeniería Energética, Universitat Politècnica de València.
    Climente-Alarcón, Vicente
    Department of Electrical Engineering and Automation, Aalto University.
    Stylios, Chrysostomos D.
    Laboratory of Knowledge and Intelligent Computing, Department of Computer Engineering, TEI of Epirus, Artas, Kostakioi.
    A Symbolic Representation Approach for the Diagnosis of Broken Rotor Bars in Induction Motors2015In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 11, no 5, p. 1028-1037, article id 7175053Article in journal (Refereed)
    Abstract [en]

    One of the most common deficiencies of currently existing induction motor fault diagnosis techniques is their lack of automatization. Many of them rely on the qualitative interpretation of the results, a fact that requires significant user expertise, and that makes their implementation in portable condition monitoring devices difficult. In this paper, we present an automated method for the detection of the number of broken bars of an induction motor. The method is based on the transient analysis of the start-up current using wavelet approximation signal that isolates a characteristic component that emerges once a rotor bar is broken. After the isolation of this component, a number of stages are applied that transform the continuous-valued signal into a discrete one. Subsequently, an intelligent icon-like approach is applied for condensing the relative information into a representation that can be easily manipulated by a nearest neighbor classifier. The approach is tested using simulation as well as experimental data, achieving high-classification accuracy.

  • 15.
    Kyusakov, Rumen
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Eliasson, Jens
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Delsing, Jerker
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    van Deventer, Jan
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Gustafsson, Jonas
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Integration of wireless sensor and actuator nodes with IT infrastructure using service-oriented architecture2013In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 9, no 1, p. 43-51Article in journal (Refereed)
    Abstract [en]

    A large number of potential applications for Wireless Sensor and Actuator Networks (WSAN) have yet to be embraced by industry despite high interest amongst academic researchers. This is due to various factors such as unpredictable costs related to development, deployment and maintenance of WSAN, especially when integration with existing IT infrastructure and legacy systems is needed. Service-Oriented Architecture (SOA) is seen as a promising technique to bridge the gap between sensor nodes and enterprise applications such as factory monitoring, control and tracking systems where sensor data is used. To date, research efforts have focused on middleware software systems located in gateway devices that implement standard service technology, such as Devices Profile for Web Services (DPWS), for interacting with the sensor network. This paper takes a different approach - deploying interoperable Simple Object Access Protocol (SOAP)-based web services directly on the nodes and not using gateways. This strategy provides for easy integration with legacy IT systems and supports heterogeneity at the lowest level. Two-fold analysis of the related overhead, which is the main challenge of this solution, is performed; Quantification of resource consumption as well as techniques to mitigate it are presented, along with latency measurements showing the impact of different parts of the system on system performance. A proof-of-concept application using Mulle - a resource-constrained sensor platform - is also presented.

  • 16.
    Li, Di
    et al.
    School of Mechanical and Automotive Engineering, South China University of Technology.
    Zhai, Zhenkun
    School of Mechanical and Automotive Engineering, South China University of Technology.
    Pang, Zhibo
    ABB Corporate Research, Västerås.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Aalto University, Department of Electronic Engineering & Automation.
    Liu, Chengliang
    Institute of Mechatronics, Shanghai Jiao Tong University .
    Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 6, p. 3389-3398Article in journal (Refereed)
    Abstract [en]

    Owing to the semantic ambiguities, it has hindered the promotion of IEC 61499 in the field of industrial automation. In order to solve the thorny problem, this paper proposes an implementation scheme for performing formal modelling and simulation verification of semantics of functional block networks. Based on the synchrony hypothesis, the formal execution model is defined according to the fixed point semantics assuming that the behavior of a component functional block is monotonic. Subsequently, through specifying the evaluation of function blocks as a process of solving the least fixed point problem and transforming the network topology into a directed graph, a connectivity attenuation-based algorithm is put forward to ascertain the optimal scheduling policy of function blocks with the minimum overhead. Finally, by conducting the experiment for an industrial application, the feasibility and validity of the presented implementation scheme is proved.

  • 17.
    Lindgren, Per
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Eriksson, Johan
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Lindner, Marcus
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Lindner, Andreas
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Pereira, David
    ISEP, Instituto Superior de Engenharia do Porto.
    Pinho, Luis Miguel
    ISEP, Instituto Superior de Engenharia do Porto.
    End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 1, p. 287-297Article in journal (Refereed)
    Abstract [en]

    The IEC 61499 standard provides means to specify distributed control systems in terms of function blocks. For the deployment, each device may hold one or many logical resources, each consisting of a function block network with service interface blocks at the edges. The execution model is event driven (asynchronous), where triggering events may be associated with data (and seen as messages). In this paper, we propose a low complexity implementation technique allowing to assess end-to-end response times of event chains spanning over a set of networked devices. Based on a translation of IEC 61499 to RTFM1-tasks and resources, the response time for each task in the system at device-level can be derived using established scheduling techniques. In this paper, we develop a holistic method to provide safe end-to-end response times taking both intra- and inter-device delivery delays into account. The novelty of our approach is the accuracy of the system scheduling overhead characterization. While the device-level (RTFM) scheduling overhead was discussed in previous works, the network-level scheduling overhead for switched Ethernets is discussed in this paper. The approach is generally applicable to a wide range of COTS Ethernet switches without a need for expensive custom solutions to provide hard real-time performance. A behavior characterization of the utilized switch determines the guaranteed response times. As a use case, we study the implementation onto (single-core) ARMcortex based devices communicating over a switched Ethernet network. For the analysis, we define a generic switch model and an experimental setup allowing us to study the impact of network topology as well as 802.1Q quality of service in a mixed critical setting. Our results indicate that safe sub millisecond end-to-end response times can be obtained using the proposed approach.

  • 18.
    Perera, Charith
    et al.
    School of Computing Science, Newcastle University .
    Vasilakos, Athanasios
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Calikli, Gul
    Chalmers University of Gothenburg.
    Sheng, Quan Z.
    Department of Computing ,Macquarie University, Sydney.
    Li, Kuan-Ching
    Department of Computer Science and Information Engineering (CSIE) Providence University.
    Guest Editorial Special Section on Engineering Industrial Big Data Analytics Platforms for Internet of Things2018In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 14, no 2, p. 744-747Article in journal (Refereed)
  • 19.
    Perera, Charith
    et al.
    Newcastle University, School of Computer Science, Newcastle Upon Tyne .
    Vasilakos, Athanasios
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Calikli, Gul
    Chalmers University.
    Sheng, Quan Z.
    Macquarie University, Department of Comp, Sydney.
    Li, Kuan-Ching
    Providence University, Department of Computer Science & Information Engineering CSIE.
    Special Section on Engineering Industrial Big Data Analytics Platforms for Internet of Things2018In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 14, no 2, p. 744-747Article in journal (Refereed)
  • 20.
    Prähofer, Herbert
    et al.
    Johannes Kepler University Linz, Linz, Austria.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Zoitl, Alois
    Johannes Kepler University Linz, Linz, Austria.
    Guest Editorial Information Technology in Automation2018In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 14, no 6, p. 2745-2747Article in journal (Refereed)
    Abstract [en]

    The papers in this special section focus on information technology in industrial automation applications. Information technologies play a crucial role in the current and future developments of industrial automation. There are numerous strategic agendas on future manufacturing that have appeared recently worldwide and all of them emphasize the role of information technologies in automation in shaping up the future of production industries. For example, according to the German development agenda Industrie 4.0, the main driving force of the new industrial revolution is the Internet of things (IoT) and Cyber-Physical Systems (CPS). The IoT concept is becoming a major driver for many industrial applications. In manufacturing, it leads to flattening of the control pyramid, thus, increasing flexibility and enabling unprecedented level of production flexibility and adaptability, making it possible and feasible to produce products in smaller amounts, with shorter time to markets and higher economic efficiency. In the manufacturing environment, CPS comprise smart machines, storage systems, and production facilities capable of autonomously exchanging information, triggering actions, and controlling each other independently. The research community effort has been focusing on systems interoperability, performance, and efficiency of the design process, as well as assurance in the correctness of systems behavior.

  • 21.
    Sorouri, Majid
    et al.
    University of Auckland.
    Patil, Sandeep
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Salcic, Zoran
    Department of Electrical and Computer Engineering, University of Auckland.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Software Composition and Distributed Operation Scheduling in Modular Automated Machines2015In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 11, no 4, p. 865-878Article in journal (Refereed)
    Abstract [en]

    This paper proposes a new software composition method for automated machines that exploits their mechatronic modularity. It is demonstrated that desired behavior of a certain class of machines can be composed of behaviors of its mechatronic components, including fully decentralized scheduling and operation control. This aims at increased performance of software design and maintenance, as well as systems' flexibility and reconfigurability. The IEC 61499 Function Blocks' (FBs) architecture is used as an implementation platform that enables system-level simulation and transparency of deployment. A configurable pick-and-place (PnP) manipulator with decentralized control synthesized using the proposed approach is chosen as an illustrative example

  • 22.
    Strasser, Thomas
    et al.
    Electric Energy Systems Energy Department, AIT Austrian Institute of Technology, Vienna.
    Siano, Pierluigi
    Department of Industrial Engineering, University of Salerno.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Department of Computer Science, Computer, and Space Engineering, Luleå Tekniska Universitet.
    Guest editorial: New trends in intelligent energy systems - An industrial informatics points of view2015In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 11, no 1, p. 207-209Article in journal (Refereed)
  • 23.
    Vrba, Pavel
    et al.
    Czech Institute of Informatics, Robotics, and Cybernetics, Czech Technical University in Prague.
    Marik, Vladimir
    Czech Institute of Informatics, Robotics, and Cybernetics, Czech Technical University in Prague.
    Siano, Pierluigi
    University of Salerno, Department of Indstrial Engineering.
    Leitao, Paulo
    Polytechnical Institute, Braganca.
    Zhabelova, Gulnara
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Strasser, Thomas I.
    Electric Energy Systems Energy Department, AIT Austrian Institute of Technology, Vienna.
    A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems2014In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 10, no 3, p. 1890-1903Article in journal (Refereed)
    Abstract [en]

    The intention of this paper is to provide an overview of using agent and service-oriented technologies in intelligent energy systems. It focuses mainly on ongoing research and development activities related to smart grids. Key challenges as a result of the massive deployment of distributed energy resources are discussed, such as aggregation, supply-demand balancing, electricity markets, as well as fault handling and diagnostics. Concepts and technologies like multiagent systems or service-oriented architectures are able to deal with future requirements supporting a flexible, intelligent, and active power grid management. This work monitors major achievements in the field and provides a brief overview of large-scale smart grid projects using agent and service-oriented principles. In addition, future trends in the digitalization of power grids are discussed covering the deployment of resource constrained devices and appropriate communication protocols. The employment of ontologies ensuring semantic interoperability as well as the improvement of security issues related to smart grids is also discussed.

  • 24.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Guest editorial: Special section on software engineering in industrial automation2013In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 9, no 4, p. 2337-2339Article in journal (Other academic)
    Abstract [en]

    Valeriy Vyatkin, Guest Editor, IEEE Transactions on Engineering Management, talks about a Special Section in the November 2013 issue on software engineering in industrial automation. This Special Section is opened by paper that proposes a novel approach for controller synthesis on shop-floor level for discrete-event systems. The purpose of design is to create dependable software with properties that can be guaranteed by design. Another paper presents a method to develop and implement real-time capable industrial automation software that increases the dependability of production automation systems by means of soft sensors. One more paper presents a Model- Driven Engineering approach, which combines the Unified Modeling Language (UML) and Aspect-Oriented Software Development (AOSD) to design real-time and embedded automation systems. The Special Section is concluded with paper that represents a practical application of several advanced software engineering techniques in the exciting application area of thermonuclear physics

  • 25. Vyatkin, Valeriy
    IEC 61499 as enabler of distributed and intelligent automation: State-of-the-art review2011In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 7, no 4, p. 768-781Article in journal (Refereed)
    Abstract [en]

    This review paper discusses the industrial and research activities around the IEC 61499 architecture for distributed automation systems. IEC 61499 has been developed to enable intelligent automation where the intelligence is genuinely decentralized and embedded into software components, which can be freely distributed across networked devices. With the recent emergence of professionally made software tools and dozens of hardware platforms, IEC 61499 is getting recognition in industry. This paper reviews research results related to the design of distributed automation systems with IEC 61499, the supporting tools and the aspects related to the execution of IEC 61499 on embedded devices. The promising application areas of IEC 61499 include flexible material handling systems, in particular airport baggage handling, flexible reconfigurable manufacturing automation, intelligent power distribution networks and SmartGrid, as well as the wide range of embedded networked systems

  • 26.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Software engineering in industrial automation: State-of-the-art review2013In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 9, no 3, p. 1234-1249Article in journal (Refereed)
    Abstract [en]

    This paper presents one perspective on recent developments related to software engineering in the industrial automation sector that spans from manufacturing factory automation to process control systems and energy automation systems. The survey's methodology is based on the classic SWEBOK reference document that comprehensively defines the taxonomy of software engineering domain. This is mixed with classic automation artefacts, such as the set of the most influential international standards and dominating industrial practices. The survey focuses mainly on research publications which are believed to be representative of advanced industrial practices as well.

  • 27. Vyatkin, Valeriy
    et al.
    Christensen, James H.
    Rockwell Automation Advanced Technologies, Mayfield Heights.
    Lastra, José Luis Martínez
    Institute of Production Engineering, Tampere University of Technology.
    OOONEIDA: An open, object-oriented knowledge economy for intelligent industrial automation2005In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 1, no 1, p. 4-16Article in journal (Refereed)
    Abstract [en]

    Open kNowledge Economy in Intelligent inDustrial Automation (OOONEIDA) is a new initiative for enabling decentralized, reconfigurable industrial control and automation in discrete manufacturing and continuous process systems. The goal of the OOONEIDA project is the creation of the technological infrastructure for a new, open knowledge economy for automation components and automated industrial products. This will be done by further development of the concept of reusable portable software modules (function blocks) and by their application in the time- and cost-effective specification, design, validation, realization, and deployment of intelligent mechatronic components in distributed industrial automation and control systems.

  • 28.
    Vyatkin, Valeriy
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Dai, Wenbin
    University of Auckland, Shanghai Jiao Tong University.
    Christensen, James H.
    Rockwell Automation Advanced Technologies, Mayfield Heights, Holobloc Inc., Cleveland Heigths.
    Dubinin, Victor N.
    University of Auckland, Penza State University, Department of Computer Science, University of Penza.
    Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability2015In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 11, no 3, p. 771-781Article in journal (Refereed)
    Abstract [en]

    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.

  • 29. Vyatkin, Valeriy
    et al.
    Dubinin, Victor N.
    University of Auckland.
    Refactoring of execution control charts in basic function blocks of the IEC 61499 standard2010In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 6, no 2, p. 155-165Article in journal (Refereed)
    Abstract [en]

    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.

  • 30.
    Wan, Jiafu
    et al.
    Guangdong Provincial Key Laboratory of Precision Equipment and Manufacturing Technology, South China University of Technology.
    Tang, Shenglong
    School of Mechanical and Automotive Engineering, South China University of Technology.
    Li, Di
    School of Mechanical and Automotive Engineering, South China University of Technology.
    Wang, Shiyong
    School of Mechanical and Automotive Engineering, South China University of Technology.
    Liu, Chengliang
    School of Mechanical Engineering, Shanghai Jiao Tong University.
    Abbas, Haider
    Center of Excellence in Information Assurance, King Saud University.
    Vasilakos, Athanasios V.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    A Manufacturing Big Data Solution for Active Preventive Maintenance2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 4, p. 2039-2047, article id 7857790Article in journal (Refereed)
    Abstract [en]

    Industry 4.0 has become more popular due to recent developments in Cyber-Physical Systems (CPS), big data, cloud computing, and industrial wireless networks. Intelligent manufacturing has produced a revolutionary change, and evolving applications such as product lifecycle management are becoming a reality. In this paper, we propose and implement a manufacturing big data solution for active preventive maintenance in manufacturing environments. First, we provide the system architecture that is used for active preventive maintenance. Then, we analyze the method used for collection of manufacturing big data according to the data characteristics. Subsequently, we perform data processing in the cloud, including the cloud layer architecture, the real-time active maintenance mechanism, and the off-line prediction and analysis method. Finally, we analyze a prototype platform and implement experiments to compare the traditionally-used method with the proposed active preventive maintenance method. The manufacturing big data method used for active preventive maintenance has the potential to accelerate implementation of Industry 4.0.

  • 31.
    Yan, Jeffrey
    et al.
    University of Auckland.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Distributed software architecture enabling peer-to-peer communicating controllers2013In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 9, no 4, p. 2200-2209Article in journal (Refereed)
    Abstract [en]

    This paper presents a novel model-driven software architecture for systems with high degree of redundancy and modularity of the equipment. The architecture is based on totally decentralized control. It combines adaptability and robustness of multi-agent control architectures with portability and interoperability benefits of IEC 61499 function block architecture. The architecture has been successfully proven feasible on a number of field trials, including modeling and implementation of a medium-scale airport baggage handling control. Deployment was done on distributed networks consisting of configurations ranging from a few to dozens of communicating control nodes. The work confirmed the ability to deliver similar functional characteristics as centralized systems but in a distributed implementation. Performance testing and development verified sufficient performance and software life-cycle benefits

  • 32.
    Yang, Chen-Wei
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Dubinin, Victor N.
    Department of Computer Science, Penza State University.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Ontology Driven Approach to Generate Distributed Automation Control from Substation Automation Design2017In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, no 2, p. 668-679, article id 7762918Article in journal (Refereed)
    Abstract [en]

    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.

  • 33.
    Yang, Chia-Han
    et al.
    Centre for Autonomous System (CAS), University of Technology Sydney, Department of Electrical and Computer Engineering, University of Auckland.
    Zhabelova, Gulnara
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Yang, Chen-Wei
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Cosimulation environment for event-driven distributed controls of smart grid2013In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 9, no 3, p. 1423-1435Article in journal (Refereed)
    Abstract [en]

    This paper proposes a co-simulation environment for “hardware in the loop” or “software in the loop” validation of distributed controls in Smart Grid. The controls are designed using model-driven engineering with the IEC 61499 Function Block architecture. These are connected with plant models, for example in MATLAB/Simulink, through communication channels such as UDP or TCP sockets. This solution enables multi-closed-loop plant-controller simulation. The communication between plant and controller is event-driven. In order to perform realistic simulation, the proposed solution takes into account computation and communication delays on the controller side in Function Blocks and compensates model time on the plant side in MATLAB model accordingly. Causality and accuracy of the method have been formally addressed. This approach has been tested and demonstrated with several Smart Grid-related examples.

  • 34.
    Zhang, Wenbin
    et al.
    School of Mathematical Sciences, Yangzhou University, Jiangsu.
    Tang, Yang
    Key Laboratory of Advanced Control and Optimization for Chemical Processes, Ministry of Education, East China University of Science and Technology, Shanghai.
    Huang, Tingwen
    Texas A & M University at Qatar.
    Vasilakos, Athanasios
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Consensus of Networked Euler-Lagrange Systems under Time-Varying Sampled-Data Control2018In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 14, no 2, p. 535-544Article in journal (Refereed)
    Abstract [en]

    This paper is concerned with the consensus of multiple Euler-Lagrange systems with pulse-width modulated sampled-data control. Different from traditional sampled-data strategies, a pulse-modulated sampled-data strategy is developed to realize the consensus of multiple Euler-lagrange systems, in which a pulse function that can be distinct at different sampling instants is proposed to modulate the sampling interval. In addition, a new definition of average sampling interval, which is parallel to the average dwell time in switching control or average impulsive interval in impulsive control, is proposed to characterize the number of the updating of the sampling controller during some certain interval. The proposed average sampling interval makes our sampled-data strategy more suitable for a wide range of sampling signals. By utilizing the comparison principle, a sufficient criterion is obtained to guarantee the consensus of multiple Euler-Lagrange systems. The sufficient criterion is heavily dependent on the actual control duration time, the upper and lower bounds of the pulse function and the communication graph. Finally, a simulation example is presented to verify the applicability of the proposed results.

1 - 34 of 34
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf