Ambient intelligence in self-organising assembly systems using the chemical reaction model

This article discusses self-organising assembly systems (SOAS), a type of assembly systems that (1) participate in their own design by spontaneously organising themselves in response to the arrival of a product order and (2) manage themselves during production. SOAS address the industry’s need for agile manufacturing systems to be highly responsive to market dynamics. Manufacturing systems need to be easily and rapidly changeable, but system re-engineering/reconfiguration and especially their (re-)programming are manual, work-intensive and error-prone procedures. With SOAS, we try to facilitate this by giving the systems gradually more self-* capabilities. SOAS eases the work of the SOAS designer and engineer when designing such as system for a specific product, and supports the work of the SOAS operator when supervising the system during production. SOAS represent an application domain of ambient intelligence and humanised computing which is not frequently considered, but therefore none the less important. This article explains how an SOAS produces its own design as the result of a self-organising process following the Chemical Abstract Machine (CHAM) paradigm: industrial robots self-assemble according to specific chemical rules in response to a product order. This paper reports on SOAS in general, the specification of the chemical reactions and their simulation in Maude.

[1]  Mauro Onori,et al.  From Flexibility to Evolvability: ways to achieve self-reconfigurability and full-autonomy , 2009, SyRoCo.

[2]  José Meseguer,et al.  The Maude LTL Model Checker and Its Implementation , 2003, SPIN.

[3]  M. Onori,et al.  Evolvable Assembly Systems: Developments and Advances , 2007, 2007 IEEE International Symposium on Assembly and Manufacturing.

[4]  M. Onori,et al.  Diagnosis on Evolvable Production Systems , 2007, 2007 IEEE International Symposium on Industrial Electronics.

[5]  Giovanna Di Marzo Serugendo,et al.  Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective , 2009, SSS.

[6]  Nicolas Guelfi,et al.  A metadata-based architectural model for dynamically resilient systems , 2007, SAC '07.

[7]  Christoph Hanisch,et al.  Evolvability and the intangibles , 2008 .

[8]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[9]  Hod Lipson,et al.  Resilient Machines Through Continuous Self-Modeling , 2006, Science.

[10]  Weiming Shen,et al.  Learning in Agent-Based Manufacturing Systems , 1998 .

[11]  F. Musharavati RECONFIGURABLE MANUFACTURING SYSTEMS , 2010 .

[12]  Kanji Ueda Emergent Synthesis Approaches To Biological Manufacturing Systems , 2007 .

[13]  Giovanna Di Marzo Serugendo,et al.  An architecture for self-managing evolvable assembly systems , 2009, 2009 IEEE International Conference on Systems, Man and Cybernetics.

[14]  L. Ferrarini,et al.  Control Architecture for Reconfigurable Manufacturing Systems: the PABADIS'PROMISE approach , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[15]  José Meseguer,et al.  Formal Analysis of Java Programs in JavaFAN , 2004, CAV.

[16]  Ana S. Simaria,et al.  2-ANTBAL: An ant colony optimisation algorithm for balancing two-sided assembly lines , 2009, Comput. Ind. Eng..

[17]  Mauro Onori,et al.  Evolvable assembly systems: coping with variations through evolution , 2008 .

[18]  N. Lohse,et al.  An ontology for the definition and validation of assembly processes for evolvable assembly systems , 2005, (ISATP 2005). The 6th IEEE International Symposium on Assembly and Task Planning: From Nano to Macro Assembly and Manufacturing, 2005..

[19]  Hamideh Afsarmanesh,et al.  Collaborative networked organizations - Concepts and practice in manufacturing enterprises , 2009, Comput. Ind. Eng..

[20]  Mauro Onori,et al.  Evolvable Assembly Systems : A New Paradigm? , 2002 .

[21]  Ralph L. Hollis,et al.  TOWARD A SECOND-GENERATION MINIFACTORY FOR PRECISION ASSEMBLY , 2003 .

[22]  Jean-Claude Laprie,et al.  From Dependability to Resilience , 2008, DSN 2008.

