Authors: Binotto, Alecio; Freitas, Edison Pignaton; Pereira, Carlos Eduardo; Larsson, Tony

Abstract: High performance computational platforms are required by industries that make use of automatic methods to manage modern machines, which are mostly controlled by high-performance specific hardware with processing capabilities. It usually works together with CPUs, forming a powerful execution platform. On an industrial production line, distinct tasks can be assigned to be processed by different machines depending on certain conditions and production parameters. However, these conditions can change at run-time influenced mainly by machine failure and maintenance, priorities changes, and possible new better task distribution. Therefore, self-adaptive computing is a potential paradigm as it can provide flexibility to explore the machine resources and improve performance on different execution scenarios of the production line. One approach is to explore scheduling and run-time task migration among machines’ hardware towards a balancing of tasks, aiming performance and production gain. This way, the monitoring of time requirements and its crosscutting behaviour play an important role for task (re)allocation decisions. This paper introduces the use of software aspect-oriented paradigms to perform machines’ monitoring and a self-rescheduling strategy of tasks to address non-functional timing constraints. As case study, tasks for a production line of aluminium ingots are designed.

Keywords: Scheduling Heuristics; Optimization and Control

Identifier: 10.3182/20090603-3-RU-2001.00237

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Srinivasan, Rengarajan; Parlikad, Ajith Kumar; Ouertani, Zied

Abstract: Decisions concerning maintenance have become increasingly important and requires a diverse set of information as systems become more complex. The availability of information has an impact on the effectiveness of these decisions, and thus on the performance of the asset. This paper highlights the importance of quantifying the value of information on maintenance decisions and asset performance. In particular, we emphasise the need to focus on measuring ”value” as opposed to ”cost” of maintenance, which is the current practice. In this direction, we propose a measure - Value of Ownership (VOO) - to assess the value of information and performance of maintenance decisions throughout an asset’s lifecycle.

Keywords: Quality Predictive Monitoring; Predictive Maintenance; Diagnostic Systems

Identifier: 10.3182/20090603-3-RU-2001.00221

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Karnouskos, Stamatis; Guinard, Dominique; Savio, Domnic; Spiess, Patrik; Baecker, Oliver; Trifa, Vlad; Moreira Sa de Souza, Luciana

Abstract: It is expected that millions of embedded devices and machines empowered with Internet technologies will be able to communicate, collaborate and offer their functionality as a service. At the shop floor, this creates new opportunities for more dynamic environments where timely usage of the monitoring information is coupled with control and in full collaboration with enterprise systems. We focus on demonstrating our efforts towards such cross-layer composition for the future service-enabled factory.

Keywords: Enterprise-wide Information System; Extended Enterprise; Enterprise Interoperability

Identifier: 10.3182/20090603-3-RU-2001.00358

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Meerkov, Semyon M.; Shimkin, Nahum; Zhang, Liang

Abstract: Production systems transients describe the process of reaching the steady state throughput. Reducing transients' duration is important in a number of applications. This paper is intended to analyze transients in systems with machines obeying the geometric reliability model. The Markov chain approach is used, and the second largest eigenvalue of the transition matrices is utilized to characterize the transients. Due to large dimensionality of the transition matrices, only two-machine systems are addressed, and the second largest eigenvalue is investigated as a function of the breakdown and repair rates. Conditions under which shorter up- and downtimes lead to faster transients are provided.

Keywords: Manufacturing System Engineering; Performance Evaluation

Identifier: 10.3182/20090603-3-RU-2001.00082

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Takase, Fabio Kawaoka; Tsuzuki, Marcos de Sales Guerra

Abstract: The growing interest in the interpretation of two-dimensional shapes contained in images on the industrial automation field leads the search of computational algorithms to retrieve information from images. At the core of image interpretation is the recognition of known patterns in the image. In this article, an algorithm for two-dimensional shape matching is presented. The algorithm focus in three fundamental characteristics. It is invariant under translation, rotation and scaling transformations of the images being compared. The method is based on the matched filter usage. Images are pre-processed to minimize the effects of the image rotation and scaling in the cross-correlation function. Through the analysis of the cross—correlation function the best match position between the compared images can be retrieved.

