Skydio, Inc.

Samuel Shenghung Wang

Hayk Martirosyan

Peter Benjamin Henry

Ryan David Kennedy

Kristen Marie Holtz

Gareth Benoit Cross

Abraham Galton Bachrach

Adam Parker Bry

Jack Louis Zhu

Harrison Zheng

Teodor Tomic

Josiah Timothy VanderMey

Dominic William Pattison

Yixiao Sun

Aaron Christopher Miller

Vladimir Nekrasov

Bradley Matthew Solliday

Nathan Leo Bucki

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

Autonomous aerial navigation in low-light and no-light conditions includes using night mode obstacle avoidance intelligence and mechanisms for vision-based unmanned aerial vehicle (UAV) navigation to enable autonomous flight operations of a UAV in low-light and no-light environments using infrared data.

Autonomous aerial navigation in low-light and no-light conditions

Autonomous aerial navigation in low-light and no-light conditions includes using night mode obstacle avoidance intelligence, training, and mechanisms for vision-based unmanned aerial vehicle (UAV) navigation to enable autonomous flight operations of a UAV in low-light and no-light environments using infrared data.

Growing community of inventors

Mountain View, CA, United States of America

Samuel Shenghung Wang