TY - GEN
T1 - Composable robot controllers
AU - Peterson, John
AU - Hager, Greg
AU - Serjentov, Andrei
N1 - Publisher Copyright:
© 2001 IEEE.
PY - 2001
Y1 - 2001
N2 - Software for controlling robots is often difficult to develop and maintain. Specialized robot programming languages make this task more manageable. These languages may be either created from scratch or incorporated within an existing language. In this paper, we demonstrate the latter technique: an embedded domainspecific language called Frob (for Functional Robotics) built within Haskell, a purely functional programming language. We use basic techniques of programming, transformation and composition, to create high-level controllers that are concise, understandable, and easily modifiable. Frob is constructed using Functional Reactive Programming (FRP), a system that describes interactive computations using functions. In this paper, we demonstrate the use of Frob in the context of the Robocup robotic soccer competition. We develop a set of control systems for Robocup and show how these systems can be composed into complex soccer strategies.
AB - Software for controlling robots is often difficult to develop and maintain. Specialized robot programming languages make this task more manageable. These languages may be either created from scratch or incorporated within an existing language. In this paper, we demonstrate the latter technique: an embedded domainspecific language called Frob (for Functional Robotics) built within Haskell, a purely functional programming language. We use basic techniques of programming, transformation and composition, to create high-level controllers that are concise, understandable, and easily modifiable. Frob is constructed using Functional Reactive Programming (FRP), a system that describes interactive computations using functions. In this paper, we demonstrate the use of Frob in the context of the Robocup robotic soccer competition. We develop a set of control systems for Robocup and show how these systems can be composed into complex soccer strategies.
UR - http://www.scopus.com/inward/record.url?scp=84949229310&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949229310&partnerID=8YFLogxK
U2 - 10.1109/CIRA.2001.1013188
DO - 10.1109/CIRA.2001.1013188
M3 - Conference contribution
AN - SCOPUS:84949229310
T3 - Proceedings of IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA
SP - 149
EP - 154
BT - Proceedings - 2001 IEEE International Symposium on Computational Intelligence in Robotics and Automation
A2 - Liu, Peter Xiaoping
A2 - Zhang, Hong
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2001
Y2 - 29 July 2001 through 1 August 2001
ER -