Modeling and Development of Flexible Manufacturing Systems (FMS) Control Systems Using Extended Moore Machine Network (EMMN) Model

使用扩展摩尔机器网络 (EMMN) 模型对柔性制造系统 (FMS) 控制系统进行建模和开发

• 批准号: 9301690
• 负责人: Soundar Kumara
• 金额: $ 10.24万
• 依托单位: Pennsylvania State Univ University Park
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-10-01 至 1997-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9301690&HistoricalAwards=false
• 关键词: Modeling; Development; Flexible; Manufacturing; Systems

9301690 Kumara This research project is concerned with the design, development and implementation of formal automata theory based architecture for the modeling and control of Flexible Manufacturing Systems(FMS). The major challenge of implementing FMS at the factory level is to realize automated control. An appropriate FMS model is required for the purpose of control software design and implementation. In this research, the EMMN (Extended Moore Machine Networking) model based on automata theory for FMS control systems will be investigated. This will give rigorous theoretical foundations for modeling FMS. The basic concept behind the EMMN model is to facilitate distributed control approach by representing a system as a collection of interconnected abstract machines. A control hierarchy will be established based on abstractions of control activities. By using object oriented methodology, the EMMN model of a FMS control system will be implemented into object based software modules, based on which an integrated environment for system specification, verification and on line control will be realized. The applicability and validity of this methodology will be demonstrated via the simulation of an experimental FMS control system. In addition the scalability and liveness properties will be investigated with respect to a real life FMS. The model, which will be implemented via Object Oriented scheme in a multitasking environment, will be evaluated for portability by considering adaptation on a laboratory based and a real life FMS.

小行星9301690 本研究计画系针对柔性制造系统之建模与控制，设计、发展与实作以形式自动机理论为基础之架构。 在工厂级实施FMS的主要挑战是实现自动化控制。 为了控制软件的设计和实现，需要一个合适的FMS模型。 本研究将探讨以自动机理论为基础之FMS控制系统扩充摩尔机器网路模型。 这将为FMS的建模提供严格的理论基础。 EMMN模型背后的基本概念是通过将系统表示为互连抽象机器的集合来促进分布式控制方法。 将根据控制活动的抽象建立控制层次结构。 采用面向对象的方法，将FMS控制系统的EMMN模型实现为基于对象的软件模块，并在此基础上实现系统规范、验证和在线控制的集成环境。 该方法的适用性和有效性将通过一个实验FMS控制系统的仿真来证明。 此外，可扩展性和活性属性将调查相对于一个真实的生活FMS。 该模型，这将是通过在多任务环境中的面向对象的方案实施，将被评估的可移植性，考虑适应实验室为基础的和一个真实的生活FMS。