Hierarchical Interface-based Supervisory Control: AIP Example for Parallel Case


R.J. Leduc

M. Lawford

W.M. Wonham


Abstract

In this report we present a large manufacturing example (7.01 x 10^21 states) that uses the Hierarchical Interface-based Supervisory Control method. We discuss the application of our method to the Atelier Inter-etablissement de Productique (AIP), a highly automated manufacturing system. We describe the system, and our supervisor design, closing by discussing the results of successfully applying our method to show that the system is nonblocking and that our supervisors are controllable. This example demonstrates that our method can be applied to interesting systems of realistic complexity that were previously far beyond our means.