IEEE - Institute of Electrical and Electronics Engineers, Inc. - Guaranteeing reactive high-level behaviors for robots with complex dynamics

2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013)

Author(s): Jonathan A. DeCastro ; Hadas Kress-Gazit
Sponsor(s): IEEE Ind. Electron. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2013
Conference Location: Tokyo, Japan
Conference Date: 3 November 2013
Page(s): 749 - 756
ISSN (Paper): 2153-0858
DOI: 10.1109/IROS.2013.6696435
Regular:

Applying correct-by-construction planning techniques to robots with complex nonlinear dynamics requires new formal analysis methods which guarantee that the requested behaviors can be... View More

Advertisement