Task Translation and Integration Specification in Intelligent Machines

	Task Translation and Integration Specification in Intelligent Machines
	Fei-Yue Wang; George N. Saridis
刊名	IEEE Transactions on Robotics and Automation
	1993
卷号	9 期号:3 页码:257-271
关键词	Intelligent Machines
英文摘要	Intelligent machines are defined to be hierarchically intelligent control systems composed of three levels: the organization level, the coordination level, and the execution level. This paper presents an analytical model for the coordination level of intelligent machines, which, together with the established mathematical formulation for the organization level and the well developed control theory for the execution level, completes the first step toward a mathematical theory for intelligent machines. The framework of the coordination level is a tree structure consisting of a dispatcher and a number of coordinators. A new type of transducers, Petri net transducers (PNTs), has been introduced to serve as the basic module in our analytical model. PNTs provide a formal description for the individual processes within the dispatcher and coordinators. The concurrence and conflict among these processes can be represented by PNTs conveniently. Coordination structures are introduced as a formalism for the specification of integration in the coordination level. The task precedence relationship in the coordination process is presented by the Petri nets derived from the coordination structures. These Petri nets also provide us a formal approach of using the concepts and analysis methods in the Petri net theory to investigate the properties of the coordination structures. A case study of' modeling an intelligent assembly robotic system has been conducted for the purpose of illustration.
内容类型	期刊论文
源URL	[http://ir.ia.ac.cn/handle/173211/14197]
专题	自动化研究所_09年以前成果
推荐引用方式 GB/T 7714	Fei-Yue Wang,George N. Saridis. Task Translation and Integration Specification in Intelligent Machines[J]. IEEE Transactions on Robotics and Automation,1993,9(3):257-271.
APA	Fei-Yue Wang,&George N. Saridis.(1993).Task Translation and Integration Specification in Intelligent Machines.IEEE Transactions on Robotics and Automation,9(3),257-271.
MLA	Fei-Yue Wang,et al."Task Translation and Integration Specification in Intelligent Machines".IEEE Transactions on Robotics and Automation 9.3(1993):257-271.