Accession Number : ADA335713
Title : Logic-based Real Time Problem Solving Systems
Descriptive Note : Final technical rept. 1 Dec 92-31 Aug 96
Corporate Author : MARYLAND UNIV COLLEGE PARK
Personal Author(s) : Subrahmanian, V. S. ; Hendler, James
PDF Url : ADA335713
Report Date : 31 JAN 1997
Pagination or Media Count : 11
Abstract : The problem of guaranteeing safety in a class of robot motion problems has been studied. Necessary and sufficient conditions for ensuring safety have been determined. Functional relationships between the number, size, and speed of obstacles and the robot's maximum speed to ensure safety have been developed.
Descriptors : *SYSTEMS ENGINEERING, *REAL TIME, *ROBOTS, *MOTION, *PROBLEM SOLVING, VELOCITY, BARRIERS.
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE