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

9301690库马拉这个研究项目致力于基于形式自动机理论的柔性制造系统建模和控制体系结构的设计、开发和实现。在工厂层面实施FMS的主要挑战是实现自动化控制。为了控制软件的设计和实现，需要一个合适的FMS模型。本研究将研究基于自动机理论的柔性制造系统控制系统的扩展摩尔机网络模型。这将为FMS的建模提供严格的理论基础。EMMN模型背后的基本概念是通过将系统表示为相互连接的抽象机的集合来促进分布式控制方法。将根据控制活动的抽象建立控制层次结构。采用面向对象的方法，将FMS控制系统的EMMN模型实现为基于对象的软件模块，在此基础上实现系统描述、验证和在线控制的集成环境。通过对一个实验FMS控制系统的仿真，验证了该方法的适用性和有效性。此外，还将结合实际的柔性制造系统对其可扩展性和活性进行研究。该模型将在多任务环境中通过面向对象的方案实现，将通过考虑在实验室和实际FMS上的适配来评估可移植性。

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.