Aurora Flight Sciences Corporation

Craig John Bonnoit

Jeffery Saunders

Anubhav Guha

Techniques for traversing in an environment that includes at least one obstacle, by a mobile autonomous system, to a destination in the environment, are presented. The techniques can include generating, prior to the mobile autonomous system commencing activity in the environment, a graph including a plurality of vertices representing positions in the environment and a plurality of edges between vertices representing feasible transitions by the mobile autonomous vehicle in the environment; annotating the graph with at least one edge connecting a representation of a present position of the mobile autonomous system to a vertex of the graph; determining, based on the graph, a path from the present position of the mobile autonomous system in the environment to the destination; and traversing the environment to the destination, by the mobile autonomous system, based on the path.

Fast path planning for dynamic avoidance in partially known environments

Techniques for establishing the sufficiency of a path planner to avoid multiple obstacles in planning a path from a starting location to a destination location is presented. The techniques can include: iterating, until a stopping condition occurs: obtaining, from the path planner, a path from the starting location to the destination location; representing the path from the starting location to the destination location as a disjunction of logical terms; conjoining the disjunction of terms to a conjunction of terms representing previously considered paths; determining a satisfiability condition of the conjunction of terms; and for a positive satisfiability condition, adding at least one corresponding obstacle of the plurality of obstacles to the path planner; and providing an indication of sufficiency of the path planner to avoid the obstacles in planning a path from the starting location to the destination location based on the stopping condition.

Growing community of inventors

Vienna, VA, United States of America

Craig John Bonnoit