Towards Error Recovery in Sequential Control Applications

In this paper we describe how to generate a large set of restart points for a sequential control program, thus enabeling fast restart of a plant after a fault and subsequent repair. This is work in progress, and will recapitulate the main idea as developped in the Aramis project, and discuss its applicability to the programming languages defined by IEC1131-3.

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

[2]  Fabrice R. Norelis,et al.  Control of mobile robot actions , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[3]  Nigel W. Hardy,et al.  Knowledge Based Error Recovery in Industrial Robots , 1983, IJCAI.

[4]  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.

[5]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[6]  Anders Törne,et al.  A layered architecture for real time applications , 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.

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