Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL

Model-driven engineering (MDE) provides tools and methods for the manipulation of formal models. In this letter, we leverage MDE for the transformation of production system models into flat files that are understood by general purpose planning tools and that enable the computation of “plans”, i.e., sequences of production steps that are required to reach certain production goals. These plans are then merged back into the production system model, thus enriching the formalized production system knowledge.

[1]  Bernhard Wally,et al.  Entwining plant engineering data and ERP information: Vertical integration with AutomationML and ISA-95 , 2017, 2017 3rd International Conference on Control, Automation and Robotics (ICCAR).

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

[3]  Mary Sheeran,et al.  SAT-Solving in Practice, with a Tutorial Example from Supervisory Control , 2009, Discret. Event Dyn. Syst..

[4]  M. Sheeran,et al.  SAT-solving in practice , 2008, 2008 9th International Workshop on Discrete Event Systems.

[5]  Malte Helmert,et al.  The Fast Downward Planning System , 2006, J. Artif. Intell. Res..

[6]  Oliver Niggemann,et al.  Improved Domain Modeling for Realistic Automated Planning and Scheduling in Discrete Manufacturing , 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

[7]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[8]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[9]  Christian Huemer,et al.  Model-Driven Retail Information System Based on REA Business Ontology and Retail-H , 2015, 2015 IEEE 17th Conference on Business Informatics.

[10]  Christian Huemer,et al.  Aligning Business Services with Production Services: The Case of REA and ISA-95 , 2017, 2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA).

[11]  Jean Bézivin,et al.  In Search of a Basic Principle for Model Driven Engineering , 2004 .

[12]  Malte Helmert,et al.  Best-Case and Worst-Case Behavior of Greedy Best-First Search , 2018, IJCAI.

[13]  Paolo Traverso,et al.  Automated Planning and Acting , 2016 .

[14]  Manuel Wimmer,et al.  Model-based engineering and virtual commissioning of cyber-physical manufacturing systems — Transportation system case study , 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

[15]  V. S. Subrahmanian,et al.  Complexity, Decidability and Undecidability Results for Domain-Independent Planning , 1995, Artif. Intell..

[16]  Miriam Schleipen,et al.  Adaptivität und semantische Interoperabilität von Manufacturing Execution Systemen (MES) , 2012 .

[17]  Panagiotis Manolios,et al.  Computer-aided reasoning : ACL2 case studies , 2000 .

[18]  Gerhard Lakemeyer,et al.  CLIPS-based Execution for PDDL Planners , 2018 .

[19]  Joaquín B. Ordieres Meré,et al.  Smart factories in Industry 4.0: A review of the concept and of energy management approached in production based on the Internet of Things paradigm , 2014, 2014 IEEE International Conference on Industrial Engineering and Engineering Management.

[20]  Christian Huemer,et al.  A view on model-driven vertical integration: Alignment of production facility models and business models , 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).

[21]  Alexandre Sousa,et al.  Toward Automated Planning Algorithms Applied to Production and Logistics , 2013 .