4,785 research outputs found
Situational reasoning for road driving in an urban environment
Robot navigation in urban environments requires situational reasoning.
Given the complexity of the environment and the behavior specified by traffic
rules, it is necessary to recognize the current situation to impose the correct
traffic rules. In an attempt to manage the complexity of the situational reasoning
subsystem, this paper describes a finite state machine model to govern the situational
reasoning process. The logic state machine and its interaction with the
planning system are discussed. The approach was implemented on Alice, Team
Caltech’s entry into the 2007 DARPA Urban Challenge. Results from the qualifying
rounds are discussed. The approach is validated and the shortcomings of
the implementation are identified
Optimal path planning for surveillance with temporal-logic constraints
In this paper we present a method for automatically generating optimal robot paths satisfying high-level mission specifications. The motion of the robot in the environment is modeled as a weighted transition system. The mission is specified by an arbitrary linear temporal-logic (LTL) formula over propositions satisfied at the regions of a partitioned environment. The mission specification contains an optimizing proposition, which must be repeatedly satisfied. The cost function that we seek to minimize is the maximum time between satisfying instances of the optimizing proposition. For every environment model, and for every formula, our method computes a robot path that minimizes the cost function. The problem is motivated by applications in robotic monitoring and data-gathering. In this setting, the optimizing proposition is satisfied at all locations where data can be uploaded, and the LTL formula specifies a complex data-collection mission. Our method utilizes BĂĽchi automata to produce an automaton (which can be thought of as a graph) whose runs satisfy the temporal-logic specification. We then present a graph algorithm that computes a run corresponding to the optimal robot path. We present an implementation for a robot performing data collection in a road-network platform.This material is based upon work supported in part by ONR-MURI (award N00014-09-1-1051), ARO (award W911NF-09-1-0088), and Masaryk University (grant numbers LH11065 and GD102/09/H042), and other funding sources (AFOSR YIP FA9550-09-1-0209, NSF CNS-1035588, NSF CNS-0834260). (N00014-09-1-1051 - ONR-MURI; W911NF-09-1-0088 - ARO; LH11065 - Masaryk University; GD102/09/H042 - Masaryk University; FA9550-09-1-0209 - AFOSR YIP; CNS-1035588 - NSF; CNS-0834260 - NSF
Nonholonomic motion planning: steering using sinusoids
Methods for steering systems with nonholonomic constraints between arbitrary configurations are investigated. Suboptimal trajectories are derived for systems that are not in canonical form. Systems in which it takes more than one level of bracketing to achieve controllability are considered. The trajectories use sinusoids at integrally related frequencies to achieve motion at a given bracketing level. A class of systems that can be steered using sinusoids (claimed systems) is defined. Conditions under which a class of two-input systems can be converted into this form are given
Planning as Tabled Logic Programming
This paper describes Picat's planner, its implementation, and planning models
for several domains used in International Planning Competition (IPC) 2014.
Picat's planner is implemented by use of tabling. During search, every state
encountered is tabled, and tabled states are used to effectively perform
resource-bounded search. In Picat, structured data can be used to avoid
enumerating all possible permutations of objects, and term sharing is used to
avoid duplication of common state data. This paper presents several modeling
techniques through the example models, ranging from designing state
representations to facilitate data sharing and symmetry breaking, encoding
actions with operations for efficient precondition checking and state updating,
to incorporating domain knowledge and heuristics. Broadly, this paper
demonstrates the effectiveness of tabled logic programming for planning, and
argues the importance of modeling despite recent significant progress in
domain-independent PDDL planners.Comment: 27 pages in TPLP 201
Decision-Making for Automated Vehicles Using a Hierarchical Behavior-Based Arbitration Scheme
Behavior planning and decision-making are some of the biggest challenges for
highly automated systems. A fully automated vehicle (AV) is confronted with
numerous tactical and strategical choices. Most state-of-the-art AV platforms
implement tactical and strategical behavior generation using finite state
machines. However, these usually result in poor explainability, maintainability
and scalability. Research in robotics has raised many architectures to mitigate
these problems, most interestingly behavior-based systems and hybrid
derivatives. Inspired by these approaches, we propose a hierarchical
behavior-based architecture for tactical and strategical behavior generation in
automated driving. It is a generalizing and scalable decision-making framework,
utilizing modular behavior blocks to compose more complex behaviors in a
bottom-up approach. The system is capable of combining a variety of scenario-
and methodology-specific solutions, like POMDPs, RRT* or learning-based
behavior, into one understandable and traceable architecture. We extend the
hierarchical behavior-based arbitration concept to address scenarios where
multiple behavior options are applicable but have no clear priority against
each other. Then, we formulate the behavior generation stack for automated
driving in urban and highway environments, incorporating parking and emergency
behaviors as well. Finally, we illustrate our design in an explanatory
evaluation
- …