Computer-implemented computation of tangent-space jacobian
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.
1. A method comprising:
accessing a first symbolic expression for an output matrix as a function of an input matrix at a computing device comprising processing circuitry and memory;
computing, at a first component of the processing circuitry, a first Jacobian of the input matrix with respect to an input tangent space;
computing, at a second component of the processing circuitry, a second Jacobian of the output matrix with respect to the input matrix;
computing, at a third component of the processing circuitry, a third Jacobian of an output tangent space with respect to the input matrix;
applying 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; and
controlling operation of an unmanned aerial vehicle based on the second symbolic expression, wherein the controlling operation controls movement of the unmanned aerial vehicle based on cost functions.
2. The method of claim 1 , wherein the first component comprises a first thread, wherein the second component comprises a second thread, and wherein the third component comprises a third thread.
3. The method of claim 1 , wherein the first component comprises a first processor, wherein the second component comprises a second processor, and wherein the third component comprises a third processor.
4. The method of claim 1 , wherein two or more of the first component, the second component, and the third component operate in parallel.
5. The method of claim 1 , wherein the input tangent space and the output tangent space are defined in a symbolic Lie group definition stored in the memory.
6. The method of claim 1 , wherein accessing the first symbolic expression comprises accessing a cost function of the cost functions for operating an unmanned aerial vehicle, wherein the cost function comprises the first symbolic expression.
7. The method of claim 1 , wherein the computing device comprises a flight control subsystem of the unmanned aerial vehicle, and wherein controlling operation of the unmanned aerial vehicle comprises transmitting instructions to a motor of the unmanned aerial vehicle.
8. A non-transitory computer-readable medium storing instructions which, when executed by a computing device, causes the computing device to perform operations comprising:
accessing a first symbolic expression for an output matrix as a function of an input matrix at the computing device comprising processing circuitry and memory;
computing, at a first component of the processing circuitry, a first Jacobian of the input matrix with respect to an input tangent space;
computing, at a second component of the processing circuitry, a second Jacobian of the output matrix with respect to the input matrix;
computing, at a third component of the processing circuitry, a third Jacobian of an output tangent space with respect to the input matrix;
applying 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; and
controlling operation of an unmanned aerial vehicle based on the second symbolic expression, wherein the controlling operation controls movement of the unmanned aerial vehicle based on cost functions.
9. The computer-readable medium of claim 8 , wherein the first component comprises a first thread, wherein the second component comprises a second thread, and wherein the third component comprises a third thread.
10. The computer-readable medium of claim 8 , wherein the first component comprises a first processor, wherein the second component comprises a second processor, and wherein the third component comprises a third processor.
11. The computer-readable medium of claim 8 , wherein two or more of the first component, the second component, and the third component operate in parallel.
12. The computer-readable medium of claim 8 , wherein the input tangent space and the output tangent space are defined in a symbolic Lie group definition stored in the memory.
13. The computer-readable medium of claim 8 , wherein accessing the first symbolic expression comprises accessing a cost function of the cost functions for operating an unmanned aerial vehicle, wherein the cost function comprises the first symbolic expression.
14. The computer-readable medium of claim 8 , wherein the computing device comprises a flight control subsystem of the unmanned aerial vehicle, and wherein controlling operation of the unmanned aerial vehicle comprises transmitting instructions to a motor of the unmanned aerial vehicle.
15. A computing device comprising:
processing circuitry; and
a memory storing instructions which, when executed by the processing circuitry, cause the processing circuitry to:
access a first symbolic expression for an output matrix as a function of an input matrix;
compute, at a first component of the processing circuitry, a first Jacobian of the input matrix with respect to an input tangent space;
compute, at a second component of the processing circuitry, a second Jacobian of the output matrix with respect to the input matrix;
compute, at a third component of the processing circuitry, a third Jacobian of an output tangent space with respect to the input matrix;
apply 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; and
control operation of an unmanned aerial vehicle based on the second symbolic expression, wherein the control operation controls movement of the unmanned aerial vehicle based on cost functions.
16. The computing device of claim 15 , wherein the first component comprises a first thread, wherein the second component comprises a second thread, and wherein the third component comprises a third thread.
17. The computing device of claim 15 , wherein the first component comprises a first processor, wherein the second component comprises a second processor, and wherein the third component comprises a third processor.
18. The computing device of claim 15 , wherein two or more of the first component, the second component, and the third component operate in parallel.