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.:
Date of Patent:
Apr. 21, 2025
Filed:
Jan. 26, 2023
Skydio, Inc., San Mateo, CA (US);
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);
Skydio, Inc., San Mateo, CA (US);
Abstract
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.