TY - GEN
T1 - From structured english to robot motion
AU - Kress-Gazit, Hadas
AU - Fainekos, Georgios E.
AU - Pappas, George J.
N1 - Funding Information:
Georgios E. Fainekos is currently a Doctoral candidate in the Department of Computer and Information Science at the University of Pennsylvania under the supervision of Professor George J. Pappas. He received his Diploma degree in Mechanical Engineering from the National Technical University of Athens, in 2001, and his MS degree in Computer and Information Science from the University of Pennsylvania, in 2004. His research interests include formal methods, hybrid and embedded control systems, real-time systems, robotics, and unmanned aerial vehicles. He was finalist for the Best Student Paper Award in ICRA 2007.
Funding Information:
George J. Pappas received the PhD degree in Electrical Engineering and Com-puter Sciences from the University of California, Berkeley, in 1998. He is currently a Professor in the Department of Electrical and Systems Engineering, and the Deputy Dean of the School of Engineering and Applied Science. He also holds secondary appointments in the Departments of Computer and Information Sci-ences, and Mechanical Engineering and Applied Mechanics. His research focuses on the areas of hybrid and embedded systems, hierarchical control systems, dis-tributed control systems, nonlinear control systems, and geometric control theory, with applications to robotics, unmanned aerial vehicles and biomolecular networks. He coedited Hybrid Systems: Computation and Control (Springer, 2004). He was the recipient of a National Science Foundation (NSF) Career Award in 2002, as well as the 2002 NSF Presidential Early Career Award for Scientists and Engineers. He received the 1999 Eliahu Jury Award for Excellence in Systems Research from the Department of Electrical Engineering and Computer Sciences, University of California, Berkeley. His and his students’ papers were finalists for the Best Student Paper Award at the IEEE Conference on Decision and Control (1998, 2001, 2004, 2006), the American Control Conference (2001 and 2004), and ICRA (2007)."
PY - 2007
Y1 - 2007
N2 - Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its close relationship with fragments of natural language. In this paper, we take the first steps toward building a natural language interface for LTL planning methods with mobile robots as the application domain. For this purpose, we built a structured English language which maps directly to a fragment of LTL.
AB - Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its close relationship with fragments of natural language. In this paper, we take the first steps toward building a natural language interface for LTL planning methods with mobile robots as the application domain. For this purpose, we built a structured English language which maps directly to a fragment of LTL.
UR - http://www.scopus.com/inward/record.url?scp=51349122021&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=51349122021&partnerID=8YFLogxK
U2 - 10.1109/IROS.2007.4398998
DO - 10.1109/IROS.2007.4398998
M3 - Conference contribution
AN - SCOPUS:51349122021
SN - 1424409128
SN - 9781424409129
T3 - IEEE International Conference on Intelligent Robots and Systems
SP - 2717
EP - 2722
BT - Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007
T2 - 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2007
Y2 - 29 October 2007 through 2 November 2007
ER -