Evaluating a reactive semantics for robotics

A key part of programming a robotic system is specifying the responses to events that the robot may encounter. This is provided by a new language, RADAR. This paper proposes evaluating robot programming systems work by: a formalisation of the semantics, an evaluation in terms of criteria that determine a languagepsilas suitability for programming, and a small user study to test the readability of programs written using the semantics. The evaluation of the reactivity semantics found in the RADAR language shows clear benefits for programmers.

[1]  Erann Gat,et al.  ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.

[2]  Robert W. Sebesta,et al.  Concepts of programming languages (2. ed.) , 1993, Benjamin/Cummings series in computer science.

[3]  Anders Orebäck,et al.  Evaluation of Architectures for Mobile Robotics , 2003, Auton. Robots.

[4]  Erann Gat.  ALFA: a language for programming reactive robotic control systems , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[5]  James W. Howatt,et al.  A project-based approach to programming language evaluation , 1995, SIGP.

[6]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[7]  Tara A. Estlin,et al.  CLARAty and challenges of developing interoperable robotic software , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[8]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[9]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[10]  Guido van Rossum,et al.  Python Programming Language , 2007, USENIX Annual Technical Conference.

[11]  Rodney A. Brooks,et al.  The Behavior Language: User''s Guide , 1990 .

[12]  Kurt Konolige.  COLBERT: A Language for Reactive Control in Sapphira , 1997, KI.

[13]  John C. Mitchell,et al.  Concepts in programming languages , 2002 .

[14]  Reid G. Simmons,et al.  A task description language for robot control , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[15]  Bruce A. MacDonald,et al.  Specifying Robot Reactivity in Procedural Languages , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.