logo

For the Inventor, By the Inventor

The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 12353504 B1

PDFFull Text
Date of Patent:
Jul. 08, 2025

Filed:

Jan. 27, 2023

Computer-implemented symbolic differentiation using first-order retraction

Applicant:

Skydio, Inc., San Mateo, CA (US);

Inventors:

Hayk Martirosyan, San Francisco, CA (US);

Aaron Christopher Miller, San Francisco, CA (US);

Nathan Leo Bucki, San Mateo, CA (US);

Bradley Matthew Solliday, San Francisco, CA (US);

Ryan David Kennedy, San Francisco, CA (US);

Jack Louis Zhu, San Mateo, CA (US);

Teodor Tomic, Redwood City, CA (US);

Yixiao Sun, Stanford, CA (US);

Josiah Timothy VanderMey, Redwood City, CA (US);

Gareth Benoit Cross, San Carlos, CA (US);

Peter Benjamin Henry, San Francisco, CA (US);

Dominic William Pattison, Cupertino, CA (US);

Samuel Shenghung Wang, Mountain View, CA (US);

Kristen Marie Holtz, Menlo Park, CA (US);

Harrison Zheng, Palo Alto, CA (US);

Assignee:

Skydio, Inc., San Mateo, CA (US);

Attorney:

Young Basile Hanlon & MacFarlane, P.C.

Primary Examiner:

Kito R Robinson

Assistant Examiner:

Roy Rhee

Int. Cl.
CPC ...
G06F 17/16 (2006.01); B64C 39/02 (2023.01); B64U 10/00 (2023.01); G05D 1/00 (2024.01); G06F 9/52 (2006.01); G06F 17/18 (2006.01); G06V 10/75 (2022.01); B64U 101/30 (2023.01);
U.S. Cl.
CPC ...
G06F 17/16 (2013.01); B64C 39/024 (2013.01); B64U 10/00 (2023.01); G05D 1/0022 (2013.01); G05D 1/0038 (2013.01); G05D 1/0088 (2013.01); G05D 1/0825 (2013.01); G05D 1/101 (2013.01); G06F 9/526 (2013.01); G06F 17/18 (2013.01); G06V 10/751 (2022.01); B64U 2101/30 (2023.01); B64U 2201/00 (2023.01); B64U 2201/10 (2023.01); B64U 2201/20 (2023.01);
Abstract

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.

Find Patent Forward Citations

Loading…