Design and analysis of synchronization for real-time closed-loop control in robotics

IEEE Transactions on Control Systems Technology

Volumn 6, Issue 4, 1998, Pages 445-461

  Simon, Daniel ^b   Castaneda, Eduardo Castillo ^c   Freedman, Paul ^a,d  

^a IEEE

^b INRIA   (France)

^c UNIVERSIDAD AUTÓNOMA DE QUERÉTARO   (Mexico)

^d Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

Multitasking; Petri nets; Real time systems; Robots; Software verification and validation; Synchronization

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; PETRI NETS; REAL TIME SYSTEMS; SYNCHRONIZATION;

MULTITASKING; REAL TIME OPERATING SYSTEMS;

ROBOTICS;

EID: 0032122160     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/87.701336     Document Type: Article

References (30)

1. B. Armstrong-Helouvry, "Latency analysis of asynchronous distributed control," Dept. Electr. Eng., Univ. Wisconsin, Milwaukee, Int. Rep., 1992.
2. C. Astraudo and J. J. Borrelly, "Simulation of multiprocessor robot controllers," in Proc. IEEE Int. Conf. Robot. Automat., Nice, May 1992.
3. F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity, Wiley Series in Probability and Mathematical Statistics. New York: Wiley, 1992.
4. M. Barbeau, P. Freedman, and D. Simon, "Synthesis of safe and live robot-tasks," Département de mathématiques et d'informatique, Université de Sherbrooke, Québec, Canada, Res. Rep. 145, Feb. 1995.
5. E. Castillo, "Principes, techniques et outils de simulation, vérification et exécution d'actions robotiques," Ph.D. dissertation, INPG Grenoble, France, Nov. 1994.
6. J. B. Chen, B. S. R. Armstrong, R. S. Fearing, and J. W. Burdick, "Satyr and the nymph: Software archetype for real-time robotics," in Proc. IEEE-ACM Joint Comput. Conf., Dallas, Nov. 1988.
7. R. David and H. Alla, Du GRAFCET aux réseaux de Petri. Paris: Hermès, 1989.
8. J. Delacroix, "Stabilité et régisseur d'ordonnancement en temps réel," Technique et science informatique, vol. 13, no. 2, pp. 223-250, 1994.
9. B. Espiau, K. Kapellos, M. Jourdan, and D. Simon, "On the validation of robotics control systems - Part I: High-level specification and formal verification," INRIA Res. Rep. 2719, Nov. 1995.
10. S. Fleury, M. Herbb, and R. Chatila, "Design of a modular architecture for autonomous robots," in IEEE Int. Conf. Robot. Automat., San Diego, CA, May 1994.
11. P. Freedman, "Time, Petri nets, and robotics," IEEE Trans. Robot. Automat., vol. 7, Aug. 1991.
12. L. George, N. Rivierre, and M. Spuri, "Preemptive and nonpreemptive real-time uniprocessor scheduling," INRIA Res. Rep. 2966, Sept. 1996.
13. A. Jaritz and M. Spong, "An experimental comparison of robust control algorithms on a direct-drive manipulator," IEEE Trans. Contr. Syst. Technol., vol. 4, Nov. 1996.
14. P. K. Khosla, "Choosing sampling rates for robot control," in Proc. IEEE Int. Conf. Robot. Automat., 1987.
15. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire, "Programming real time applications with SIGNAL," Proc. IEEE, vol. 79, no. 9, Sept. 1991.
16. M. Jourdan and F. Maraninchi, "Static timing analysis of real-time systems," in ACM SIGPLAN Wkshp. Languages, Compilers and Tools for Real-Time Syst., La Jolla, CA, June 1995.
17. M. Mejia, D. Simon, P. Belmans, and J. J. Borrelly, "Mécanismes de synchronization dans un système robotique réparti," in Proc. Séminaire Franco-Brésilien sur les systèmes informatiques répartis, Florianopolis, Brazil, Sept. 1989.
18. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, Apr. 1989.
19. M. Nemani, T. C. Tsao, and S. Hutchinson, "Multi-rate analysis and design of visual feedback digital servo-control system," J. Dynamic Syst., Measurement Contr., vol. 116, pp. 45-55, Mar. 1994.
20. R. Pissard-Gibollet, K. Kapellos, P. Rives, and J. J. Borrelly, "Real-time programming of mobile robot actions using advanced control techniques," in 4th Int. Symp. Experimental Robot., Stanford, CA, June 30-July 2, 1995.
21. C. Ramamoorthy and G. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets," IEEE Trans. Software Eng., vol. 6, no. 5, pp. 440-449, Sept. 1980.
22. C. Ramchandani, "Analysis of asynchronous concurrent systems by Petri nets," Ph.D. dissertation, LCS/MIT, Feb. 1974.
23. C. Samson, M. Le Borgne, and B. Espiau, Robot Control: The Task-Function Approach. Oxford, U.K.: Clarendon, 1991.
24. L. Sha, R. Rajkumar, and S. Sathaye, "Generalized rate-monotonic scheduling theory: A framework for developing real-time systems," Proc. IEEE, Special Issue on Real-Time Systems, vol. 82, no. 1, Jan. 1994.
25. K. G. Shin and P. Ramanathan, "Real-time computing: A new discipline of computer science and engineering," Proc. IEEE, Special Issue on Real-Time Systems, vol. 82, no. 1, Jan. 1994.
26. K. G. Shin and X. Cui, "Computing time delay and its effects on real-time control systems," IEEE Trans. Contr. Syst. Technol., vol. 3, June 1995.
27. M. Silva and J. M. Colom, "On the computation of structural synchronic invariants in P/T nets," in Advances in PN'88, LNCS 340. New York: Springer-Verlag, 1989.
28. D. Simon, B. Espiau, E. Castillo, and K. Kapellos, "Computer-aided design of a generic robot controller handling reactivity and real-time control issues," IEEE Trans. Contr. Syst. Technol., vol. 1, Dec. 1993.
29. D. Simon, K. Kapellos, and B. Espiau, "Control laws, tasks and procedures with ORCCAD: Application to the control of an underwater arm," in Proc. 6th IARP Wkshp. Underwater Robot., Toulon, France, Mar. 1996.
30. L. Whitcomb and D. Koditschek, "Robot control in a message passing environment: Theoretical questions and preliminary experiments," in Proc. IEEE Int. Conf. Robot. Automat., 1990.