Logic-based Real Time Problem Solving Systems

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 31, 1997
Accession Number
ADA335713

Entities

People

  • James Hendler
  • V. S. Subrahmanian

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Biomedical
  • Human Systems

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Artificial Intelligence
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Engineering
  • Information Science
  • Information Systems
  • Integer Programming
  • Language
  • Linear Programming
  • Students
  • Theoretical Computer Science
  • Universities

Readers

  • Artificial Intelligence
  • Aviation Safety Risk Assessment.
  • Robotics and Automation.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - Machine Learning Algorithms
  • Autonomy