Keywords: Engineering Applications of Artificial Intelligence; Robotic Systems

Identifier: 10.3182/20090603-3-RU-2001.00288

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Cannata, Alessandro; Gerosa, Marco; Taisch, Marco

Abstract: In order to plan a strategy based on technological research in the industrial domain, roadmaps represent one of the most relevant tools. SOCRADES is a European-funded project, whose primary objective is to develop a design, execution and management platform for next-generation industrial automation systems, exploiting Service Oriented Architecture paradigm both at the device and at the application level. Within SOCRADES, a Technology Roadmap is being developed. Even if in SOCRADES scope, there are several technology roadmaps available, made by policymakers, Industry, University and Research Institutes, the outcome documents are slightly heterogeneous in terms of objectives and perspectives. In order to have a clearer view of the present awareness on future trends and research, there is a need for a review of available roadmaps. This review is presented in this paper. Moreover, this review is used as a starting point for SOCRADES Technology Roadmap building process.

Keywords: Factory and Industrial Automation; Wireless Network Systems; Real-time Artificial Intelligence

Identifier: 10.3182/20090603-3-RU-2001.00356

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Kononov, Alexander; Kononova, Polina; Hong, Jen-Shin

Abstract: This study considers a two-machine flowshop problem with processing time-dependent buffer constraints which was introduced in Lin et al. 2009 for multimedia applications. In Lin et al. 2009 the authors consider a "passive" prefetch model that suspends the download process unless the buffer is sufficient for keeping an incoming media object. We consider a more "active" prefetch model that further exploit the available free space by advancing the download by a maximal duration with which the buffer does not overflow. We consider that the buffer serves in a FIFO (First-in-First-Out) manner so the scheduling problem is a permutation flowshop problem. This article reviews some theoretical results and present variable neighbourhood search heuristic for solving instances with big problem sizes.

Keywords: Integer Linear Programming; Heuristic and Metaheuristics; Mathematical Approaches for Scheduling

Identifier: 10.3182/20090603-3-RU-2001.00336

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Grangel Seguer, Reyes; Bigand, Michel; Bourey, Jean-Pierre

Abstract: This paper focuses mainly on the transformation of decisional models belonging to the Enterprise Modelling domain into UMLR models used in the Information Technology domain. This kind of transformation is one component of a more general model-driven approach to solve business process interoperability problems or, more widely still, integration problems. More precisely, the paper describes a UML Profile definfition used to transform GRAI Grids into UML Use Case Diagrams. The transformation has been implemented with the Atlas Transformation Language and the results are discussed.

Keywords: Enterprise Interoperability; Formalisms and Modeling Techniques

Identifier: 10.3182/20090603-3-RU-2001.00148

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Belavy, Cyril; Hulko, Gabriel; Rohal-Ilkiv, Boris; Bucek, Pavol; Noga, Pavol

Abstract: In the paper, an uncertainty analysis and simulation of a robust control of temperature fields of the casting mould in the benchmark casting plant are presented. Temperature fields are supposed as distributed parameter systems with dynamic models in the form of lumped-input/distributed-output system. For this representation, uncertainty of the controlled system was considered and robust control synthesis with internal model control structure was designed. Simulation of the robust control of the temperature field in the casting mould was carried out using the Distributed Parameter Systems Blockset for MATLAB & Simulink – Third-party MathWorks product.

Keywords: Dynamic Systems

Identifier: 10.3182/20090603-3-RU-2001.00362

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Cagliano, Anna Corinna; Carlin, Antonio; Rafele, Carlo

Abstract: Despite the great number of complex systems existing in the real world, complexity is currently a poorly explored topic. In organizational settings, managers regularly apply to complex contexts classical approaches developed for simple systems, just because they do not know how to take into account companies’ internal and external complexity. Nevertheless, before developing new managerial models, a deep knowledge about drivers and effects of complexity is needed. After defining the characteristics making supply chains complex systems, this paper discusses performance measurement as a methodology to analyze the effects of complexity on supply chain behavior. The results of a survey highlight that manufacturing companies usually evaluate isolated aspects of their supply chains, without considering the relationships between different performance indicators or dimensions. This work suggests System Dynamics as a valuable approach to understand the cause and effect connections among metrics and system elements affecting their values, thus clarifying the structure leading to a complex behavior. This research is the first step of a larger project aiming at providing companies with innovative tools to understand and manage supply chain complexity.

Keywords: Supply Chain Management (SCM); Performance Evaluation

Identifier: 10.3182/20090603-3-RU-2001.00186

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Hästbacka, David; Mätäsniemi, Teemu

Abstract: The transfer of design information from process design to automation design requires attention as requirements on process control are increasing resulting in more complex systems to be designed. This paper presents current process and automation design practices and highlights related problems and information exchange challenges. A development method based on a common consistent information model, utilizing standards and existing data models, is discussed and model-driven methods for improved quality and productivity are introduced to the development of industrial process control applications.

Keywords: Manufacturing System Engineering; Process Planning/Equipment Selection

Identifier: 10.3182/20090603-3-RU-2001.00204

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Pupkov, Konstantin; Kovalchouk, Aleksandr; Kulakov, Boris

Abstract: Developing of robots includes a problem of kinematical scheme (KS) choice. In most of the cases existing KS are geometrical primitive. That’s why KS examining of some vertebrate animals would be very interesting. Biological evolution resulted in good suitability of the animals to their environment. That promise benefits of usage vertebrate animals KS in robots design (industrial also). Skeleton photos of the vertebrate animal are initial information for the analysis. By using several assumptions for restorable KS, appropriate mathematic base can be build.

Keywords: Robotic Systems

Identifier: 10.3182/20090603-3-RU-2001.00307

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Khodyrev, Dmitriy; Antonova, Galina

Abstract: In the paper sound signal compression algorithm in real-time systems is considered. The main consideration is devoted to streaming bits allocation control module and various methods of its implementation. Adaptive Kalman filter has been proposed as an alternative for existing ways. Quality of reconstructed signals obtained by different bit control methods was estimated and compared.

Keywords: Signal Processing; Adaptive Methods; Qualitative Simulation and Applications

Identifier: 10.3182/20090603-3-RU-2001.00282

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Wehrmeister, Marco Aurelio; Freitas, Edison Pignaton; Pereira, Carlos Eduardo

Abstract: Tool support is essential to allow the use of Model-Driven Engineering (MDE) in the design of distributed embedded real-time systems. GenERTiCA is a flexible tool that supports a MDE approach, which uses concepts of Aspect-Oriented Development (AOD) to handle non-functional requirements from real-time and embedded systems domain. This paper presents a comprehensive case study that illustrates GenERTiCA usage to generate source code from UML models. GenERTiCA also performs aspects weaving using aspect’s information specified in UML models. Results regarding source code generation for a Java platform based on the Real-Time Specification for Java (RTSJ) are presented. Additionally, this paper discusses the implementation of some aspects of a high-level aspects framework, named DERAF, using the mentioned platform.

Keywords: Factory and Industrial Automation; Enterprise System Engineering; Computational Science

Identifier: 10.3182/20090603-3-RU-2001.00112

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Valet, Benjamin; Caux, Christophe; Durieux, Séverine; Nguyen, Cédric

Abstract: Allocation/Assignment problems are a class of problems which includes task planning, operation sharing and every problems of selection of parameters for a set of resources. In seed industry, the allocation of varieties in plots is an important and difficult issue usually handled manually. Different constraints linked to plots, varieties and producers have to be respected to allocate varieties correctly. In this paper a Mixed-Integer Program (MIP) model to solve this problem is presented. Results and perspectives are discussed at the end.

Keywords: Discrete Applied Mathematics; Integer Linear Programming

Identifier: 10.3182/20090603-3-RU-2001.00010

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Sarachaga González, Mª Isabel; Estévez, Elisabet; Armentia, Aintzane; Burgos, Arantzazu; Marcos, Marga

Abstract: Current manufacturing applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To achieve this, it is worthy to apply modern techniques and methodologies coming from other disciplines such as the information and communication technologies field. This paper deals with the use of Web Services and Databases to support the design of manufacturing systems. In particular reuse is achieved by means of repositories for software components. These repositories can be geographically distributed and are accessed via Web Services. The paper describes the proposed architecture: a Data Model for reusable control code, implemented as a markup language, the design of the repositories and the design of the Service Manager that, making use of web services, provides reuse of software components.