[23]  José Meseguer,et al.  Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.

[24]  Luis M. Camarinha-Matos,et al.  Coalitions of manufacturing components for shop floor agility - the CoBASA architecture , 2003, Int. J. Netw. Virtual Organisations.

[25]  M. Onori,et al.  Evolvable Assembly and Exploiting Emergent Behaviour , 2006, 2006 IEEE International Symposium on Industrial Electronics.

[26]  Hoda A. ElMaraghy,et al.  Flexible and reconfigurable manufacturing systems paradigms , 2005 .

[27]  Pascal Fradet,et al.  Gamma and the Chemical Reaction Model: Fifteen Years After , 2000, WMP.

[28]  S TraianFlorin A Rewriting Logic Approach to Operational Semantics , 2010 .

[29]  Álvaro Enrique Arenas,et al.  Developing Autonomic and Secure Virtual Organisations with Chemical Programming , 2009, SSS.

[30]  Mauro Onori,et al.  OWL Ontology to Support Evolvable Assembly Systems , 2008 .

[31]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[32]  Yifan Chen,et al.  Automated robot trajectory planning for spray painting of free-form surfaces in automotive manufacturing , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[33]  J. Barata,et al.  Evolvable Assembly Systems - On the role of design frameworks and supporting ontologies , 2006, 2006 IEEE International Symposium on Industrial Electronics.

[34]  Adrián Riesco,et al.  Introducing the ITP Tool: a Tutorial , 2006, J. Univers. Comput. Sci..

[35]  Luis M. Camarinha-Matos,et al.  A multiagent-based control system applied to an educational shop floor , 2008, ICIT 2008.

[36]  Michel Wermelinger Towards a chemical model for software architecture reconfiguration , 1998, IEE Proc. Softw..

[37]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[38]  J. Barata,et al.  Diagnosis using Service Oriented Architectures (SOA) , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[39]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[40]  José Meseguer,et al.  Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics , 2006, WRLA.

[41]  Jose Barata,et al.  Implementing self-organisation and self-management in evolvable assembly systems , 2010, 2010 IEEE International Symposium on Industrial Electronics.

[42]  Niko Siltala,et al.  Emplacement and Blue Print – An Approach to Handle and Describe Modules for Evolvable Assembly Systems , 2009 .

[43]  Grigore Rosu,et al.  K-Maude: A Rewriting Based Tool for Semantics of Programming Languages , 2010, WRLA.

[44]  Luis Ribeiro,et al.  MAS and SOA: Complementary Automation Paradigms , 2008, BASYS.

[45]  Shahrukh A. Irani,et al.  Next Generation Factory Layouts: Research Challenges and Recent Progress , 2002, Interfaces.

[46]  Michal Pechoucek,et al.  Coalition formation in manufacturing multi-agent systems , 2000, Proceedings 11th International Workshop on Database and Expert Systems Applications.

[47]  Grigore Rosu,et al.  K: A Rewriting-Based Framework for Computations -- Preliminary version -- , 2007 .

[48]  Regina Frei,et al.  Dynamic coalitions for self-organizing manufacturing systems , 2008 .

[49]  Malik Ghallab,et al.  Chapter 14 – Temporal Planning , 2004 .

[50]  Giovanna Di Marzo Serugendo,et al.  Designing Self-Organization for Evolvable Assembly Systems , 2008, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[51]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[52]  Paul Valckenaers,et al.  Holonic Manufacturing Execution Systems , 2005 .

[53]  Regina Frei,et al.  Self-organisation in evolvable assembly systems , 2010 .

[54]  Alexander Romanovsky,et al.  MetaSelf: an architecture and a development method for dependable self-* systems , 2010, SAC '10.

[55]  Mauro Onori,et al.  Evolvable Assembly Systems : A Development Roadmap , 2006 .

[56]  Niels. Lohse,et al.  Towards an ontology framework for the integrated design of modular assembly systems , 2006 .

[57]  Grigore Rosu,et al.  An overview of the K semantic framework , 2010, J. Log. Algebraic Methods Program..