An experiment with reactive data-flow tasking in active robot vision

Software - Practice and Experience

Volumn 27, Issue 5, 1997, Pages 599-621

  Rutten, E P ^a   Marchand, E ^a   Chaumette, F ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Active vision; Data flow; Formal specification language; Reactive systems; Robotics; Task preemption

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; COMPUTER VISION; DATA PROCESSING; FORMAL LANGUAGES; IMAGE RECONSTRUCTION; MOTION CONTROL; REAL TIME SYSTEMS; ROBOTICS; TIME SHARING PROGRAMS;

ACTIVE VISUAL RECONSTRUCTION; SIGNAL PROGRAMMING LANGUAGE;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0031146787     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199705)27:5<599::AID-SPE102>3.0.CO;2-K     Document Type: Article

References (27)

1. A. Benveniste and G. Berry, 'The synchronous approach to reactive and real-time systems', Proc. IEEE, 79(9), 1270-1282 (September 1991).
2. D. Harel and A. Pnueli, 'On the development of reactive systems' in K. R. Apt, (ed), Logics and Models of Concurrent Systems, vol. 13 of NATO ASI Series, Springer-Verlag, 1985, pp. 477-498.
3. P. J. Ramadge and W. M. Wonham, 'The control of discrete events systems,' Proc. IEEE, 77(1), 81-97 (January 1989).
4. T. P. Baker, O. Pazy. 'Real time features for ADA9x,' Proc. of the IEEE Real Time Systems Symposium, December 1991, pp. 172-180.
5. G. Berry, 'Real-time programming: special purpose languages or general purpose languages,' Proc. of the 11th IFIP World Congress, San Fransisco, California, 1989, pp. 11-17.
6. F. Boussinot and R. de Simone, 'The Esterel language,' Proc. IEEE, 9(79), 1293-1304 (September 1991).
7. N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer, 1993.
8. P. Le Guemic, M. Le Borgne, T. Gautier and C. Le Maire, 'Programming real time application with Signal,' Proc. IEEE, 79(9), 1321-1336 (September 1991).
9. D. Harel, 'Statecharts: a visual formalism for complex systems,' Science of Computer programming, 8(3), 231-274 (1987).
10. A. Benveniste, 'Synchronous languages provide safety in reactive systems design,' Control Engineering, 87-89, (September 1994).
11. E. Rutten and P. Le Guemic, 'The sequencing of data flow tasks in Signal,' In Proc. of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida, June 1994. (ftp cs.umd.edu,file/pub/faculty/pugh/sigplan_realtime_workshop_ 94/rutten.ps. Z).
12. Y. Sorel, 'Massively parallel computing systems with real-time constraints: the 'algorithm-architecture adequation' methodology,' Proc. of the Massively Parallel Computing Systems Conference, Ischia, Italy, 1994.
13. E. Marchand, E. Rutten and F. Chaumette, 'From data-flow task to multi tasking: applying the synchronous approach to active vision in robotics,' IEEE Trans. on Control Systems Technology, 5(2), 200-216 (1997).
14. E. Coste-Manière, B. Espiau and E. Rutten, 'A task-level robot programming language and its reactive execution', IEEE Int. Conf on Robotics and Automation, Nice, France, May 1992, PP. 2751-2737.
15. T. Amagbegnon, P. Le Guemic, H. Marchand and E. Rutten, 'Signal - the specification of a generic, verified production cell controller,' In C. Lewerentz and T. Lidnec (eds), Case Study Production Cell-A Comparative Study in Formal Software Development, Lecture Notes in computer science 891, Springer-Verlag, 1995, chapter VII, pp. 115-129.
16. F. Chaumette, S. Boukir, P. Bouthemy and D. Juvin, 'Structure from controlled motion,' IEEE Trans. Pattern Analysis and Machine Intelligence, 18(5); 492-504 (May 1996).
17. B. Espiau, F. Chaumette and P. Rives, 'A new approach to visual servoing in robotics,' IEEE Trans. on Robotics and Automation, 8(3), 313-326 (June 1992).
18. E. Marchand and F. Chaumette, 'Controlled camera motions for scene reconstruction and exploration,' IEEE Int. Conf. on Computer Vision and Pattern Recognition, CVPR '96, San Francisco, CA, June 1996, pp. 169-176.
19. A. D. H. Thomas, M. G. Rodd, J. D. Holt and C. J. Neill. 'Real time industrial visual inspection: a review, Real Time Imaging, 1, 139-15, (1995).
20. C. AS. R. Hoare, Communicating Sequential Systems, Prentice-Hall, 1985.
21. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer Verlag, 1980.
22. C. Lewerentz and T. Lindner (eds), Case Study Production Cell - A Comparative Study in formal Software Development, Lecture Notes in Computer Science 891, Springer Verlag, January 1995.
23. M. Jourdan, F. Lagnier, F. Maraninchi and F. Raymond, 'A multiparadigm language for reactive systems,' Proc. IEEE Int. Conf on Computer Languages, ICCL '94, Toulouse, France, May 1994.
24. G. Berry, 'Preemption in concurrent systems,' Proc. of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, December 1993. Lecture Notes in Computer Science, 761, Springer-Verlag, 1993.
25. D. Simon, B. Espiau, E. Castillo and K. Kapellos 'Computer-aided design of a generic robot controller handling reactivity and real-time controller issues,' IEEE Trans. Control Systems Technology, 1(4); 213-229 (December 1993).
26. S. Donikian and E. Rutten, 'Reactivity, concurrency, data-flow and hierarchical preemption for behavioral animation', in R. C. Veltkamp, E. H. Blake (eds), Programming Paradigms in Graphics, Springer Verlag, 1995, pp. 137-153, 169.
27. H. Marchand, E. Rutten and M. Samaan, 'Synchronous design of a transformer station controller with signal,' Proceedings of the 4 IEEE Conference on Control Applications, CCA'95, Albany, New York, September 28-29 1995, pp. 754-759.