System presentation - Functional reactive robotics: An exercise in principled integration of domain-specific languages

Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)

Volumn , Issue , 2002, Pages 168-179

  Pembeci, Izzet ^a   Nilsson, Henrik ^b   Hager, Gregory ^a  

^a JOHNS HOPKINS UNIVERSITY   (United States)

^b YALE UNIVERSITY   (United States)

Author keywords

Domain Specific Languages; Functional Programming; Robotics; Vision

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; CONTROL THEORY; HUMAN COMPUTER INTERACTION; HYBRID COMPUTERS; ROBOTICS; VIDEO SIGNAL PROCESSING;

DOMAIN-SPECIFIC LANGUAGES; FUNCTIONAL REACTIVE PROGRAMMING (FRP);

ROBOT PROGRAMMING;

EID: 0036989098     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in CHARON. In HSCC, pages 6-19, 2000.
2. R. C. Arkin. Behavior-based Robotics. MIT Press, 1998.
3. R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, April 1986.
4. R. A. Brooks. Integrated systems based on behaviors. SIGART Bulletin, 2(4):46-50, 1991.
5. G. Hager and J. Peterson. A transformational approach to the design of robot software. In Robotics Research: The Ninth International Symposium, pages 257-264. Springer Verlag, 2000.
6. G. D. Hager and K. Toyama. The "XVision" system: A general purpose substrate for real-time vision applications. Comp. Vision, Image Understanding., 69(1):23-27, Jan. 1998.
7. V. Hayward and R. P. Paul. Robot manipulator control under unix RCCL: a robot control "C" library. The International Journal of Robotics Research, Winter 1986, 5(4):94-111, 1986.
8. J. Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
9. F. Ingrand, R. Chatila, R. Alami, and F. Robert. Prs: A high level supervision and control language for autonomous mobile robots. In Proc. of the IEEE International Conf. on Robotics and Automation, Minneaplois, USA, 1996.
10. F. Ingrand, M. Georgeff, and A. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.
11. K. Konolige. Colbert: A language for reactive control in sapphira. Technical report, SRI International, June 1997.
12. K. Konolige, K. Myers, and E. Ruspini. The saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence, 9, 1997.
13. S. Lang. The xvision2 software system, May 2001. Master Thesis, Dept. of Computer Science, The Johns Hopkins University.
14. D. McDermott. A reactive plan language. Technical report, Yale University Department of Computer Science, 1991.
15. H. Nilsson, A. Courtney, and J. Peterson. Functional Reactive Programming, continued. Submitted for publication, June 2002.
16. R. Paterson. A new notation for arrows. In ICFP'01: International Conference on Functional Programming, pages 229-240, Firenze, Italy, 2001.
17. J. Peterson, G. Hager, and P. Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conf. on Robotics and Automation, May 1999.
18. J. Peterson, P. Hudak, and C. Elliott. Lambda in motion: Controlling robots with Haskell. In Proc. 1st International Conference on Practical Aspects of Declarative Languages (PADL'99), pages 91-105, January 1999.
19. A. Reid, J. Peterson, P. Hudak, and G. Hager. Prototyping real-time vision systems: An experiment in DSL design. In Proc. 21st International Conference on Software Engineering (ICSE'99), May 1999.
20. R. Simmons and D. Apfelbaum. A task description language for robot control. In Proceedings Conference on Intelligent Robotics and Systems, 1998.
21. Z. Wan and P. Hudak. Functional Reactive Programming from first principles. In Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 242-252, Vancouver, British Columbia, Canada, June 2000.