Sampling-based Algorithm for Testing and Validating Robot Controllers

DOI10.1177/0278364906072513zbMath1202.93088OpenAlexW2082784420MaRDI QIDQ3578180

Jongwoo Kim, Vijay Kumar, Joel M. Esposito

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)

Related Items (1)

Coverage-guided test generation for continuous and hybrid systems

Uses Software

• HyTech

Cites Work

• Unnamed Item
• Asymptotic theorems for modifications of polynomials which are similar to the Baernstein polynomials
• HyTech: A model checker for hybrid systems
• Kinodynamic motion planning
• Computational techniques for hybrid system verification
• Symbolic reachability computation for families of linear vector fields

This page was built for publication: Sampling-based Algorithm for Testing and Validating Robot Controllers