CASIA OpenIR  > 09年以前成果
Coordination Specification for CIRSSE Robotic Platform System Using Petri Net Transducers
Fei-Yue Wang,; M. Mittmann; G. N. Saridis
Source PublicationJournal of Intelligent and Robotic Systems
1994
Volume9Issue:2Pages:209-233
AbstractA formal model based on Petri net transducers has been developed to specify the coordination and communication among the various task units in the CIRSSE platform system for robotic construction in space stations. The specification guarantees a mechanism of coherent control and communication for the effective cooperation among the different task units, and outlines the major steps toward the integration of the robotic platform system. The model is based on a coordination structure consisting of one dispatcher and three coordinators representing, respectively, the motion, vision, and gripper
units of the platform system. The coordination structure insures some desired process properties for the system, such as boundedness, liveness, and reversibility, and easier translation from the formal specifications to the program codes based on Petri net transducer models. The model also assists with the system development in many ways, including (i) reducing the number of errors introduced while converting specifications to codes; (ii) assisting the developers in program implementation and verification (iii) allowing quicker adaptation to changed specifications; and (iv) allowing easier testing of the results for specification modifications. Therefore, it provides a useful tool for the design, simulation, performance evaluation, and implementation verification of the CIRSSE robotic platform system.
KeywordPetri Net Transducer Coordination Structure Command Language Communication Intelligent Machines.
Document Type期刊论文
Identifierhttp://ir.ia.ac.cn/handle/173211/14904
Collection09年以前成果
Recommended Citation
GB/T 7714
Fei-Yue Wang,,M. Mittmann,G. N. Saridis. Coordination Specification for CIRSSE Robotic Platform System Using Petri Net Transducers[J]. Journal of Intelligent and Robotic Systems,1994,9(2):209-233.
APA Fei-Yue Wang,,M. Mittmann,&G. N. Saridis.(1994).Coordination Specification for CIRSSE Robotic Platform System Using Petri Net Transducers.Journal of Intelligent and Robotic Systems,9(2),209-233.
MLA Fei-Yue Wang,,et al."Coordination Specification for CIRSSE Robotic Platform System Using Petri Net Transducers".Journal of Intelligent and Robotic Systems 9.2(1994):209-233.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Fei-Yue Wang,]'s Articles
[M. Mittmann]'s Articles
[G. N. Saridis]'s Articles
Baidu academic
Similar articles in Baidu academic
[Fei-Yue Wang,]'s Articles
[M. Mittmann]'s Articles
[G. N. Saridis]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Fei-Yue Wang,]'s Articles
[M. Mittmann]'s Articles
[G. N. Saridis]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.