Tractable Correct Planning for an Assembly Line
Inger Erlander Klein, Peter Jönsson, Christer Bäckström · 1995
The industry asks for formal, efficient methods for tackling dynamic systems of combinatorial nature, eg. error recovery in industrial processes. As an application example, we have used a minituare assembly line that assembles toy cars---a process that has many similarities with real industrial processes. We have tried to apply one of our provably correct, polynomial-time planning algorithms to plan for this assembly line. Analysing why this did not work provided insight into the inherent structure of the process. This was used as feedback for modifying the theory and extending the previous theoretical results. This resulted in a new provably correct, polynomial-time planner which is sufficient for this application. 1 1 Introduction The majority of all hardware and software developed for industrial control purposes is devoted to discrete control and only a minority to classical, linear control. Typically, the discrete parts of the controller are invoked during startup and ...