Monadic robotics

Proceedings of the 2nd Conference on Domain-Specific Languages, DSL 1999

Volumn , Issue , 1999, Pages 95-108

  Peterson, John ^a   Hager, Greg ^b  

^a YALE UNIVERSITY   (United States)

^b JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; DIGITAL SUBSCRIBER LINES; FUNCTIONAL PROGRAMMING; GRAPHICAL USER INTERFACES; PROBLEM ORIENTED LANGUAGES; ROBOTICS; SEMANTICS;

CONTINUOUS-TIME; DOMAIN SPECIFIC; DOMAIN SPECIFIC LANGUAGES; FUNCTIONAL REACTIVE PROGRAMMING; INTERACTIVE SYSTEM; PURELY FUNCTIONAL; ROBOT CONTROL ALGORITHM; ROBOT CONTROLLER;

CONTINUOUS TIME SYSTEMS;

EID: 84885232724     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/331960.331976     Document Type: Conference Paper

References (18)

1. Rodney Brooks. A robust layered control system for a mobile robot. IEEE Trans, on Robotics and Automation, 2(l):24-30, March 1986.
2. E. Coste-Maniere and B. Espiau, editors. International Journal of Robotic Research, Special Issue on Integrated Architectures for Robot Control and Programming, volume 17:4, 1998.
3. Conal Elliott. Composing reactive animations. Dr. Dobb's Journal, July 1998. Extended version with animations at http://-research.microsoft.com/conal/fran/-tutorial.htm,tutorialArticle.zip.
4. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 163-173, June 1997.
5. V. Hayward and J. Lloyd. RCCL User's Guide. McGill University, Montreal, Quebec, Canada, 1984.
6. K. Konolige. Colbert: A language for reactive control in sapphira. In G. Brewka, C. Habel, and B. Nebel, editors, Advances in Artificial Intelligence, volume 1303 of Lecture Notes in Computer Science. Springer, 1997.
7. V.J. Lumelsky and A.A. Stepanov. Dynamic path planning for a mobile automaton with limited information on the environment. IEEE Trans, on Automatic Control, 31(11):1058-63, 1986.
8. D. Lyons and M. Arbib. A formal model of computation for sensor-based robotics. IEEE Trans, on Robotics and Automation, 6(3):280-293, 1989.
9. Damian M. Lyons. Representing and analyzing action plans as networks of concurrent processes. IEEE Transactions on Robotics and Automation, 9(7):24l-256, June 1993.
10. J.L. Mundy. The image understanding environment program. IEEE EXPERT, 10(6):64-73, December 1995.
11. Pattis, R et al. Karel the Robot. John Wiley & Sons, 1995.
12. J. Peterson, G. Hager, and P. Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conf. on Robotics and Automation, May 1999.
13. J. Peterson, P. Hudak, and C. Elliott. Lambda in motion: Controlling robots with haskell. In Proceedings of PADL 99: Practical Aspects of Declarative Languages, pages 91-105, Jan 1999.
14. John Peterson and Kevin Hammond. Haskell 1.4: A non-strict, purely functional language. Technical Report YALEU/DCS/RR-1106, Department of Computer Science, Yale University, May 1997.
15. B. Shimono. VAL: A Versatile Robot Programming and Control Language. IEEE Press, 1986.
16. D.B. Stewart and P.K. Khosla. The chimera methodology: Designing dynamically recon-figurable and reusable real-time software using port-based objects. International Journal of Software Engineering and Knowledge Engineering, 6(2):249-277, 1996.
17. R. H. Taylor, P.D. Summers, and J. M. Meyer. AML: A manufacturing language. Int. J. of Robot Res., 1(3):3-18, 1982.
18. P. Wadler. The essence of functional programming. In Proceedings of ACM Symposium on Principles of Programming Languages. ACM SIGPLAN, January 1992.