327 research outputs found
Autonomy Infused Teleoperation with Application to BCI Manipulation
Robot teleoperation systems face a common set of challenges including
latency, low-dimensional user commands, and asymmetric control inputs. User
control with Brain-Computer Interfaces (BCIs) exacerbates these problems
through especially noisy and erratic low-dimensional motion commands due to the
difficulty in decoding neural activity. We introduce a general framework to
address these challenges through a combination of computer vision, user intent
inference, and arbitration between the human input and autonomous control
schemes. Adjustable levels of assistance allow the system to balance the
operator's capabilities and feelings of comfort and control while compensating
for a task's difficulty. We present experimental results demonstrating
significant performance improvement using the shared-control assistance
framework on adapted rehabilitation benchmarks with two subjects implanted with
intracortical brain-computer interfaces controlling a seven degree-of-freedom
robotic manipulator as a prosthetic. Our results further indicate that shared
assistance mitigates perceived user difficulty and even enables successful
performance on previously infeasible tasks. We showcase the extensibility of
our architecture with applications to quality-of-life tasks such as opening a
door, pouring liquids from containers, and manipulation with novel objects in
densely cluttered environments
On the Minimal Revision Problem of Specification Automata
As robots are being integrated into our daily lives, it becomes necessary to
provide guarantees on the safe and provably correct operation. Such guarantees
can be provided using automata theoretic task and mission planning where the
requirements are expressed as temporal logic specifications. However, in
real-life scenarios, it is to be expected that not all user task requirements
can be realized by the robot. In such cases, the robot must provide feedback to
the user on why it cannot accomplish a given task. Moreover, the robot should
indicate what tasks it can accomplish which are as "close" as possible to the
initial user intent. This paper establishes that the latter problem, which is
referred to as the minimal specification revision problem, is NP complete. A
heuristic algorithm is presented that can compute good approximations to the
Minimal Revision Problem (MRP) in polynomial time. The experimental study of
the algorithm demonstrates that in most problem instances the heuristic
algorithm actually returns the optimal solution. Finally, some cases where the
algorithm does not return the optimal solution are presented.Comment: 23 pages, 16 figures, 2 tables, International Joural of Robotics
Research 2014 Major Revision (submitted
Laboratory on Legs: An Architechture for Adjustable Morphology with Legged Robots
For mobile robots, the essential units of actuation, computation, and sensing must be designed to fit within the body of the robot. Additional capabilities will largely depend upon a given activity, and should be easily reconfigurable to maximize the diversity of applications and experiments. To address this issue, we introduce a modular architecture originally developed and tested in the design and implementation of the X-RHex hexapod that allows the robot to operate as a mobile laboratory on legs. In the present paper we will introduce the specification, design and very earliest operational data of Canid, an actively driven compliant-spined quadruped whose completely different morphology and intended dynamical operating point are nevertheless built around exactly the same “Lab on Legs” actuation, computation, and sensing infrastructure. We will review as well, more briefly a second RHex variation, the XRL latform, built using the same components.
For more information: Kod*La
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning
This paper studies the problem of control strategy synthesis for dynamical
systems with differential constraints to fulfill a given reachability goal
while satisfying a set of safety rules. Particular attention is devoted to
goals that become feasible only if a subset of the safety rules are violated.
The proposed algorithm computes a control law, that minimizes the level of
unsafety while the desired goal is guaranteed to be reached. This problem is
motivated by an autonomous car navigating an urban environment while following
rules of the road such as "always travel in right lane'' and "do not change
lanes frequently''. Ideas behind sampling based motion-planning algorithms,
such as Probabilistic Road Maps (PRMs) and Rapidly-exploring Random Trees
(RRTs), are employed to incrementally construct a finite concretization of the
dynamics as a durational Kripke structure. In conjunction with this, a weighted
finite automaton that captures the safety rules is used in order to find an
optimal trajectory that minimizes the violation of safety rules. We prove that
the proposed algorithm guarantees asymptotic optimality, i.e., almost-sure
convergence to optimal solutions. We present results of simulation experiments
and an implementation on an autonomous urban mobility-on-demand system.Comment: 8 pages, final version submitted to CDC '1
Taking the Intentional Stance Seriously, or "Intending" to Improve Cognitive Systems
Finding claims that researchers have made considerable progress in artificial
intelligence over the last several decades is easy. However, our everyday
interactions with cognitive systems (e.g., Siri, Alexa, DALL-E) quickly move
from intriguing to frustrating. One cause of those frustrations rests in a
mismatch between the expectations we have due to our inherent,
folk-psychological theories and the real limitations we experience with
existing computer programs. The software does not understand that people have
goals, beliefs about how to achieve those goals, and intentions to act
accordingly. One way to align cognitive systems with our expectations is to
imbue them with mental states that mirror those we use to predict and explain
human behavior. This paper discusses these concerns and illustrates the
challenge of following this route by analyzing the mental state 'intention.'
That analysis is joined with high-level methodological suggestions that support
progress in this endeavor.Comment: 13 pages, 1 figure, 2 table
Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks
Autonomous robots are increasingly utilized in realistic scenarios with
multiple complex tasks. In these scenarios, there may be a preferred way of
completing all of the given tasks, but it is often in conflict with optimal
execution. Recent work studies preference-based planning, however, they have
yet to extend the notion of preference to the behavior of the robot with
respect to each task. In this work, we introduce a novel notion of preference
that provides a generalized framework to express preferences over individual
tasks as well as their relations. Then, we perform an optimal trade-off
(Pareto) analysis between behaviors that adhere to the user's preference and
the ones that are resource optimal. We introduce an efficient planning
framework that generates Pareto-optimal plans given user's preference by
extending A* search. Further, we show a method of computing the entire Pareto
front (the set of all optimal trade-offs) via an adaptation of a
multi-objective A* algorithm. We also present a problem-agnostic search
heuristic to enable scalability. We illustrate the power of the framework on
both mobile robots and manipulators. Our benchmarks show the effectiveness of
the heuristic with up to 2-orders of magnitude speedup.Comment: 8 pages, 4 figures, to appear in International Conference on
Intelligent Robots and Systems (IROS) 202
Artificial consciousness and the consciousness-attention dissociation
Artificial Intelligence is at a turning point, with a substantial increase in projects aiming to implement sophisticated forms of human intelligence in machines. This research attempts to model specific forms of intelligence through brute-force search heuristics and also reproduce features of human perception and cognition, including emotions. Such goals have implications for artificial consciousness, with some arguing that it will be achievable once we overcome short-term engineering challenges. We believe, however, that phenomenal consciousness cannot be implemented in machines. This becomes clear when considering emotions and examining the dissociation between consciousness and attention in humans. While we may be able to program ethical behavior based on rules and machine learning, we will never be able to reproduce emotions or empathy by programming such control systems—these will be merely simulations. Arguments in favor of this claim include considerations about evolution, the neuropsychological aspects of emotions, and the dissociation between attention and consciousness found in humans. Ultimately, we are far from achieving artificial consciousness
- …