Cyber-Physical System Intelligence

Cyber-physical systems are ever more common in manufacturing industries. Increasing their autonomy has been declared an explicit goal, for example, as part of the Industry 4.0 vision. To achieve this system intelligence, principled and software-driven methods are required to analyze sensing data, make goal-directed decisions, and eventually execute and monitor chosen tasks. In this chapter, we present a number of knowledge-based approaches to these problems and case studies with in-depth evaluation results of several different implementations for groups of autonomous mobile robots performing in-house logistics in a smart factory. We focus on knowledge-based systems because besides providing expressive languages and capable reasoning techniques, they also allow for explaining how a particular sequence of actions came about, for example, in the case of a failure.

[1]  Gerhard Lakemeyer,et al.  On-Line Execution of cc-Golog Plans , 2001, IJCAI.

[2]  Alexander Ferrein,et al.  Fawkes for the RoboCup Logistics League , 2015, RoboCup.

[3]  Alexander Ferrein,et al.  The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015 , 2015, RoboCup.

[4]  Alexander Ferrein,et al.  RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed , 2013, RoboCup.

[5]  Alexander Ferrein,et al.  Controlling Logistics Robots with the Action-Based Language YAGI , 2016, ICIRA.

[6]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[7]  Carmen Constantinescu,et al.  Smart Factory - A Step towards the Next Generation of Manufacturing , 2008 .

[8]  Steve Cousins,et al.  The SMACH High-Level Executive , 2010 .

[9]  Boris Otto,et al.  Design Principles for Industrie 4.0 Scenarios , 2016, 2016 49th Hawaii International Conference on System Sciences (HICSS).

[10]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[11]  Alexander Ferrein,et al.  Benchmarking of Cyber-Physical Systems in Industrial Robotics , 2017 .

[12]  Alexander Ferrein,et al.  Action-Based Imperative Programming with YAGI , 2012, CogRob@AAAI.

[13]  Maja J. Mataric,et al.  Sold!: auction methods for multirobot coordination , 2002, IEEE Trans. Robotics Autom..

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

[15]  Matthias Jüngel,et al.  XABSL - A Pragmatic Approach to Behavior Engineering , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[16]  Henrik Grosskreutz,et al.  Probabilistic Projection and Belief Update in the pGOLOG Framework , 2000, GI Jahrestagung.

[17]  Lee,et al.  [IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Cyber Physical Systems: Design Cha , 2008 .

[18]  Joel W. Burdick,et al.  Multi-robot boundary coverage with plan revision , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[19]  Moritz Tenorth,et al.  KnowRob: A knowledge processing infrastructure for cognition-enabled robots , 2013, Int. J. Robotics Res..

[20]  Bhaskara Marthi,et al.  An object-based semantic world model for long-term change detection and semantic querying , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[21]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

[22]  Alexander Ferrein,et al.  Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions , 2015, RoboCup.

[23]  Andrew Howard,et al.  Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[24]  Alexander Ferrein,et al.  Incremental Task-Level Reasoning in a Competitive Factory Automation Scenario , 2013, AAAI Spring Symposium: Designing Intelligent Robots.

[25]  Alexander Ferrein,et al.  Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014 , 2014, RoboCup.

[26]  Rachid Alami,et al.  PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[27]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[28]  Gerhard Lakemeyer,et al.  Continual Planning in Golog , 2016, AAAI.

[29]  Rachid Alami,et al.  A Plan Manager for Multi-robot Systems , 2009, Int. J. Robotics Res..

[30]  Robert M. Wygant.  CLIPS - a powerful development and delivery expert system tool , 1989 .

[31]  Gerhard Lakemeyer,et al.  Platas—Integrating Planning and the Action Language Golog , 2011, KI - Künstliche Intelligenz.

[32]  Anthony Stentz,et al.  A comprehensive taxonomy for multi-robot task allocation , 2013, Int. J. Robotics Res..

[33]  Ola Pettersson,et al.  Execution monitoring in robotics: A survey , 2005, Robotics Auton. Syst..

[34]  Joel W. Burdick,et al.  A Coverage Algorithm for Multi-robot Boundary Inspection , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[35]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[36]  Bernhard Nebel,et al.  Continual planning and acting in dynamic multiagent environments , 2006, PCAR '06.

[37]  Joseph R. Cavallaro,et al.  Robotic fault detection and fault tolerance: A survey , 1994 .

[38]  Rachid Alami,et al.  Multi-robot cooperation in the MARTHA project , 1998, IEEE Robotics Autom. Mag..

[39]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

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

[41]  Alexander Ferrein,et al.  Football is coming home , 2006, PCAR '06.

[42]  Bruce Clough,et al.  Metrics, Schmetrics! How Do You Track a UAV's Autonomy? , 2002 .

[43]  Andreas Kamagaew,et al.  Concept of Cellular Transport Systems in facility logistics , 2011, The 5th International Conference on Automation, Robotics and Applications.

[44]  Bruce T Clough,et al.  Metrics, Schmetrics! How The Heck Do You Determine A UAV's Autonomy Anyway , 2002 .

[45]  Radha Poovendran,et al.  Cyber-Physical Systems: Close Encounters Between Two Parallel Worlds [Point of View] , 2010, Proc. IEEE.

[46]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[47]  Anthony Stentz,et al.  A Free Market Architecture for Coordinating Multiple Robots , 1999 .

[48]  Manuela M. Veloso,et al.  A real-time world model for multi-robot teams with high-latency communication , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[49]  Raffaello D'Andrea,et al.  Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses , 2007, AI Mag..

[50]  Jonathan Bohren,et al.  The SMACH High-Level Executive [ROS News] , 2010 .

[51]  Daniele Nardi,et al.  Reactivity and Deliberation: A Survey on Multi-Robot Systems , 2000, Balancing Reactivity and Social Deliberation in Multi-Agent Systems.

[52]  Alexander Ferrein,et al.  Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[53]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[54]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[55]  Hiroaki Kitano,et al.  RoboCup: The Robot World Cup Initiative , 1997, AGENTS '97.

[56]  Frederik Hegger,et al.  RoboCup@Work: Competing for the Factory of the Future , 2014, RoboCup.

[57]  Rachid Alami,et al.  M+: a scheme for multi-robot cooperation through negotiated task allocation and achievement , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

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

[59]  Blai Bonet,et al.  A Concise Introduction to Models and Methods for Automated Planning , 2013, A Concise Introduction to Models and Methods for Automated Planning.

[60]  F. Jammes,et al.  Service-oriented architectures for devices - the SIRENA view , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[61]  Gerhard Lakemeyer,et al.  Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction , 2014, RoboCup.

[62]  John G. Gibbons.  Knowledge in Action , 2001 .

[63]  Paolo Traverso,et al.  Time for Planning , 2004 .