18083854
Attitude and Position Control Using Real-Time Color Tracking
A variety of sensors and positioning methods have been developed over the years. Most methods rely on active sensors (such as sonars or lasers) which have range and power restrictions, or rely on computationally complex (and often slow) methods such as recovering position from stereo or optical flow. This paper describes a system that can determine a robot's position and orientation, in all six degrees of freedom, relative to a simple passive target. The system can determine its position relative to the target from a single image frame, and process the image and calculate the position faster than a camera's frame rate (60Hz). It uses a standard, uncalibrated color video camera as its sensor. The system runs on an inexpensive microprocessor (a Motorola 68332) leaving many cycles left over. By careful design of the target and the vision processing hardware and software, we are able to selectively perceive only the relevant parts of the target, greatly simplifying and speeding all the necessary computations. The system is being developed for autonomous spacecraft station keeping and docking.
206447917
Creating Autonomous Roboticists
KISS Institute's Botball program is a national program, designed for middle and high school students, that uses the activities of robot building and programming to engage students in science, technology, engineering and mathematics. Botball puts robotics equipment into schools, then trains students and teachers in that equipment's use. The program is organized into spring regional tournaments and a national Botball tournament held at the Annual National Conference on Artificial Intelligence. This program is playing an important role in creating and inspiring the next generation of AI and robotics technologists, many of whom might very well be the engineers and computer scientists who design and build sophisticated, highly autonomous rovers and other space platforms for future NASA missions of exploration. The inspiration cuts both ways.
2634305
Deadlines, Travel Time, and Robot Problem Solving
1 Abstract This paper describes some extensions to the reductionist planning paradigm typified by Sacerdoti's NOAH program. Certain inadequacies of the partial ordering scheme used in NOAH are pointed out and a new architecture is detailed which circumvents these problems. An example from the semi-automated factory domain is used to illustrate features of the new planner. Techniques for eliminating unnecessary travel time by the robot and avoiding backtracking due to deadline failures are discussed and their incorporation in the planner is described. 2 Introduction Most planners since NOAH [8] have represented a plan for a set of tasks as a partial (ie., non-linear) ordering of the steps required for carrying out those tasks. NOAH and its successors (eg., NONLIN [9] and DEVISER [10]) employ a partially ordered network of tasks to avoid early and unnecessary commitment to task orderings. The motivation for this is to eliminate backtrack-ing. However, maintaining a consistent partial order is difficult in domains where the fact that tasks actually take time plays an important role: domains in which deadlines or robot travel time are serious considerations. That a partial order leads unavoidably to a deadline failure usually cannot be discovered until an attempt is made to linearize the ordering. However, failure to notice a deadline violation early will require backtracking later. In addition, planning with a partial order is not well suited to efficiently managing factors like travel or machine running time. It's not difficult to represent that moving from one workstation to another takes time proportional to the distance separating the two workstations. However, generating a plan that eliminates unnecessary travel between workstations requires exploring some of the linearized task orderings. It is not until tasks are completely ordered that the source and destination workstations of each movement can be known and the travel time computed with any accuracy. In this paper we describe an approach to planning that combines the use of a partial order with a method for exploring the possible repercussions of that partial order. This approach has been implemented in the FORBIN planner (First Order RoBot INtender). FORBIN is a planner capable of solving a significantly wider class of problems than any of its predecessors. 2.1 The Factory Domain One problem domain that has been used for exploring our approach to planning is what we refer to as the semi-automated factory. In this domain a mobile robot operator wanders about the …
303726
Simplified navigation and traverse planning for a long-range planetary rover
This paper presents the sensor and control system for SR2, a planetary rover prototype capable of km+/day traverses through Mars-like terrain. The control system described allowed the rover to successfully navigate Mars-like terrain given a set of way-points spaced approximately 100 m apart. The control system uses input from a variety of sensors including heading, roll, pitch, an array of proximity sensors, voltage and current sensors, and a depth from stereo camera system. The control system is adequate, when combined with the rover's mobility system to make its way over or around almost all hazards a rover is likely to encounter, and to know when it is getting diverted so far off course that it needs to ask for help. In a recent field test, the robot autonomously navigated through 1.3 km of Mars like terrain to reach its goal. The SR2 is a solar powered, four-wheeled rover that masses 21 kg and fits inside a 90/spl times/65/spl times/40 cm envelope.
43128338
Experiences with an architecture for intelligent, reactive agents
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecture uses three levels of abstraction and description languages which are compatible between levels. The makeup of the architecture helps to coordinate planful activities with real-time behaviours for dealing with dynamic environments. In recent years, other architectures have been created with similar attributes but two features distinguish the 3T architecture: (1) a variety of useful software tools have been created to help implement this architecture on multiple real robots; and (2) this architecture, or parts of it, have been implemented on a variety of very different robot systems using different processors, operating systems, effectors and sensor suites.
657782
Experiences with an Architecture for Intelligent, Reactive Agents
This paper briefly describes a robot architecture that has been under development for the last eight years. This architecture uses several levels of abstraction and description languages that are compatible between levels. The makeup of the architecture helps to coordinate planful activities with real-time behaviors for dealing with dynamic environments. In recent years, many architectures have been created with similar attributes. The two features that distinguish this architecture from most of those are: 1) a variety of useful software tools have been created to help implement this architecture on multiple real robots; and 2) this architecture, or parts of it have been implemented on over half a dozen very different robot systems using a variety of processors, operating systems, effectors and sensor suites.
3091178
Using Linear Logic to Reason about Sequent Systems
Linear logic can be used as a meta-logic for the specification of some sequent calculus proof systems. We explore in this paper properties of such linear logic specifications. We show that derivability of one proof system from another has a simple decision procedure that is implemented simply via bounded logic programming search. We also provide conditions to ensure that an encoded proof system has the cut-elimination property and show that this can be decided again by simple, bounded proof search algorithms.
25642875
Approximate Maximum Entropy Joint Feature Inference Consistent with Arbitrary Lower-Order Probability Constraints: Application to Statistical Classification
We propose a new learning method for discrete space statistical classifiers. Similar to Chow and Liu (1968) and Cheeseman (1983), we cast classification/inference within the more general framework of estimating the joint probability mass function (p.m.f.) for the (feature vector, class label) pair. Cheeseman's proposal to build the maximum entropy (ME) joint p.m.f. consistent with general lower-order probability constraints is in principle powerful, allowing general dependencies between features. However, enormous learning complexity has severely limited the use of this approach. Alternative models such as Bayesian networks (BNs) require explicit determination of conditional independencies. These may be difficult to assess given limited data. Here we propose an approximate ME method, which, like previous methods, incorporates general constraints while retaining quite tractable learning. The new method restricts joint p.m.f. support during learning to a small subset of the full feature space. Classification gains are realized over dependence trees, tree-augmented naive Bayes networks, BNs trained by the Kutato algorithm, and multilayer perceptrons. Extensions to more general inference problems are indicated. We also propose a novel exact inference method when there are several missing features.
6001799
Limit to the Bit-Rate Capacity of Electrical Interconnects from the Aspect Ratio of the System Architecture
We show that there is a limit to the total number of bits per second,B, of information that can flow in a simple digital electrical interconnection that is set only by the ratio of the lengthlof the interconnection to the total cross-sectional dimensionAof the interconnect wiring?the “aspect ratio” of the interconnection. This limit is largely independent of the details of the design of the electrical lines. The limit is approximatelyB~BoA/l2bits/s, withBo~ 1015(bit/s) for high-performance strip lines and cables, ~1016for small on-chip lines, and ~1017?1018for equalized lines. Because the limit is scale-invariant, neither growing nor shrinking the system substantially changes the limit. Exceeding this limit requires techniques such as repeatering, coding, and multilevel modulation. Such a limit will become a problem as machines approach Tb/s information bandwidths. The limit will particularly affect architectures in which one processor must talk reasonably directly with many others. We argue that optical interconnects can solve this problem since they avoid the resistive loss physics that gives this limit.
17886110
Using a single address space operating system for distributed computing and high performance
Recent 64-bit microprocessors have made a huge 18.4 quintillion byte address space potentially available to programs. This has led to the design of Operating Systems that provide a single virtual address space in which all code and data reside in and that spans all levels of storage and all nodes of a distributed system. These operating systems called SASOSs, have characteristics that can be used to support synchronization and coherency in a distributed system in ways that provide an improved program development environment and higher performance than that available from conventional operating systems. Sombrero, our SASOS design, makes use of its hardware support for object-grained protection, separate thread related protection domains and implicit protection domain crossing to provide synchronization and coherency support for distributed object copy set management not available in SASOSs built on stock processors. Its design, which provides direct system level support for object oriented programming includes a number of system architectural features targeted at modern distributed computing.
32145280
Logical foundations for open system design