Knowledge-based cyber-physical systems for assembly automation

ABSTRACT Current assembly systems are handling the increased requirements for mass customization with difficulties and need to be updated with new approaches and technologies. Cyber-Physical Systems (CPS) auto-configuration is regarded as an important asset towards automation components, which autonomously embed themselves into the system. In this context, knowledge-based technologies pave the way for highly flexible and reconfigurable CPS. This paper introduces and demonstrates a model-driven engineering approach for automatically configuring the control layer of a CPS based on knowledge representation of the environment and component capabilities. The approach encompasses a control architecture that is tested in two industrial use cases. The first case employs a configuration infrastructure for control software based on IEC 61499 to automatically configure the hardware-near control layer of a CPS within an assembly line. The second case is concerned with autonomously generating assembly plans, which are then transformed into actions that an industrial robot sequentially executes.

[1]  Lorenzo Moreno Ruiz,et al.  Software experience when using ontologies in a multi‐agent system for automated planning and scheduling , 2006, Softw. Pract. Exp..

[2]  José L. Martínez Lastra,et al.  A knowledge-based solution for automatic mapping in component based automation systems , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[3]  Mario Semo,et al.  Design and implementation of industrial automation control systems: A survey , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[4]  Marcin Jamro.  Automatic generation of implementation in SysML-based model-driven development for IEC 61131-3 control software , 2014, 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR).

[5]  Panganamala Ramana Kumar,et al.  Cyber–Physical Systems: A Perspective at the Centennial , 2012, Proceedings of the IEEE.

[6]  Stefan Zander,et al.  Empowering the Model-driven Engineering of Robotic Applications using Ontological Semantics and Reasoning , 2016, KEOD.

[7]  B. Vogel-Heuser,et al.  Automatic code generation from a UML model to IEC 61131-3 and system configuration tools , 2005, 2005 International Conference on Control and Automation.

[8]  Federico Ciccozzi,et al.  MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering , 2016, IDC.

[9]  Hoda A. ElMaraghy,et al.  Smart Adaptable Assembly Systems , 2016 .

[10]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[11]  Marcelo V. Garcia,et al.  UML-Based Cyber-Physical Production Systems on Low-Cost Devices under IEC-61499 , 2018 .

[12]  Tommaso Cucinotta,et al.  A Real-Time Service-Oriented Architecture for Industrial Automation , 2009, IEEE Transactions on Industrial Informatics.

[13]  José L. Martínez Lastra,et al.  Using semantic web technologies to describe automation objects , 2006, Int. J. Manuf. Res..

[14]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[15]  Kyoung-Yun Kim,et al.  Ontology-based assembly design and information sharing for collaborative product development , 2006, Comput. Aided Des..

[16]  Alois Zoitl,et al.  Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[17]  Marco L. Della Vedova,et al.  Real-Time Modeling for Direct Load Control in Cyber-Physical Power Systems , 2011, IEEE Transactions on Industrial Informatics.

[18]  Elisabet Estévez-Estévez,et al.  Automatic composition of IEC 61499 distributed control applications , 2011, ETFA2011.

[19]  Ahmed Yousuf Saber,et al.  Efficient Utilization of Renewable Energy Sources by Gridable Vehicles in Cyber-Physical Energy Systems , 2010, IEEE Systems Journal.

[20]  Kwan Hee Han,et al.  Object-Oriented Ladder Logic Development Framework Based on the Unified Modeling Language , 2009, Computer and Information Science.

[21]  Christian Diedrich,et al.  Automated PLC software generation based on standardized digital process information , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[22]  Sebastian Ulewicz,et al.  Towards industrial application of model-driven platform-independent PLC programming using UML , 2014, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society.

[23]  George Chryssolouris,et al.  A Uniform Data Model for Representing Symbiotic Assembly Stations , 2016 .

[24]  Jens Lehmann,et al.  Trying Not to Die Benchmarking: Orchestrating RDF and Graph Data Management Solution Benchmarks Using LITMUS , 2017, SEMANTiCS.

[25]  Krzysztof Sacha,et al.  Automatic Code Generation for PLC Controllers , 2005, SAFECOMP.

[26]  Mikkel Rath Pedersen.  Robot Skills for Transformable Manufacturing Systems , 2015 .

