{"type":"ScholarlyArticle","title":"Process Plan Controllers for Non-Deterministic Manufacturing Systems","authors":[{"name":"Paolo Felli","slug":"paolo-felli","given":"Paolo","family":"Felli","affiliation":"Institute for Advanced Manufacturing , University of Nottingham , UK"},{"name":"Lavindra de Silva","slug":"lavindra-de-silva","given":"Lavindra","family":"de Silva","affiliation":"Institute for Advanced Manufacturing , University of Nottingham , UK"},{"name":"Brian Logan","slug":"brian-logan","given":"Brian","family":"Logan","affiliation":"School of Computer Science , University of Nottingham , UK"},{"name":"Svetan Ratchev","slug":"svetan-ratchev","given":"Svetan","family":"Ratchev","affiliation":"Institute for Advanced Manufacturing , University of Nottingham , UK"}],"abstract":"Determining the most appropriate means of producing a given product, i.e., which manufacturing and assembly tasks need to be performed in which order and how, is termed process planning. In process planning, abstract manufacturing tasks in a process recipe are matched to available manufacturing resources, e.g., CNC machines and robots, to give an executable process plan. A process plan controller then delegates each operation in the plan to specific manufacturing resources. In this paper we present an approach to the automated computation of process plans and process plan controllers. We extend previous work to support both non-deterministic (i.e., partially controllable) resources, and to allow operations to be performed in parallel on the same part. We show how implicit fairness assumptions can be captured in this setting, and how this impacts the definition of process plans.","doi":"10.24963/ijcai.2017/142","url":"https://ijcai.org/proceedings/2017/142","pdf":"https://ijcai.org/proceedings/2017/0142.pdf","markdown":"https://ijcai.org/proceedings/2017/142.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/142","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":142,"pages":{"first":1023,"last":1030},"keywords":["Knowledge Representation, Reasoning, and Logic: Action, Change and Causality","Agent-based and Multi-agent Systems: Formal verification, validation and synthesis"],"videos":[],"references":[{"position":1,"raw":"[Bi et al., 2008] Zhuming M. Bi, Sherman Y.T. Lang, Weim- ing Shen, and Lihui Wang. Reconfigurable manufacturing systems: the state of the art. International Journal of Pro- duction Research, 46(4):967-992, 2008.","title":"Reconfigurable manufacturing systems: the state of the art","authors":"M Zhuming, Bi, Y T Sherman, Weiming Lang, Lihui Shen, Wang","year":"2008","venue":"International Journal of Production Research","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Browne et al., 1984] Jim Browne, Didier Dubois, Keith Rathmill, Suresh P. Sethi, and Kathryn E. Stecke. Classifi- cation of flexible manufacturing systems. The FMS maga- zine, 2(2):114-117, 1984.","title":"Classification of flexible manufacturing systems","authors":"Jim Browne, Didier Dubois, Keith Rathmill, P Suresh, Kathryn E Sethi, Stecke","year":"1984","venue":"The FMS magazine","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Chaplin et al., 2015] J. C. Chaplin, O. J. Bakker, L. de Silva, D. Sanderson, E. Kelly, B. Logan, and S. M. Ratchev. Evolvable assembly systems: A distributed architecture for intelligent manufacturing. In A. Dolgui, J. Sasiadek, and M. Zaremba, editors, 15th IFAC Symposium on In- formation Control Problems in Manufacturing (INCOM 2015), volume 48 of IFAC-PapersOnLine, pages 2065- 2070, Ottawa, Canada, May 2015. Elsevier.","title":"Evolvable assembly systems: A distributed architecture for intelligent manufacturing","authors":"J C Chaplin, O J Bakker, L Silva, D Sanderson, E Kelly, B Logan, S M Ratchev","year":"2015","venue":"15th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2015)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cimatti et al., 2003] A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence, 147(1):35 -84, 2003.","title":"Weak, strong, and strong cyclic planning via symbolic model checking","authors":"A Cimatti, M Pistore, M Roveri, P Traverso","year":"2003","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[De Giacomo et al., 2010] Giuseppe De Giacomo, Fabio Pa- trizi, and Sebastian Sardiña. Generalized planning with loops under strong fairness constraints. In International Conference on Principles of Knowledge Representation and Reasoning, pages 351-361, 2010.","title":"Generalized planning with loops under strong fairness constraints","authors":"Giuseppe De, Giacomo, Fabio Patrizi, Sebastian Sardiña","year":"2010","venue":"International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[De Giacomo et al., 2016] Giuseppe De Giacomo, Al- fonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, and Sebastian Sardiña. Agent planning programs. Artificial Intelligence, 231:64-106, 2016.","title":"Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, and Sebastian Sardiña. Agent planning programs","authors":"Giacomo De","year":"2016","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[de Silva et al., 2016] Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, and Svetan Ratchev. Realisability of production recipes. In G. A. Kaminka, M. Fox, P. Bouquet, Hullermeijer E., Dignum F., Dignum V., and van Harmalen F., editors, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI), pages 1449-1457. IOS Press, 2016.","title":"Realisability of production recipes","authors":"Silva De","year":"2016","venue":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[de Silva et al., 2017] Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, and Svetan Ratchev. Synthesising industry-standard manufacturing process controllers. In Proceedings of the International Conference on Autonomous Agents and Multiagent Sys- tems (AAMAS), pages 1811-1813, 2017. Accompanying video available at: https://youtu.be/SEveuikI3p8.","title":"Synthesising industry-standard manufacturing process controllers","authors":"Silva De","year":"2017","venue":"Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":"https://youtu.be/SEveuikI3p8","internal_url":null},{"position":9,"raw":"[ElMaraghy, 2005] Hoda A. ElMaraghy. Flexible and recon- figurable manufacturing systems paradigms. International Journal of Flexible Manufacturing Systems, 17(4):261- 276, 2005.","title":"Flexible and reconfigurable manufacturing systems paradigms","authors":"A Hoda, Elmaraghy","year":"2005","venue":"International Journal of Flexible Manufacturing Systems","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Felli et al., 2016] Paolo Felli, Brian Logan, and Sebastian Sardina. Parallel behavior composition for manufactur- ing. In Subbarao Kambhampati, editor, Proceedings of the 25th International Joint Conference on Artificial Intelli- gence (IJCAI 2016), pages 271-278, 2016.","title":"Parallel behavior composition for manufacturing","authors":"Paolo Felli, Brian Logan, Sebastian Sardina","year":"2016","venue":"Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)","doi":null,"url":null,"internal_url":"/proceedings/2016/46"},{"position":11,"raw":"[Koren et al., 1999] Yoram Koren, Uwe Heisel, Francesco Jovane, Toshimichi Moriwaki, G. Pritschow, G. Ulsoy, and H. Van Brussel. Reconfigurable manufacturing systems. CIRP Annals-Manufacturing Technology, 48(2):527-540, 1999.","title":"Reconfigurable manufacturing systems","authors":"Yoram Koren, Uwe Heisel, Francesco Jovane, Toshimichi Moriwaki, G Pritschow, G Ulsoy, H Van Brussel","year":"1999","venue":"CIRP Annals-Manufacturing Technology","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lu et al., 2014] Yuqian Lu, Xun Xu, and Jenny Xu. De- velopment of a hybrid manufacturing cloud. Journal of Manufacturing Systems, 33(4):551-566, 2014.","title":"Development of a hybrid manufacturing cloud","authors":"Lu","year":"2014","venue":"Journal of Manufacturing Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Mehrabi et al., 2000] Mostafa G. Mehrabi, A. Galip Ulsoy, and Yoram Koren. Reconfigurable manufacturing systems: key to future manufacturing. Journal of Intelligent Manu- facturing, 11(4):403-419, 2000.","title":"Reconfigurable manufacturing systems: key to future manufacturing","authors":"G Mostafa, A Mehrabi, Galip, Yoram Ulsoy, Koren","year":"2000","venue":"Journal of Intelligent Manufacturing","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Nau et al., 2004] Dana Nau, Malik Ghallab, and Paolo Traverso. Automated Planning: Theory & Practice. Mor- gan Kaufmann Publishers Inc., San Francisco, CA, USA, 2004.","title":"Automated Planning: Theory & Practice","authors":"Dana Nau, Malik Ghallab, Paolo Traverso","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Rhodes, 2015] Chris Rhodes. Manufacturing: Statistics and Policy. Briefing Paper. House of Commons Library, 2015.","title":"Manufacturing: Statistics and Policy","authors":"Chris Rhodes","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Sethi and Sethi, 1990] Andrea Krasa Sethi and Suresh Pal Sethi. Flexibility in manufacturing: a survey. International Journal of Flexible Manufacturing Systems, 2(4):289-328, 1990.","title":"Flexibility in manufacturing: a survey","authors":"Sethi Sethi, Andrea Krasa Sethi, Suresh Pal Sethi","year":"1990","venue":"International Journal of Flexible Manufacturing Systems","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Smale and Ratchev, 2009] Daniel Smale and Svetan Ratchev. A capability model and taxonomy for multiple assembly system reconfigurations. In Proceedings of IFAC Symposium on Information Control Problems in Manufacturing, volume 13, pages 1923-1928, 2009.","title":"A capability model and taxonomy for multiple assembly system reconfigurations","authors":"Ratchev Smale, Daniel Smale, Svetan Ratchev","year":"2009","venue":"Proceedings of IFAC Symposium on Information Control Problems in Manufacturing","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[TSB, 2012] A Landscape for the Future of High Value Man- ufacturing in the UK. Technical report, Technology Strat- egy Board, 2012.","title":"A Landscape for the Future of High Value Manufacturing in the UK","authors":null,"year":"2012","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}