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.