Sampling-based algorithm for testing and validating robot controllers

DOI10.1177/0278364906072513MaRDI QIDQ3578180zbMATH OpenOpenAlexFDO

Authors Jongwoo Kim, Joel M. Esposito, Vijay Kumar

Publication date 14 July 2010

Published in The International Journal of Robotics Research (Search for Journal in Brave)

Full work available at URL https://repository.upenn.edu/meam_papers/81

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Rapidly-exploring random trees: Progress and prospects
• Sampling-based falsification and verification of controllers for continuous dynamic systems
• Rapidly-exploring random trees motion planning for non-holonomic robot with collision-test and regression mechanism
• Algorithmic Motion Planning: The Randomized Approach
• Rapidly-exploring Sorted Random Tree: A Self Adaptive Random Motion Planning Algorithm

Cites work

• scientific article; zbMATH DE number 1444343 (Why is no real title available?)
• Asymptotic theorems for modifications of polynomials which are similar to the Baernstein polynomials
• Computational techniques for hybrid system verification
• HyTech: A model checker for hybrid systems
• Kinodynamic motion planning
• Symbolic reachability computation for families of linear vector fields

Cited in

(1)

• Coverage-guided test generation for continuous and hybrid systems

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Sampling-based algorithm for testing and validating robot controllers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3578180)