Research Initiation: Formal Models and Grammars for Control of Flexible Manufacturing Cells

本研究的目的是为柔性制造单元的控制开发显式的形式化模型。这些模型将大大促进制造业科学基础的发展，并有助于解决制造系统控制中的一般性问题。这些模型的直接应用将是开发用于电池控制的自动软件生成器。该研究提出了一种控制柔性制造单元的新方法，其中控制动作作为语法识别的副产品来执行。每个控制器将被建模为能够识别“制造语言”的分层解析器，其中控制动作作为语义动作嵌入在每个控制语法中。具体活动包括：开发制造单元的物理和逻辑视图的形式模型，建立FMS单元的属性与上下文无关语法的等价性，定义各种语义动作，以及为系统中的各种控制器开发控制语法。

The intent of this research is to develop explicit formal models for control of flexible manufacturing cells. The models will add considerably to the development of a science base for manufacturing, and towards addressing the generic issues in control of manufacturing systems. A direct application of these models would be in the development of automatic software generators for cell control. This research presents a novel approach to control a flexible manufacturing cell, where the control actions are executed as a by product of grammar recognition. Each controller will be modeled as a layered parser capable of recognizing a "manufacturing language", with the control actions embedded as semantic actions within each control grammar. Specific activities include: development of formal models of the physical and logical views of the manufacturing cell, establishing equivalence of properties of the FMS cell to context free grammars, defining the various semantic actions, and developing the control grammars for various controllers in the system.