A three-step approach is proposed to substantially reduce the high cost of devel- opment of control software for an FMS on the shop floor. First, by introducing the concept of multiple computing processes into Automata Theory, a finite capacity machine (FCM) is presented as an extended finite machine. An FCM is used to model the control of a flexibly manufacturing system, which avoids the state explosion problem. Secondly, a structured adaptive supervisory control (SASC) model meeting the desired control objectives for an FMS is derived from a composed FCM. The SASC model can be constructed systematically. Finally, generic software components for an SASC model are described, which Allow the SASC model to be cost-effectively transferred into shop-floor applicable Control software.
展开▼
