Skip to main content
Log in

Coordination specification for CIRSSE robotic platform system using Petri net transducers

  • Published:
Journal of Intelligent and Robotic Systems Aims and scope Submit manuscript

Abstract

A 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Azema, P.,et al. (1984), Specification and verification of distributed systems using prolog interpreted Petri nets,Proc. 7th Int. Conf. Software Eng., Orlando, U.S.A, pp. 510–518.

  • Boehm, B.W. (1976), Software engineering,IEEE Trans. Computers C-25(12), 1226–1241.

    Google Scholar 

  • Bruno G. and Marchetto, G. (1986), Process-translatable Petri nets for the rapid prototyping of process control systems,IEEE Trans. Software Eng. SE-12(2), 346–357.

    Google Scholar 

  • Courvoisier, M., Vallette, R., Bigou, J.M., and Esteban, P. (1983), A programmable logic controller based on a high level specification tool,Proc. 1983 Conf. Ind. Electron., pp. 174–179.

  • Krogh, B.H., Wilson, R., and Pathak, D. (1988), Automated generation and evaluation of control programs for discrete manufacturing processes,Proc. IEEE Int. CIM Conference, Troy, NY, U.S.A., pp. 92–99.

  • Mittmann, M. (1991), Token Passer: A Petri net specification tool, MS Thesis, ECSE Dept, RPI, Troy, NY.

    Google Scholar 

  • Noreils, E.R. and Chatila R.G. (1989), A general structure for mobile robot action control,IEEE/RSJ Int. Workshop on Intelligent Robots and Systems, Sept. 4–6, 1989, Tsukuba, Japan, pp. 550–556.

  • Saridis, G.N. (1977),Self-Organizing Stochastic Control Systems, Marcel Dekker, New York.

    Google Scholar 

  • Saridis, G.N. and Stephanou, H.E. (1977), A hierarchical approach to the control of a prosthetic arm,IEEE Trans. Systems Man Cybernet. SMC-7(6), 407–420.

    Google Scholar 

  • Saridis, G.N., Foundation of intelligent controls,Proc. IEEE Workshop on Intelligent Contr., RPI, Troy, NY, pp. 23–27.

  • Saridis, G.N. and Valavanis, K.P. (1988), Analytic design of intelligent machines,Automatica 24, 123–133.

    Google Scholar 

  • Topper, A., Caneshmend, L., and Hayward, V. (1988), A computing architecture for a multiple robot controller for space applications Kali Project.Fifth CASI Conference on Astronautics, Ottawa.

  • Valavanis, K.P. and Saridis, G.N. (1991), Probabilistic modeling of intelligent robotic systems,IEEE Trans. Robot. Automat. RA-7(1), 164–170.

    Google Scholar 

  • Wang, Fei-Yue and Saridis, G.N. (1990), A coordination theory for intelligent machines,IFAC J. Automat. 26(9), 833–844.

    Google Scholar 

  • Wang, Fei-Yue and Saridis, G.N. (1991), Petri net transducers for task translation in intelligent machines,Proc. IFAC Int. Workshop on Discrete Event Systems Theory and Applications in Manufacturing and Social Phenomena (DES'91), June 1991, Shenyang, China.

  • Wang, Fei-Yue and Saridis, G.N. (1992),Coordination Theory for Intelligent Machines: Applications in Intelligent Robotic Systems and CIM Systems, to be published by Kluwer Academic Publishers, Boston, MA.

    Google Scholar 

  • Wang, Fei-Yue and Saridis, G.N. (1993), Task translation and integration specification in intelligent machines,IEEE Trans. Robot. Automat. 9(3), 257–271.

    Google Scholar 

  • Wang, Fei-Yue (1990),A coordination theory for intelligent machines, PhD Thesis, ECSE Dept, RPI, Troy, NY.

    Google Scholar 

  • Wang, Fei-Yue, Kyriakopoulos, K.J., Tsolkas, A., and Saridis, G.N. (1991), A Petri net coordination model for an intelligent mobile robot,IEEE Trans. Systems Man Cybernet. SMC-21(4), 777–789.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, FY., Mittmann, M. & Saridis, G.N. Coordination specification for CIRSSE robotic platform system using Petri net transducers. J Intell Robot Syst 9, 209–233 (1994). https://doi.org/10.1007/BF01276499

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01276499

Key words

Navigation