A formal model of computation for sensory-based robotics

@article{Lyons1989AFM,
  title={A formal model of computation for sensory-based robotics},
  author={D. Lyons and M. Arbib},
  journal={IEEE Trans. Robotics Autom.},
  year={1989},
  volume={5},
  pages={280-293}
}
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 22 REFERENCES
A Task-Level Model of Distibuted Computation for Sensory-Based Control of Complex Robot Systems
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
...