Ambient intelligence in self-organising assembly systems using the chemical reaction model
暂无分享,去创建一个
Giovanna Di Marzo Serugendo | Regina Frei | Traian-Florin Serbanuta | Traian-Florin Serbanuta | G. Serugendo | R. Frei
[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..