A formal model of computation for sensory-based robotics

  title={A formal model of computation for sensory-based robotics},
  author={D. Lyons and M. Arbib},
  journal={IEEE Trans. Robotics Autom.},
It is noted that almost all attempts to construct special-purpose robot programming languages have proceeded by taking a computer-programming language and adding some special primitives. Here, the authors have taken the approach of trying to define computation at its most primitive level in terms of the characteristics of the robot domain. They construct a special model of computation, called RS (robot schemas), with properties designed to facilitate sensory-based robot programming. This… Expand
A language for declarative robotic programming
Frob is a system that supports rapid prototyping of new control strategies, enables software reuse through composition, and defines a system in a way that can be formally reasoned about and transformed. Expand
FROB: A Transformational Approach to the Design of Robot Software
Frob incorporates three important notions: an implicit representation of time, equational specification of continuous-time behaviors and asynchronous events, and functions to construct complex, reusable abstractions that lead to effective development of robot software while producing programs that are readable and can be reasoned about in a formal sense. Expand
Representation and execution support for reliable robot applications
A special model of distributed computation, the RS (Robot Schemas) model, has been designed to handle the issues of robot plan representation, and an overview of the model is presented. Expand
A distributed, real-time programming language for robotics
  • G. Pocock
  • Computer Science
  • Proceedings, 1989 International Conference on Robotics and Automation
  • 1989
The author describes the Robot Schema Programming language (RSPL), a concurrent, object-oriented, real-time language designed for sensory-based robotics. The language is based on a formal model ofExpand
Designing a Robot Cognitive Architecture with Concurrency and Active Perception
This paper examines two major inadequacies of current cognitive architectures for robotics: the absence of support for true concurrency and for active cooperation. Expand
Reaction based robot control
Abstract A formalized approach to reaction based control of robots equipped with sensors is presented. In the case of reaction based control a goal that is to be achieved and a single layer ofExpand
A formal model for reactive robot plans
  • D. Lyons
  • Computer Science
  • [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing
  • 1990
An approach to the representation and analysis of flexible plans, i.e. plans that react to suit the current environment, is described, using a special-purpose model of distributed computation in which plans are hierarchical networks of processes. Expand
Embodying a cognitive model in a mobile robot
The issues faced in developing an embodied cognitive architecture, the implementation choices, and the formal semantics of RS provides the basis for the semantics of ADAPT's use of natural language are described. Expand
Robust representation and execution of robot plans
Techniques for representing robust robot plans using the RS (robot schema) model are developed which make it possible to separate planned decision-making from error monitoring, and give a modular way to embed error detection, diagnosis, and recovery into plans. Expand
Achieving Goals Through Interaction With Sensors And Actuators
  • J. Budenske, Maria L. Gini
  • Engineering, Computer Science
  • Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 1992
This work proposes to produce the detailed plan of primitive actions and execute it by using primitive components that contain domain specific knowledge and knowledge about the available sensors and actuators that perform signal and con- trol processing as well as serve as an interface to high-level plan execution processes. Expand


A Task-Level Model of Distibuted Computation for Sensory-Based Control of Complex Robot Systems
The development of a task-level model of distributed computation specifically designed for complex robot systems is described, highlighting that the emphasis in this paper is on representation. Expand
Towards Distributed Robot Control Systems
Abstract This paper describes ongoing research into the design of a distributed robot control system targeted for a robotic system consisting of several manipulators equipped with a dextrous robotExpand
An approach to automatic robot programming
An architecture for a new task-level system, which is called ATLAS (Automatic Task Level Assembly Synthesizer), to provide a new framework for further research in task planning and present a more unified treatment of some individual pieces of task planning research whose relationships have not previously been described. Expand
A configurable system for automation programming and control
The controller is intended to support research in automation programming and motion control, and to provide a vehicle for conveniently integrating new sensors and other devices into a workcell in a useful way. Expand
Interprocess communication for distributed robotics
A survey of IPC is presented in the context of distributed robotics and some remarks about general approaches to communication within a distributed computing environment are introduced. Expand
A System for Programming and Controlling Sensor-Based Robot Manipulators
  • C. C. Geschke
  • Computer Science, Medicine
  • IEEE Transactions on Pattern Analysis and Machine Intelligence
  • 1983
An approach to programming and controlling robot manipulators which facilitates the use of sensory information, which can involve position, orientation, force, and torque information from the robot itself, or data from external sensors. Expand
Intertask communications in an integrated multirobot system
To support a distributed modular architecture of the IMRS, low-level communication primitives are proposed along with their supporting language syntax which are typical of real-time concurrent programming languages. Expand
Robot Manipulator Control under Unix RCCL: A Robot Control "C" Library
The first part of the paper reviews the functional organization of the system, going through world modeling, trajectory generation, force control, and synchroni zation, and describes actual robot programming examples. Expand
AUTOPASS: An Automatic Programming System for Computer Controlled Mechanical Assembly
The AUTOPASS language is oriented towards objects and assembly operations, rather than motions of mechanical assembly machines, to enable the user to concentrate on the overall assembly sequence and to program with English-like statements using names and terminology that are familiar to him. Expand
Opportunistic scheduling for robotic assembly
  • B. Fox, K. Kempf
  • Computer Science
  • Proceedings. 1985 IEEE International Conference on Robotics and Automation
  • 1985
It is suggested that giving the robot the ability to reason opportunistically over knowledge of part availability at run time is a practical, efficient way to streamline assembly tasks. Expand