Information control problems in manufacturing 2006 : a proceedings volume from the 12th IFAC Conference, 17-19 May 2006, Saint-Etienne, France

Information Control Problems in Manufacturing 2006 contains the Proceedings of the 12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'2006). This symposium took place in Saint Etienne, France, on May 17-19 2006. INCOM is a tri-annual event of symposia series organized by IFAC and it is promoted by the IFAC Technical Committee on Manufacturing Plant Control. The purpose of the symposium INCOM'2006 was to offer a forum to present the state-of-the-art in international research and development work, with special emphasis on the applications of optimisation methods, automation and IT technologies in the control of manufacturing plants and the entire supply chain within the enterprise. The symposium stressed the scientific challenges and issues, covering the whole product and processes life cycle, from the design through the manufacturing and maintenance, to the distribution and service. INCOM'2006 Technical Program also included a special event on Innovative Engineering Techniques in Healthcare Delivery. The application of engineering and IT methods in medicine is a rapidly growing field with many opportunities for innovation. The Proceedings are composed of 3 volumes: Volume 1 - Information Systems, Control & Interoperability Volume 2 - Industrial Engineering Volume 3 - Operational Research * 3-volume set, containing 362 carefully reviewed and selected papers * presenting the state-of-the-art in international research and development in Information Control problems in Manufacturing Content: Acknowlegements , Page iv Preface , Pages ix-xi , Alexandre Dolgui, Gérard Morel, Carlos E. Pereira - Robotics, agents, and e-work: The emerging future of production , Pages 3-11 , S.Y. Nof - Interoperable enterprise systems: Architectures and methods , Pages 13-20 , F.B. Vernadat - Distributed real-time embedded systems: Recent advances, future trends and their impact on manufacturing plant control , Pages 21-32 , Carlos Eduardo Pereira, Luigi Carro - How do quantity and quality really interact? Precise models instead of strong opinions , Pages 33-39 , Stanley B. Gershwin - Scheduling: New trends in industrial environment , Pages 41-47 , Jean-Marie Proth - Data mining in design of products and production systems , Pages 49-53 , Andrew Kusiak - Reinforcing industrial districts: Need for a structured approach , Pages 55-66 , Agostino Villa - Event driven applications for automation area , Pages 69-74 , Matthias Riedl, Christian Diedrich, Frank Naumann, Ivo Matzekat - A degraded scheduling generation of a component based application , Pages 75-80 , Mohamed Khalgui, Xavier Rebeuf, FranÇoise Simonot-Lion - Run-Time reconfigurable real-time operating system for hybrid execution platforms , Pages 81-86 , Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira - A comparative study of embedded protocols for safety-critical control applications , Pages 87-92 , Fernando H. Ataide, Fabiano C. Carvalho, Carlos E. Pereira, Marco A. Wehrmeister - A time-triggered controller area network platform with essentially distributed clock synchronization , Pages 93-98 , Fabiano C. Carvalho, Edison P. Freitas, Carlos E. Pereira, Fernando H. Ataide - Performance analysis of industrial ethernet networks by means of timed model-checking , Pages 99-104 , Daniel Witsch, Birgit Vogel-Heuser, Jean-Marc Faure, Gaëlle Marsal - Use of upper bound delay estimate in stability analysis and robust control compensation in networked control systems , Pages 105-110 , J.-P. Georges, N. Vatanski, E. Rondeau, S.-L. Jämsä-Jounela - Switching rates to save resources in distributed computer control systems , Pages 111-116 , Max Mauro, Luis Almeida, Josep M. Fuertes - An ethernet layer for supporting enhanced real-time communication services , Pages 117-122 , Tullio Facchinetti, Gianluca Franchino, Paulo Pedreiras, Ricardo Marau - Sensor informatics for manufacturing , Pages 123-128 , Timothy L. Johnson, Mark E. Dausch - Information security for reconfigurable manufacturing systems using networked embedded controllers , Pages 129-134 , Ivan M. Delamer, Jose L. Martinez Lastra - Flexible information system for life cycle support of heterogeneous networks , Pages 135-140 , Martin Wollschlaeger - ANDDR with novel gross error detection and smart tracking system , Pages 141-146 , Mazyar B. Laylabadi, James H. Taylor - Kinematic calibration of orthoglide-type mechanisms , Pages 149-154 , Anatoly Pashkevich, Damien Chablat, Philippe Wenger - Modular sensor system for flexi-picker and multi-axis automated machines , Pages 155-160 , Ahmed Asif Shaik, G. Bright, W.L. Xu - Task planner for a cooperative disassembly robotic system , Pages 161-166 , Carolina Díaz, Santiago Puente, Fernando Torres - Evolvable assembly systems: A development roadmap , Pages 167-172 , José Barata, Pedro Santana, Mauro Onori - Robot path planning using simulated annealing , Pages 173-178 , Marcos de Sales Guerra Tsuzuki, Thiago de Castro Martins, Fâbio Kawaoka Takase - Convergence of communication with computing for a remote oriented mobile minirobot , Pages 179-184 , Radu Dobrescu, Matei Dobrescu - Decision making and image processing in robot soccer — the challenge of the FIRA MiroSot League , Pages 185-189 , Norbert Jesse - NaroSot — nanotechnology in robot soccer , Pages 191-196 , P. Kopacek, M.-W. Han, B. Putz, E. Schierer, M. Würzl - A cooperative mobile robots architecture enabling paralyzed robots to move , Pages 197-202 , Olivier Simonin, Olivier Gründer - Interactive learning of scene-robot models based on al techniques , Pages 203-208 , Theodor Borangiu, Florin Anton, Silvia Tunaru, Anamaria Dogar, Nick lvanescu - A fuzzy hybrid singularity avoidance for underwater vehicle-manipulator systems , Pages 209-214 , Carlos Henrique dos Santos, Guilherme Bittencourt, Raul Guenther, Edson De Pieri - Controlling a platoon of vehicles with distributed collision avoidance capabilities , Pages 215-220 , Antonella Ferrara, Claudio Vecchio - Mathematical modelling of movements of intelligent transport devices of the automized warehouses , Pages 221-226 , Yevhen Kharchenko, Stefan Sobkowski - Remote monitoring and control of a robotized fault tolerant workcell , Pages 227-232 , Florin Daniel Anton, Theodor Borangiu, Silvia Tunaru, Anamaria Dogar, Steluta Gheorghiu - 1 Pandora: The time of priority-and gates , Pages 235-240 , Martin Walker, Yiannis Papadopoulos - Obtaining temporal and timed properties of logic controllers from fault tree analysis , Pages 241-246 , Israel Barragan Santiago, Matthias Roth, Jean-Marc Faure - Evolutionary algorithms for safety-cost trade-offs in control system design , Pages 247-252 , Lars Grunske, Yiannis Papadopoulos - Increased efficiency in the quantitative evaluation of state/event fault trees , Pages 253-258 , Marc Förster, Bernhard Kaiser - Verification of ethernet protocols via parametric composition of Petri net , Pages 259-264 , D.A. Zaitsev, I.D. Zaitsev - Dependability analysis of networked automation systems by probabilistic delay time analysis , Pages 265-270 , Jürgen Greifeneder, Georg Frey - A functional modeling approach for mode handling of Flexible Manufacturing Systems , Pages 271-276 , Nadia Hamani, Nathalie Dangoumau, Etienne Craye - Formal specification of safe manufacturing machines using the B method: Application to a mechanical press , Pages 277-282 , Dominique Evrot, Jean-François Petin, Dominique Mery - Design of coordination controllers for a class of discrete-event manufacturing systems , Pages 283-288 , A. Sanchez, E. Aranda-Bricaire, E. Hernandez - Design of switching supervisors for reactive class discrete event systems , Pages 289-294 , Oulaïd Kamach, Laurent Piétrac, Éric Niel - Synthesis of supervised controller based on Boolean constraints and Boolean automata , Pages 295-300 , P. Marangé, A. Tajer, F. Gellot, V. Carré-Ménétrier - Control of constrained (MAX,+) -linear systems minimizing delays , Pages 303-308 , L. Houssin, S. Lahaye, J.L. Boimond - IEC 61131-3 based implementation of PN supervisors , Pages 309-314 , Francesco Basile, Pasquale Chiacchio, Domenico Teta - Supervisory control in discrete event systems: Existence and solutions , Pages 315-320 , Zied Achour, Nidhal Rezg, Xiaolan Xie - Models of knowledge on manufacturing systems for control law synthesis , Pages 321-326 , Eric Deschamps, Sébastien Henry, Eric Zamai - Watchdog — A practical approach of fault detection , Pages 327-332 , Gábor Kovács, Bálint Kiss, Niel Eric - Geometrical characterization of observability in switched linear systems , Pages 333-338 , A. Ramirez-Treviño, J. Ruiz-León, C. Martinez-Barrientos, F. Arias-Zambrano - High level Petri nets based approach for analyzing conceptual objects for production systems simulation , Pages 339-344 , Karim Tamani, Reda Boukezzoula, Georges Habchi - A Petri-net based approach for the reconfiguration of flexible manufacturing systems using optimization techniques , Pages 345-350 , Thomas Bourdeaud'huy, Arman Toguyeni - Performance evaluation of distributed Database-A Banking system case study , Pages 351-356 , Mbaye Sene, Patrice Moreaux, Serge Haddad - State feedback control for the manufacturing systems modeled by continuous Petri nets , Pages 357-362 , Redouane Kara, Said Djennoune, Jean-Jaques Loiseau - A new approach for hybrid technology based worklow management systems design , Pages 363-368 , Aurelian Mihai Stanescu, Janetta Culita, Simona Iuliana Caramihai - Towards cooperating planning and manufacturing execution systems , Pages 371-376 , Paul Verstraete, Paul Valckenaers - Towards the assessment of holonic manufacturing systems , Pages 377-382 , Robert W. Brennan - Holonic manufacturing control using multi ant colony systems , Pages 383-388 , Gert Zülch, Patricia Stock - A Holonic approach for manufacturing control: An industrial application , Pages 389-394 , Pascal Blanc, Isabel Demongodin, Pierre Castagna - Coalition formation for large scale multi-agent systems , Pages 395-400 , Viktor Oravec, Baltazár Frankovič - Cooperation between business and holonic manufacturing decision systems , Pages 401-406 , Rémi Pannequin, André Thomas - An approach to inter-organizational workflow management in an electronic institution , Pages 407-412 , Henrique Lopes Cardoso, Paulo Leitão, Eugénio Oliveira - Multi-agent-based support for electronic contracting in virtual enterprises , Pages 413-418 , Benjamin Gâteau, Olivier Boissier, Djamel Khadraoui - Modelling collaborative information systems: The e-enabled supply chain case , Pages 419-424 , Jean Pierre Briffaut, Patrick Lallement - Auction-based agent-oriented process control , Pages 425-430 , Tanvir Hussain, Georg Frey - Multi criteria decision making for supply chain partners: A multi agent simulation approach , Pages 431-436 , Samia Chehbi Gamoura, Yacine Ouzrout, Abdelaziz Bouras - Using radio frequency identification in agent-based control systems for industrial applications , Pages 437-442 , Pavel Vrba, Filip Macůrek, Vladimír Mařík - Agent-based control for thermoforming processes , Pages 443-448 , Zahir Albadawi, Benoit Boulet, Robert DiRaddo, Patrick Girard, Vincent Thomson - Supply chain modeling: The agent based approach , Pages 449-454 , Subhash Wadhwa, Bibhushan - Monitoring as a means for discovery of crises in MAS , Pages 455-460 , Grzegorz Dobrowolski, Marek Kisiel-Dorohinicki, Edward Nawarecki - Cooperative disruption management in industrial systems: A multiagent approach , Pages 461-466 , Erwan Tranvouez, Alain Ferrarini, Bernard Espinasse - Modeling and optimization of city traffic with the agent approach , Pages 467-472 , Przemyslaw Swida, Jaroslaw Kozlak, Jean-Charles Créput - Agent-based and evolutionary planning techniques supporting crises management in transportation systems , Pages 473-478 , Rafał Drezewski, Marek Kisiel-Dorohinicki, Jarosław Kožlak - Evaluation management in ethically-social approach to security , Pages 479-484 , Krzysztof Cetnarowicz, Renata Ciceciwa, Gabriel Rojek - Reconfigurable Manufacturing System for Agile Manufacturing , Pages 487-492 , Bo Xing, Jesse Eganza, Glen Bright, J Potgieter - Agile manufacturing system with autonomously operated square arrayed machining cells , Pages 493-498 , Susumu Fujii, Toshiya Kaihara, Kentaro Sashio, Toshiya Seki - A tool for assessing reconfigurability of distributed manufacturing systems , Pages 499-504 , Amro M. Farid, Duncan C. McFarlane - A framework for validation of reconfigurable manufacturing systems , Pages 505-510 , Andrei Lobov, Corina Popescu, Jose L, Martinez Lastra - A real-time execution model for IEC 61499 based control applications , Pages 511-516 , Rene Smodic, Alois Zoitl, Gunnar Grabmair, Thomas Strasser - Petri net model reconfiguration of discrete manufacturing systems 1 , Pages 517-522 , M. Alcaraz-Mejía, E. López-Mellado - Distributed engineering of modular reconfigurable automation systems , Pages 523-528 , Robert Harrison, Szer Ming Lee, Min Huey Ong, Andrew A. West - Performance measurement of a multiagent system in java-based industrial embedded controllers , Pages 529-533 , Omar Lopez, Jose L, Martinez Lastra - Physical resource coordination in manufacturing systems , Pages 535-540 , Wutthiphat Covanich, Duncan McFarlane, James Brusey - Product centric holons for synchronisation and interoperability in manufacturing environments , Pages 543-548 , Salah Baïna, Gérard Morel - Interoperability of Enterprises Network Holonic Control via HLA , Pages 549-554 , Fouzia Ounnar, Patrick Pujo, Amar Zahaf, Norbert Giambiasi - Linking interoperability and risk assessment: A methodological approach for socio-technical systems , Pages 555-560 , Saber Aloui, Vincent Chapurlat, Jean-Michel Penalva - Real-Time, cooperative enterprises: Requirements and solution approaches , Pages 561-566 , L. Monostori, J. Váncza, T. Kis, B. Kádár, Zs.J. Viharos - Evaluating the holistic decision architecture using an organizational metrics system , Pages 567-572 , Dr. Michalis Menicou - Information exchanges in a cross-disciplinary supply chain: Formal strategy and application , Pages 573-578 , A.F. Cutting-Decelle, B.P. Das, R.I. Young, K. Case, N.M. Bouchlaghem, C.J. Anumba - An enterprise model of interoperability , Pages 579-583 , Lawrence E. Whitman, Danny Santanu, Hervé Panetto - Collaborative information system design: From process model to information system model , Pages 585-590 , Jihed Touzi, Frédérick Benaben, Hervé Pingaud - A methodology to develop interoperability of enterprise applications , Pages 591-596 , N. Daclin, D. Chen, B. Vallespir - Verification, validation and accreditation of enterprise models , Pages 597-602 , Vincent Chapurlat, Christian Braesch - Enterprise model for integrating process control into CAM systems , Pages 603-608 , Samuel Bassetto, Ali Siadat, FranÇois Vernadat, Patrick Martin - An ontology-driven data mediation framework for enterprise application integration , Pages 609-614 , Saïd Izza, Lucien Vincent, Patrick Burlat, Pierre Lebrun, Hugues Solignac - Towards a framework for integrating risk and business process management , Pages 615-620 , Amadou Sienou, Achim Karduck, Hervé Pingaud - Interoperability problems in supply chains context , Pages 621-626 , Séverine Blanc, Yves Ducq, Bruno Vallespir - Toward a unified vision of the enterprise informations , Pages 629-634 , Fabien Laniel, Mihaela Mathieu, Jean-Jacques Girardot - A framework of information and knowledge management for product design and development — A text mining approach , Pages 635-640 , Ying Liu, Wen Feng Lu, Han Tong Loh - Service oriented organization for cross-enterprise processes and distributed transactions , Pages 641-646 , Mayyad Jaber, Youakim Badr, Frederique Biennier - Operations strategy and implementing ICTs: The recipe for success , Pages 647-652 , Lawrence M. Corbett - Case study: Integration approaches for information management in virtual organization , Pages 653-658 , Taivo Kangilaski - Towards pro-active information system management in virtual enterprises , Pages 659-664 , Hervé Mathieu, Loubna Ali, Frédérique Biennier - Constructing an enterprise ontology for an automotive supplier , Pages 665-670 , Eva Blomqvist, Annika Öhgren - Ontology-based information integration in automotive supply chains , Pages 671-676 , Alexander Smirnov, Tatiana Levashova, Nikolay Shilov - Towards ontology-based requirements management in automotive electronics , Pages 677-682 , Kurt Sandkuhl, Andreas Billig - Integrating semantic resources to support SME knowledge communities , Pages 683-688 , Manuel Moreira Silva, António Lucas Soares, Dora Simões - Case studies in model integration , Pages 691-696 , Michel Bigand, Jean-Pierre Bourey, Nicolas Perry, Magali Mauchand - Product family modelling — Attributes rather than modules , Pages 697-702 , Kaj A. Jargensen - Design and project management: Coordination on a platform of interoperable tools , Pages 703-708 , Citlalih Gutiérrez Estrada, Claude Baron, Hernán Duarte, Daniel Esteve - A tool for analysing collaborative practices in project design , Pages 709-714 , Merlo Christophe, Pol Guillaume, Legardeur Jeremy, Jared Graham - Management of evolution during collaborative design process , Pages 715-720 , Séverine Blanc, Vincent Robin, Yves Ducq, Philippe Girard - Expert knowledge justification in plc models applied to flank milling , Pages 721-726 , Alexandre Candlot, Ramy Harik - Manufacturing quality information supporting concurrent design decisions , Pages 727-732 , Keqin Wang, Lionel Roucoules, Nada Matta, Shurong Tong, Benoit Eynard - A process model based methodology to support conflict management , Pages 733-738 , Mohamed-Zied Ouertani, Lilia Gzara-Yesilbas, Muriel Lombard - Methodology of outsourcing design and engineering process , Pages 739-744 , Shuichi Sato, Christoph Roser, Fumiko Kubota, Masaru Nakano - Drawing data refining system according to plant product life cycle , Pages 745-750 , Hiroshi Seki, Kazuto Tatehora, Yoshiaki Oomasa - Designing a decision support system for trucks predictive maintenance , Pages 751-756 , Marzio Sorlini, Andrea Zangiacomi, Rosanna Fornasiero - Evaluation of a solution in interactive aiding design process , Pages 757-762 , Élise Vareilles, Michel Aldanondo, Paul Gaborit, Khaled Hadj-Hamou - Integrated optimization for weight, performance and cost of composite structures , Pages 763-768 , Chung Hae Park, Abdelghani Saouab, Joel Breard, Woo Suck Han, Alain Vautrin - Cost evaluation for welding process by using preparation features , Pages 769-774 , Slah Chayoukhi, Zoubeir Bouaziz, Al Zghal - Numerical modelling of compression moulding for improvement of mechanical properties , Pages 775-780 , Moo Sun Kim, Woo Suck Han, Alain Vautrin, Woo Lee II - Feature-Based process planning for interoperable STEP-NC manufacture , Pages 781-786 , Riliang Liu, Aydin Nassehi, Richard Allen, Stephen T. Newman - A new software platform for step-nc manufacturing application development , Pages 787-792 , Aydin Nassehi, Richard D. Allen, Stephen T. Newman - The certification of CAM output toolpaths: A necessary improvement , Pages 793-798 , Emmanuel Due, Vincent Pateloup, Pascal Ray - A process modelling approach for design of experiments software , Pages 799-804 , Albert Weckenmann, Peter-Frederik Brenner - System architecture for closed-loop PLM , Pages 805-810 , Hong-Bae Jun, Jong-Ho Shin, Dimitris Kiritsis, Paul Xirouchakis - Globally unique product identifiers — requirements and solutions to product lifecycle management , Pages 811-816 , Kary Främling, Mark Harrison, James Brusey - Enriching product information during the product lifecycle , Pages 817-822 , Kary Främling, Lutz Rabe - Early data processing in smart item environments using mobile services , Pages 823-828 , Jürgen Anke, Mario Neugebauer Author Index , Pages 829-838