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

研究启动：柔性制造单元控制的形式模型和语法

• 批准号: 9009720
• 负责人: Sanjay Joshi
• 金额: $ 6万
• 依托单位: Pennsylvania State Univ University Park
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-08-15 至 1993-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9009720&HistoricalAwards=false
• 关键词: Research; Initiation; Formal; Models; Grammars

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.

本研究的目的是发展明确的正式的 柔性制造单元的控制模型。 模型 将大大增加科学基础的发展， 制造业，并努力解决 控制制造系统。 直接应用这些 模型将在自动软件的开发 用于细胞控制的发电机。 这项研究提出了一个新的 一种控制柔性制造单元的方法， 控制动作作为语法的副产品执行 识别. 每个控制器将被建模为一个分层的解析器 能够识别“制造语言”， 作为语义动作嵌入在每个控件中的控件动作 语法. 具体活动包括： 制造过程的物理和逻辑视图模型 单元，建立FMS单元的属性与 上下文无关语法，定义各种语义动作，以及 开发各种控制器的控制语法， 系统