Machine planning for manufacturing: dynamic resource allocation and on-line supervisory control

In this paper*, we provide tools for integrating machine planning and manuf acturing. Specifically, we show how assembly trees can be coded into operat ors for machine planners and how machine planners can represent flow-lines, assembly and job-shop choices. We provide a polynomial-time algorithm for succinctly combining multiple plans; the resulting plan can be expressed as four matrices that are equivalent to a Petri net. We also provide a dynami c supervisory controller that can execute a single plan or switch between m ultiple plans as realtime conditions change.