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
      Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE