Automatic Verification of Autonomous Robot MissionsReportar como inadecuado


Automatic Verification of Autonomous Robot Missions


Automatic Verification of Autonomous Robot Missions - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Before autonomous robotics can be used for dangerous or critical missions, performance guarantees should be made available. Thispaper overviews a software system for the verification of behavior-based controllers in context of chosen hardware and environmental models.Robotic controllers are automatically translated to a process algebra.The system comprising both the robot and the environment are thenevaluated by VIPARS, a verification software module in development,and compared to specific performance criteria. The user is returned aprobability that the performance criteria will hold in the uncertainty ofreal-world conditions. Experimental results demonstrate accurate verification for a mission related to the search for a biohazard.



Mobile Robot Laboratory Publications - Mobile Robot Laboratory -



Autor: O-Brien, Matthew - Arkin, Ronald C. - Harrington, Dagan - Lyons, Damian M. - Jiang, Shu - -

Fuente: https://smartech.gatech.edu/







Documentos relacionados