Keywords: Factory and Industrial Automation; Web-based Service for Maintenance and Process Supervision; Global E- Manufacturing

Identifier: 10.3182/20090603-3-RU-2001.00161

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Bousseau, Frédéric; Guegnard, Frédéric; Bourcerie, Marc

Abstract: This paper deals with the use of Petri nets in a specific class of scheduling issues. Indeed, in a specific type of one machine problems, the execution times of the tasks on the machines are not any more constants but depend on time. When the temporal functions representing the evolution of the length of the tasks are polynomial functions, the problems are difficult to resolve in certain cases. We propose an algorithm which is validated by a Petri net model to give a feasible solution.

Keywords: Discrete-event Simulation; Graph theory; Heuristic and Metaheuristics

Identifier: 10.3182/20090603-3-RU-2001.00295

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Hanafi, Said; Lazic, Jasmina; Mladenovic, Nenad; Wilbaut, Christophe

Abstract: In this paper we propose a new heuristic for solving multidimensional knapsack problem, based on the variable neighbourhood decomposition search principle. The set of neighbourhoods is generated by exploiting information obtained from a series of relaxations. In each iteration, we add new constraints to the problem in order to produce a sequence of lower and upper bounds around the optimal value, with the goal to reduce the gap between them. General-purpose CPLEX MIP solver is used as a black box for solving subproblems generated during the search process. With this approach, we have managed to obtain promising results on the set of large scale multidimensional knapsack problem instances. The results are comparable with the current state-of-the-art techniques for solving multidimensional knapsack problem.

Keywords: Heuristic and Metaheuristics; Integer Linear Programming; Discrete Applied Mathematics

Identifier: 10.3182/20090603-3-RU-2001.00339

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Aranbarri Artetxe, Josu; da Cunha, Catherine; Vergara Canizales, Victor; Rauffet, Philippe

Abstract: This paper aims at examining how a change in organizational structure affects a firm performance. In a competitive environment, firms have to “share” customers who want a given product/service. Since integration impacts prices, which is a major choice criterion for customers, it thus impacts sales and profits. A model is proposed that integrates production costs and reduction of the double marginalization effect. Thus, it enables to compare the monetary performance of independent and vertically integrated structures. The computational results stress the organization performance depending on the substitutability of the produced goods.

Keywords: Modeling Supply Chain Dynamics; Numerical Analysis; Extended Enterprise

Identifier: 10.3182/20090603-3-RU-2001.00063

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: None

Abstract:

Keywords:

Identifier: 10.3182/20090603-3-RU-2001.90001

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Feltus, Christophe; Incoul, Christophe; Aubert, Jocelyn; Benjamin, Gâteau

Abstract: Governance of IT is becoming more and more necessary in the current financial economic situation. This trend does not avoid the definition of corporate and IT policies. To improve that matter, the paper has for objective to propose a methodology for defining policies that are closer to the business process, and based on the strict definition of the actors’ responsibility. This responsibility model is mainly defined based on the three concepts of capability, accountability and commitment. The methodology is illustrated based on a case study that highlights how it is possible to implement access control mechanism through agent-based infrastructure by extracting requirements from company practices and process formalizations.

Keywords: Enterprise System Engineering; Enterprise System Quality Improvement; Open Multi-Agent Systems

Identifier: 10.3182/20090603-3-RU-2001.00041

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Boughanmi, Najet; Song, YeQiong; Rondeau, Eric

Abstract: In this paper, the use of wireless sensor networks for networked control loop is analyzed. As the non beacon-enabled mode of IEEE 802.15.4/ZigBee does not ensure the stability for the control loop since non mechanism can prevent the perturbation coming from other applications sharing the same network, the quality of control has to be guaranteed for the control loop. Several possible solutions are investigated. The first one is the CSMA/CA with probabilistic priority by adjusting the minimum waiting time. The second one consists on a deterministic priority black burst mechanism in IEEE 802.15.4/ZigBee. The third one is the beacon-enabled mode using the Guaranteed Time Slot (GTS) mechanism.

Keywords: Wireless Network Systems

Identifier: 10.3182/20090603-3-RU-2001.00051

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009