Automatic Synthesis of Control Programs for an Assembly Line
Inger Erlander Klein, Peter Jönsson, Christer Bäckström · 1995
The industry wants provably correct and fast formal methods for handling combinatorial dynamical systems. One example of such problems is error recovery in industrial processes. We have used a provably correct, polynomialtime planning algorithm to plan for a miniature assembly line, which assembles toy cars. Although somewhat limited, this process has many similarities with real industrial processes. By exploring the structure of this assembly line we have extended a previously presented algorithm, thus extending the class of problems that can be handled in polynomial time. Keywords: Automated manufacturing, assembly planning, algorithms 1 Introduction The majority of all hardware and software developed for industrial control purposes is devoted to sequential control and only a minority to classical, linear control. Typically, the sequential parts of the controller are invoked during startup and shut-down to bring the system into its normal operating region and into some safe stand...