[27]  Birgit Vogel-Heuser,et al.  Design, modelling, simulation and integration of cyber physical systems: Methods and applications , 2016, Comput. Ind..

[28]  Henrik I. Christensen,et al.  Planning with a task modeling framework in manufacturing robotics , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[29]  Alois Knoll,et al.  Intuitive instruction of industrial robots: Semantic process descriptions for small lot production , 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[30]  Ulrich Schmucker,et al.  Template-Based Generation of PLC Software from Plant Models Using Graph Representation , 2018, 2018 25th International Conference on Mechatronics and Machine Vision in Practice (M2VIP).

[31]  Birgit Vogel-Heuser,et al.  Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach , 2014, ArXiv.

[32]  Hermann Kaindl,et al.  An automation agent architecture with a reflective world model in manufacturing systems , 2009, 2009 IEEE International Conference on Systems, Man and Cybernetics.

[33]  A. Siadat,et al.  MASON: A Proposal For An Ontology Of Manufacturing Domain , 2006, IEEE Workshop on Distributed Intelligent Systems: Collective Intelligence and Its Applications (DIS'06).

[34]  Sujeet Kumar,et al.  Java Agent Development Framework , 2014 .

[35]  Alois Zoitl,et al.  Online reconfiguration of the low level control for automation agents , 2010, IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society.

[36]  Alois Zoitl,et al.  Toward Self-Reconfiguration of Manufacturing Systems Using Automation Agents , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[37]  José L. Martínez Lastra,et al.  Semantic web services in factory automation: fundamental insights and research roadmap , 2006, IEEE Transactions on Industrial Informatics.

[38]  R. Kretschmann,et al.  INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING , 2007 .

[39]  Alois Zoitl,et al.  A real-time reconfiguration infrastructure for distributed embedded control systems , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[40]  Alois Zoitl,et al.  Ontology-driven automated software configuration for manufacturing system components , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[41]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[42]  Matthew Crosby,et al.  Integrating Mission, Logistics, and Task Planning for Skills-Based Robot Control in Industrial Kitting Applications , 2016, PlanSIG.

[43]  M. Rabemanantsoa.  Knowledge-based system for assembly process-planning , 1993, Proceedings 1993 Software Engineering Standards Symposium.

[44]  Elin Anna Topp,et al.  Simplified Programming of Re-Usable Skills on a Safe Industrial Robot - Prototype and Evaluation , 2017, 2017 12th ACM/IEEE International Conference on Human-Robot Interaction (HRI.

[45]  Alois Zoitl,et al.  Real-Time Execution for IEC 61499 , 2008 .

[46]  Robert W. Brennan,et al.  An agent-based approach to reconfiguration of real-time distributed control systems , 2002, IEEE Trans. Robotics Autom..

[47]  Stephen Balakirsky,et al.  The Canonical Robot Command Language (CRCL) , 2016, Ind. Robot.

[48]  Jacek Malec,et al.  Knowledge-based instruction of manipulation tasks for industrial robotics , 2015 .

[49]  Xin-Ping Guan,et al.  Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management , 2017, IEEE Transactions on Industrial Informatics.

[50]  Svetan Ratchev,et al.  Equipment ontology for modular reconfigurable assembly systems , 2005 .

[51]  Birgit Vogel-Heuser,et al.  Model based design of knowledge bases in multi agent systems for enabling automatic reconfiguration capabilities of material flow modules , 2016, 2016 IEEE International Conference on Automation Science and Engineering (CASE).

[52]  Enamul Hoque,et al.  Bundle: A Group-Based Programming Abstraction for Cyber-Physical Systems , 2010, IEEE Transactions on Industrial Informatics.

[53]  Kleanthis Thramboulidis,et al.  UML4IoT - A UML-based approach to exploit IoT in cyber-physical manufacturing systems , 2016, Comput. Ind..

[54]  Birgit Vogel-Heuser,et al.  Changeability of Manufacturing Automation Systems using an Orchestration Engine for Programmable Logic Controllers , 2015 .

[55]  Paulo Leitão,et al.  Agent-based distributed manufacturing control: A state-of-the-art survey , 2009, Eng. Appl. Artif. Intell..

[56]  James H. Christensen,et al.  HMS/FB Architecture and its Implementation , 2003 .

[57]  Jeff Magee,et al.  Self-Managed Systems: an Architectural Challenge , 2007, Future of Software Engineering (FOSE '07).

[58]  Nikil D. Dutt,et al.  Models, abstractions, and architectures: The missing links in cyber-physical systems , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[59]  Li-Chih Wang,et al.  A multi-agent based agile manufacturing planning and control system , 2009, Comput. Ind. Eng..

[60]  Rajendra Patel,et al.  Enabling robots in small-part assembly lines: The "ROSETTA approach" - an industrial perspective , 2012, ROBOTIK.

[61]  Sang Hyuk Son,et al.  RDDS: A Real-Time Data Distribution Service for Cyber-Physical Systems , 2012, IEEE Transactions on Industrial Informatics.

[62]  Sebastian Ulewicz,et al.  Modularity and architecture of PLC-based software for automated production Systems: An analysis in industrial companies , 2017, J. Syst. Softw..

[63]  Markus Lanthaler.  Self-Healing Wireless Sensor Networks , 2007 .

[64]  Paulo Leitão,et al.  An agile and adaptive holonic architecture for manufacturing control , 2004 .

[65]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[66]  Wayne H. Wolf,et al.  Cyber-physical Systems , 2009, Computer.

[67]  Satyandra K. Gupta,et al.  Overview of an Ontology-Based Approach for Kit Building Applications , 2017, 2017 IEEE 11th International Conference on Semantic Computing (ICSC).

[68]  Atsuko Miyaji,et al.  Self‐healing wireless sensor networks , 2015, Concurr. Comput. Pract. Exp..

[69]  Valeriy Vyatkin.  IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.

[70]  Birgit Vogel-Heuser,et al.  Automatic generation of field control strategies for supporting (re-)engineering of manufacturing systems , 2012, J. Intell. Manuf..

[71]  Valeriy Vyatkin,et al.  Ontology-based reconfiguration agent for intelligent mechatronic systems in flexible manufacturing , 2010 .

[72]  Birgit Vogel-Heuser,et al.  Reconfiguration architecture for updates of automation systems during operation , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[73]  Robert W. Brennan,et al.  Toward Real-Time Distributed Intelligent Control: A Survey of Research Themes and Applications , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[74]  Alois Knoll,et al.  An ontology for CAD data and geometric constraints as a link between product models and semantic robot task descriptions , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[75]  Sotiris Makris,et al.  The new assembly system paradigm , 2015, Int. J. Comput. Integr. Manuf..

[76]  Bernhard Rumpe,et al.  Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems , 2015, MORSE@STAF.

[77]  Kleanthis Thramboulidis,et al.  A framework for MDE of IoT-based manufacturing cyber-physical systems , 2017, IOT.

[78]  G. Reinhart,et al.  Automatic configuration (Plug & Produce) of Industrial Ethernet networks , 2010, 2010 9th IEEE/IAS International Conference on Industry Applications - INDUSCON 2010.

[79]  Alexander Fay,et al.  Transformation of GRAFCET to PLC code including hierarchical structures , 2017 .

[80]  Letizia Tanca,et al.  Requirements and languages for the semantic representation of manufacturing systems , 2016, Comput. Ind..

[81]  Birgit Vogel-Heuser,et al.  Knowledge-Based Technologies for Future Factory Engineering and Control , 2012, Service Orientation in Holonic and Multi Agent Manufacturing and Robotics.

[82]  Marcello Bonfe,et al.  Design patterns for model-based automation software design and implementation , 2013 .

[83]  Wilfried Lepuschitz,et al.  Decentralized Reconfiguration of a Flexible Transportation System , 2011, IEEE Transactions on Industrial Informatics.

[84]  José L. Martínez Lastra,et al.  Representation of manufacturing equipment and services for OKD-MES: From service descriptions to ontology , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[85]  Joel Greenyer,et al.  Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications , 2018 .

[86]  Mieczyslaw Metzger,et al.  A Survey on Applications of Agent Technology in Industrial Process Control , 2011, IEEE Transactions on Industrial Informatics.

[87]  Alois Zoitl,et al.  Monitoring and diagnostics of industrial systems using automation agents , 2011 .

[88]  Birgit Vogel-Heuser,et al.  Configuration of PLC software for automated warehouses based on reusable components- an industrial case study , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[89]  Valeriy Vyatkin,et al.  Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.