Error specification, monitoring and recovery in computer-integrated manufacturing: an analytic approach

State transitions in computer-integrated manufacturing (CIM) systems result either from the execution of the planned actions or from the occurrence of unpredictable events. One key requirement for task planning designed for CIM systems is the ability to monitor events and respond to them appropriately. Related issues include the specification and classification of possible system faults, errors and failures. The paper proposes an error-specification language, an error-monitoring mechanism and an error-recovery mechanism. Founded on a mathematical framework, the error-recovery mechanism uses the concept of severity to alter system characteristics. The paper presents some examples from an integrated multirobot system.

[1]  Thomas A. Henzinger,et al.  Timed Transition Systems , 1991, REX Workshop.

[2]  Manfred Brill,et al.  MMS: MAP Application Services for the Manufacturing Industry , 1991, Comput. Networks ISDN Syst..

[3]  R. J. Doyle.  A Distance Measure for Attention Focusing and Anaomaly Detection in Systems Monitoring , 1994 .

[4]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[5]  Nancy A. Lynch,et al.  Action Transducers and Timed Automata , 1992, CONCUR.

[6]  L.O. Hertzberger,et al.  Exception handling system for autonomous robots based on PES , 1989, Robotics Auton. Syst..

[7]  Victor R. Lesser,et al.  Control Heuristics for Scheduling in a Parallel Blackboard System , 1993, Int. J. Pattern Recognit. Artif. Intell..

[8]  Maria Gini,et al.  Recovering from Failures: A New Challenge for Industrial Robotics , 1984 .

[9]  Masaki Hasegawa,et al.  Modelling of exception handling in manufacturing cell control and its application to PLC programming , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[10]  Edmund H. Durfee,et al.  Using Partial Global Plans to Coordinate Distributed Problem Solvers , 1987, IJCAI.

[11]  Henry Kautz,et al.  A circumscriptive theory of plan recognition , 1990 .

[12]  Angelika John Kokkinaki.  A dynamic planning system for automated manufacturing environments , 1995 .

[13]  Milind Tambe,et al.  Event Tracking for an Intelligent Automated Agent , 1994, TIME.

[14]  Peter van Beek,et al.  Resolving Plan Ambiguity for Cooperative Response Generation , 1991, IJCAI.

[15]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

[16]  R. M. Keller,et al.  The role of explicit contextual knowledge in learning concepts to improve performance , 1987 .

[17]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[18]  Nancy A. Lynch,et al.  Forward and Backward Simulations, II: Timing-Based Systems , 1991, Inf. Comput..

[19]  Kimon P. Valavanis,et al.  On the comparison of AI and DAI based planning techniques for automated manufacturing systems , 1995, J. Intell. Robotic Syst..

[20]  Luis M. Camarinha-Matos,et al.  Inductive generation of diagnostic knowledge for autonomous assembly , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[21]  JoséM. Bastos.  Batching and routing: Two functions in the operational planning of flexible manufacturing systems , 1988 .

[22]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[23]  Fei Song,et al.  Temporal Reasoning During Plan Recognition , 1991, AAAI.

[24]  Zohar Manna,et al.  Verifying Hybrid Systems , 1992, Hybrid Systems.

[25]  Klaus R. Dittrich,et al.  Events in an Active Object-Oriented Database System , 1993, Rules in Database Systems.

[26]  Klaus R. Dittrich,et al.  Rulebase Evolution in Active Object-Oriented Database Systems: Adapting the Past to Future Needs , 1995 .

[27]  A. Delchambre,et al.  Rule based procedures for diagnosis and error recovery , 1989, International Workshop on Industrial Applications of Machine Intelligence and Vision,.

[28]  Angelika I. Kokkinaki,et al.  Error Specification, Tracking and Recovery in Computer Integrated Manufacturing , 1995 .

[29]  Malik Ghallab,et al.  Situation Recognition: Representation and Algorithms , 1993, IJCAI.

[30]  Sandra Carberry,et al.  Incorporating Default Inferences Into Plan Recognition , 1990, AAAI.

[31]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[32]  J-C. Laprie,et al.  DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[33]  Arthur C. Sanderson,et al.  Sensor-based error recovery for robotic task sequences using fuzzy Petri nets , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[34]  PissinouNiki,et al.  Towards an infrastructure for temporal databases , 1994 .

[35]  Fabrice R. Noreils.  Integrating error recovery in a mobile robot control system , 1990, Proceedings., IEEE International Conference on Robotics and Automation.