Control laws, tasks and procedures with ORCCAD: Application to the control of an underwater arm

International Journal of Systems Science

Volumn 29, Issue 10, 1998, Pages 1081-1098

  Simon, D ^a   Kapellos, K ^a   Espiau, B ^b  

^a INRIA   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; MANIPULATORS; ROBOTIC ARMS; UNDERWATER STRUCTURES;

SOFTWARE RELIABILITY; UNDERWATER ARMS;

MOBILE ROBOTS;

EID: 0032180262     PISSN: 00207721     EISSN: 14645319     Source Type: Journal    
DOI: 10.1080/00207729808929599     Document Type: Article

References (27)

1. Astraudo, C., and Borrelly, J. J., 1992. Simulation of multiprocessor robot controllers. Proceedings of the IEEE International Conference on Robotics and Automation, Nice, France, pp. 573-578.
2. Berry, G., and Gonthier, G., 1992, The synchronous programming language Esturkl: design, semantics, implementation. Science of Computer Programming. 19, 87-152.
3. Bryant, R. E., 1992. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys. 24, 293-318.
4. Clarke, E. M., Emerson, A., and Sistla, A. P., 1983, Automatic verification of Finite State concurrent systems using temporal logic specification: a practical approach. Proceedings of the Tenth ACM Sympoium on Principles of Programming Languages, pp. 117-126.
5. Coste-Manière, E., Perrier, M., and Piiuctt, A., 1995, Mission programming: International to underwater robotics, Proceedings of the Fourth International Symposium on Experimental Robotics. Stanford, California. USA, pp. 402-411.
6. de Simone, R., and Vergamini, D., 1989. Auto Technical Report 111, Institut National dc Recherche en Informatique et en Automatique.
7. Dombre, E. and Khalil, W., 1988, Modélisation et Commande des Robots (Paris: Edition Hermès).
8. Espiau, B., Chaumette, F., and Rives, P., 1992, A new approach to visual servoing in robotics. IEEE Transactions on Robotics and Automation, 8, 313-326.
9. Espiau, B., Kapellos, K., Jourdan, M. and Simon, D., 1995, On the validation of robotics control systems. Part 1: High level specification and formal verification. Research Report 2719. Institut National de Recherche en Informatique et en Automatique.
10. Espiau, B., Kapellos, K., Coste-Manière, E., and Turro, N., 1996, Formai mission specification in an open architecture. Proceedings of the International Symposium on Robotics and Manufacturing, Montpellier. France, pp. 271-276.
11. Espiau, B., Merlet, J. P., and Samson, C., 1990. Force-feedbuck control and non-contact sensing: a unified approach. Proceedings of the Eighth Symposium on RoManSy. Krakow, Poland.
12. Henzinger, T., NiCOllin, X., Sifakis, J., and Yovine, S., 1992. Symbol model-checking Tor real-time systems. LICS 92 (New York: IEEE Computer Society Press).
13. Kalavanis, K. P., et al. (editors), 1995. International program development in undersea robotics and intelligent control. Proceedings of the Joint US-Portugal Workshop, Lisboa. Portugal.
14. Kapellos, K., 1994. Environment de programmation des applications robotiques réactives. PhD dissertation. Ecole des Mines de Paris, Sophia Anlipolis, France.
15. Kapellos, K., Abdou, S., Jourdan, M., and Espiau, B., 1995, Specification, formal verification and implementation of tasks and missions for an autonomous vehicle. Proceedings of the Fourth Inter-national Symposium on Experimental Robotics, Stanford. California. USA, pp.412-421.
16. Kapellos, K., and Espiau, B., 1995, Implementation with Orccad of a method for smooth singularity crossing in a 6-DOF manipulator. Research Report 2654, Institut National dc Recherche en In-formaliqtic ct en Aulomatiquc.
17. McMillan, S., Orin, D., and McGhee, B. 1995, Efficient dynamic simulation of an underwater vehicle with a robotic manipulator. II: EE Transactions on Systems. Man and Cybernetics. 25, 1194-1206.
18. Makaninciii, F., 1992. Operational and compositional semantics of synchronous automaton compositions. CONCUR Lecture nates in Computer Science, vol. 630 (Berlin: Springer-Vcrlag), pp. 550-564.
19. Pissard-Giiiolet, R., Kapellos, K., Rives, P., and Borrelly, J. J., 1995, Real-time programming of mobile robot-actions using advanced control techniques. Proceedings of the Fourth international Sym/tosiam on Robotics, Stanford, California, USA, pp. 566-574.
20. Rictaud, V., 1995. Union Esprit basic research action: main objectives of the project. Proceedings of the Workshop an Undersea Robotics anti Intelligent Control. Lisboa, Portugal.
21. Rives, P. and Pissahd-Gibollht, R., 1996, Sensor-based tasks: from the specification to the control aspects. Proceedings of the International Symposium on Robotics and Manufacturing, Montpellier, France, pp. 583-588.
22. Samson, C., Lit Borgne, M., and Espiau, B., 1991. Robot Control: the Task-Function Approach (Oxford: Clarendon).
23. Sangiorgi, D., 1995. On proof method for bisimulation. Proceedings of the MFCS, Lecture Notes in Computer Science, Vol 969, edited by J. Wiedermann and P. Haick (Berlin: Springer-Verlag). pp. 479-488.
24. Simon, D., Castillo, E., and Freedman, P., 1998, Design and analysis of synchronization for real-time closed-loop control in robotics. IEEE Transactions on Control Systems Technology (in press).
25. Simon, D., Coste-Maniere, E., Pissard, R., Rigaud, V., Perrier, M., and Peuch, A., 1994, A reactive approach to underwater vehicle control: the mixed Orccad/Pirrat programming of the VORTEX vehicle. Proceedings of the Second Workshop on Mobile Robots for Subsea Environment. International Advanced Robotics Program. Monterey, California. USA, pp. 203-212.
26. Simon, D., Espiau, B., Castillo, E. and Kahellos, K., 1993. Computer-aided design of a generic robot controller handling reactivity and real-time control issues. IEEE Transactions on Control Systems Technology, 1, 213-229.
27. Simon, D., Kapellos, K., and Espiau, B,. 1995, Formal verification of missions and tasks: Application to underwater robotics. Proceedings of the International Conference on Advanced Robotics, Barcelona, Spain, pp. 165-170.