2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)

Conference Information
Name: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)
Location: Cagliari, Italy
Date: 2013-9-10 - 2013-9-13

Latest articles from this conference

Raphaela Lima, Gustavo Leitao, Luiz Affonso Guedes, Jorge Melo, Adriao Duarte, José Melo, Alexandre Duarte
Abstract:
This paper describes an application that was developed for the semantic alarm correlation with the objective of making inferences about alarm correlation. In order to do that we structured the knowledge about industrial processes through the development of a domain ontology, allowing better development of advanced functionality linked to its operation, alarm management, and anomaly diagnosis. The application of semantic alarm correlation was used with a diethanolamine (DEA) treatment unity plant, which is a very important process in the petrochemical processes industry.
Liyong Yu, Sten Gruner, Ulrich Epple
Abstract:
Describing procedures is essential for modeling and controlling technical processes. Although various procedure description methods are available from computer science, system theory and industrial automation, they are only partially suitable as a generic method for engineering automation procedures. In order to close this gap, we propose a procedure description formalism together with a concept of its integration into existing automation systems. By utilizing of the proposed means we obtain an engineerable, generic and user accepted procedure description method.
Michele Furci, , Roberto Naldi
Abstract:
This work proposes a reactive supervisory control for a team of heterogeneous robots capable of autonomous navigation and cooperation in unstructured and hostile environment. The supervisor is built using classical theories of discrete event systems (DES), but it differs for its reactive capabilities. This allows to have an online evaluation and optimization for dynamic events and environments. The supervisor (high level control) interacts directly with low level control, taking into account dynamic and kinematic of the agents. The specific robotic platform includes both aerial (UAV) and ground robots but the results and applications are absolutely general.
Abstract:
In this paper a type of specifications called OR-GMEC for place/transition nets is defined. Such a specification consists of a set of disjunctive Generalized Mutual Exclusion Constraint, i.e. the requirement is that, at any given time, the controlled system should satisfy at least one of them. We show that a bounded OR-GMEC can be enforced by a special control structure composed by a set of monitor places (one for each constraint) plus a switcher that determines the current active constraint. We also show that such a simple control structure is not maximally permissive, and characterize this problem identifying a special subset of transitions that may be over-restricted. A modified controller that ensures maximal permissiveness is also presented. Finally, we discuss a particular control problem, that consists in preventing the firing of a given set of transitions and show that it can be reduced to an OR-GMEC problem.
Fathi Abugchem, , Donglai Xu
Abstract:
It has been widely accepted that real-time implementations of feedback control systems can be susceptible to timing jitters which may be caused by the underlying real-time and/or embedded implementation architecture. Previous experimental studies aimed at quantifying the levels of degradation that may be observed have mainly concentrated upon relatively simple fixed-gain feedback control schemes (e.g. PID) and time-invariant plant. Although some degradation has been observed, most systems have been shown to be surprisingly robust unless driven to extreme limits. In this paper, we study the jitter sensitivity of a real-time embedded implementation of a digital parameter-adaptive control system. The purpose of the study was two-fold; primarily, to obtain empirical data related to jitter sensitivity (as measured by a quadratic performance metric), and secondarily to explore the potential impact of the underlying scheduler choice on system behavior. The findings indicate that the adaptive controller was heavily influenced by sampling jitter, and that the choice of task scheduler had a role to play.
Ferry Pramudianto, Jonathan Simon, Markus Eisenhauer, Hussein Khaleel, Claudio Pastrone, Maurizio Spirito
Abstract:
In this paper, we describe a SOA-based middleware to integrate Internet-of-Things technologies in industrial setups. The middleware allows a seamless horizontal integration among heterogeneous technologies and vertical integration with applications and business systems. Using the middleware, we evaluated an approach to improve the reliability of 6LoWPAN-based sensor networks with self-configuration and self-healing capabilities to support an innovative monitoring and control framework in a manufacturing line. The sensor networks were evaluated in a test bed consisting of various physical devices that emulates a welding station.
, Teemu Matasniemi, Jussi Lahtinen, Tommi Karhela
Abstract:
Model checking is a powerful formal verification method that can also be used to evaluate PLC software. A lot of manual work and some expertise are still needed. Proposed methods for automating the process rely on standardised specification languages, but PLC software is often vendor-specific, and the source code for function blocks may not even be available. We propose a toolset for model checking of function block based software. After manually modelling the elementary function block library, the model of any block diagram can be specified with easy-to-use graphical tools. The counterexamples output by the model checker can also be visualised using a “living” function block diagram. Our toolset is based on integrating the popular model checker NuSMV with the open source modelling platform Simantics.
Dirk Schulz, Ralf Gitzel
Abstract:
Field devices belong to the primary assets of an industrial plant. From the perspective of plant asset management, Computerized Maintenance Management Systems (CMMS) and Device Management Systems (DMS) share some responsibility for the well-being of these devices. CMMS and DMS reside on the opposite ends of the automation pyramid, have very different scopes, and there are multiple CMMS vendors that a DCS vendor might decide to support. Also, for each customer plant, the device/asset bases for both systems must be connected. The main goal is to avoid media breaks and offer a seamless workflow for the DCS users. In this article, we show how Field Device Integration (FDI) technology can serve to achieve and extend the deep, seamless integration of current solutions [2] through loose, light-weight coupling of DCS and CMMS.
Tilman Leune, Thorsten Wehs, Manuel Janssen, Carsten Koch, Gerd von Colln
Abstract:
Lateration based real time locating systems (RTLS) require anchor nodes with known positions to calculate the position of a mobile target. The geometry of the anchor nodes constrains the accuracy of the locating. In complex environments such as ships or factory floors, obstacles in the line of sight between target and anchors decrease the precision significantly. This is caused by the influence of multipathing effects and shadowing on distance measurements. In this work, we propose a heuristic approach to find reasonable geometries for anchor nodes in complex environments. We achieve this by simulation of anchor geometries and the employment of evolutionary algorithms to search for optimizations.
Markus Runde, Christopher Tebbe, Karl-Heinz Niemann
Abstract:
Current trends like Cloud Computing dissolve the known structure of the automation pyramid and lead towards a higher level of connectivity between different networks. Classical security methods like separation do not necessarily yield the needed level of protection. This paper describes the evaluation of a new security layer to protect the PROFINET communication by cryptographic means under real-time conditions to support current existing IT security measures.
Back to Top Top