Skydio, Inc.

Yixiao Sun

Hayk Martirosyan

Jack Louis Zhu

Peter Benjamin Henry

Ryan David Kennedy

Kristen Marie Holtz

Harrison Zheng

Gareth Benoit Cross

Teodor Tomic

Josiah Timothy VanderMey

Samuel Shenghung Wang

Dominic William Pattison

Bradley Matthew Solliday

Nathan Leo Bucki

Aaron Christopher Miller

A computer of an unmanned aerial vehicle (UAV) accesses, from a memory unit, a problem definition comprising cost functions associated with travel of the UAV. The computer causes movement of the UAV based on the cost functions. The computer adjusts one or more of the cost functions during a flight of the UAV. The computer causes further movement of the UAV based on the adjusted one or more of the cost functions.

Unmanned aerial vehicle operated based on cost functions

A computer accesses an input element storage and an output element storage. The computer accesses a symbolic expression for output element storage as a function of the input element storage. The computer computes, using a symbolic computation engine of the computer, a symbolic expression for the tangent space Jacobian of the output element storage with respect to an input tangent space. The computer outputs the computed expression.

Computer-implemented symbolic differentiation using first-order retraction

A computer accesses a first symbolic expression for an output matrix as a function of an input matrix at a computing device comprising processing circuitry and memory. The computer computes a first Jacobian of the input matrix with respect to an input tangent space. The computer computes a second Jacobian of the output matrix with respect to the input matrix. The computer computes a third Jacobian of an output tangent space with respect to the input matrix. The computer applies symbolic matrix multiplication to the first Jacobian, the second Jacobian, and the third Jacobian to obtain a second symbolic expression for the output tangent space with respect to the input tangent space. The computer provides a representation of the second symbolic expression, the second symbolic expression representing a computed tangent-space Jacobian.

Computer-implemented computation of tangent-space jacobian

Growing community of inventors

Stanford, CA, United States of America

Yixiao Sun