Patents by Inventor Harrison Zheng
Harrison Zheng has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 12353504Abstract: 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.Type: GrantFiled: January 27, 2023Date of Patent: July 8, 2025Assignee: Skydio, Inc.Inventors: Hayk Martirosyan, Aaron Christopher Miller, Nathan Leo Bucki, Bradley Matthew Solliday, Ryan David Kennedy, Jack Louis Zhu, Teodor Tomic, Yixiao Sun, Josiah Timothy VanderMey, Gareth Benoit Cross, Peter Benjamin Henry, Dominic William Pattison, Samuel Shenghung Wang, Kristen Marie Holtz, Harrison Zheng
-
Patent number: 12337965Abstract: Described herein are systems and methods for structure scan using an unmanned aerial vehicle. For example, some methods include accessing a three-dimensional map of a structure; generating facets based on the three-dimensional map, wherein the facets are respectively a polygon on a plane in three-dimensional space that is fit to a subset of the points in the three-dimensional map; generating a scan plan based on the facets, wherein the scan plan includes a sequence of poses for an unmanned aerial vehicle to assume to enable capture, using image sensors of the unmanned aerial vehicle, of images of the structure; causing the unmanned aerial vehicle to fly to assume a pose corresponding to one of the sequence of poses of the scan plan; and capturing one or more images of the structure from the pose.Type: GrantFiled: August 18, 2022Date of Patent: June 24, 2025Assignee: Skydio, Inc.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Galton Bachrach, Adam Bry
-
Publication number: 20250138531Abstract: In some examples, one or more processors of an aerial vehicle determine an update to a three-dimensional (3D) model corresponding to a scan target to scan according to a scan plan. Based at least on the update to the 3D model, the one or more processors determine a set of one or more uncovered points of the 3D model that are not covered by the scan plan. Additionally, the one or more processors determine an updated scan plan based at least on determining one or more poses to include in the scan plan for scanning the one or more uncovered points of the 3D model. The one or more processors, control the aerial vehicle to scan the scan target with the one or more image sensors according to the updated scan plan.Type: ApplicationFiled: January 6, 2025Publication date: May 1, 2025Inventors: Peter HENRY, Jack ZHU, Brian RICHMAN, Harrison ZHENG, Hayk MARTIROSYAN, Matthew DONAHOE, Abraham BACHRACH, Adam BRY, Ryan David KENNEDY, Himel MONDAL, Quentin Allen Wah Yen DELEPINE
-
Patent number: 12282524Abstract: 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.Type: GrantFiled: January 27, 2023Date of Patent: April 22, 2025Assignee: Skydio, Inc.Inventors: Hayk Martirosyan, Aaron Christopher Miller, Nathan Leo Bucki, Bradley Matthew Solliday, Ryan David Kennedy, Jack Louis Zhu, Teodor Tomic, Yixiao Sun, Josiah Timothy VanderMey, Gareth Benoit Cross, Peter Benjamin Henry, Dominic William Pattison, Samuel Shenghung Wang, Kristen Marie Holtz, Harrison Zheng
-
Patent number: 12189389Abstract: In some examples, one or more processors of an unmanned aerial vehicle (UAV), control a propulsion mechanism of the UAV to cause the UAV to navigate to a plurality of positions in relation to a scan target. Using one or more image sensors of the UAV, a first image of the scan target is captured from a first position of the plurality of positions, and a second image of the scan target is captured from a second position of the plurality of positions. A disparity is determined between the first image captured at the first position and the second image captured at the second position. A three-dimensional model corresponding to the scan target is determined based in part on the disparity determined between the first image and the second image.Type: GrantFiled: November 27, 2023Date of Patent: January 7, 2025Assignee: SKYDIO, INC.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Patent number: 12169406Abstract: In some examples, one or more processors of an aerial vehicle access a scan plan including a sequence of poses for the aerial vehicle to assume to capture, using the one or more image sensors, images of a scan target. A next pose of the scan plan is checked for obstructions, and based at least on detection of an obstruction, the one or more processors determine whether a backup pose is available for capturing an image of the targeted point orthogonally along a normal of the targeted point. Responsive to determining that the backup pose is unavailable for capturing an image of the targeted point orthogonally along the normal of the targeted point, image capture of the targeted point is performed at an oblique angle to the normal of the targeted point.Type: GrantFiled: November 27, 2023Date of Patent: December 17, 2024Assignee: SKYDIO, INC.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Patent number: 12097957Abstract: Described herein are systems and methods for structure scan using an unmanned aerial vehicle. For example, some methods include accessing a three-dimensional map of a structure; generating facets based on the three-dimensional map, wherein the facets are respectively a polygon on a plane in three-dimensional space that is fit to a subset of the points in the three-dimensional map; generating a scan plan based on the facets, wherein the scan plan includes a sequence of poses for an unmanned aerial vehicle to assume to enable capture, using image sensors of the unmanned aerial vehicle, of images of the structure; causing the unmanned aerial vehicle to fly to assume a pose corresponding to one of the sequence of poses of the scan plan; and capturing one or more images of the structure from the pose.Type: GrantFiled: August 18, 2022Date of Patent: September 24, 2024Assignee: Skydio, Inc.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Galton Bachrach, Adam Bry
-
Publication number: 20240310834Abstract: In some examples, one or more processors of an aerial vehicle access a scan plan including a sequence of poses for the aerial vehicle to assume to capture, using the one or more image sensors, images of a scan target. A next pose of the scan plan is checked for obstructions, and based at least on detection of an obstruction, the one or more processors determine whether a backup pose is available for capturing an image of the targeted point orthogonally along a normal of the targeted point. Responsive to determining that the backup pose is unavailable for capturing an image of the targeted point orthogonally along the normal of the targeted point, image capture of the targeted point is performed at an oblique angle to the normal of the targeted point.Type: ApplicationFiled: November 27, 2023Publication date: September 19, 2024Inventors: Peter HENRY, Jack ZHU, Brian RICHMAN, Harrison ZHENG, Hayk MARTIROSYAN, Matthew DONAHOE, Abraham BACHRACH, Adam BRY, Ryan David KENNEDY, Himel MONDAL, Quentin Allen Wah Yen DELEPINE
-
Publication number: 20240295876Abstract: In some examples, one or more processors of an unmanned aerial vehicle (UAV), control a propulsion mechanism of the UAV to cause the UAV to navigate to a plurality of positions in relation to a scan target. Using one or more image sensors of the UAV, a first image of the scan target is captured from a first position of the plurality of positions, and a second image of the scan target is captured from a second position of the plurality of positions. A disparity is determined between the first image captured at the first position and the second image captured at the second position. A three-dimensional model corresponding to the scan target is determined based in part on the disparity determined between the first image and the second image.Type: ApplicationFiled: November 27, 2023Publication date: September 5, 2024Inventors: Peter HENRY, Jack ZHU, Brian RICHMAN, Harrison ZHENG, Hayk MARTIROSYAN, Matthew DONAHOE, Abraham BACHRACH, Adam BRY, Ryan David KENNEDY, Himei MONDAL, Quentin Allen Wah Yen DELEPINE
-
Publication number: 20240278912Abstract: Described herein are systems for roof scan using an unmanned aerial vehicle. For example, some methods include capturing, using an unmanned aerial vehicle, an overview image of a roof of a building from above the roof; presenting a suggested bounding polygon overlaid on the overview image to a user; determining a bounding polygon based on the suggested bounding polygon and user edits; based on the bounding polygon, determining a flight path including a sequence of poses of the unmanned aerial vehicle with respective fields of view at a fixed height that collectively cover the bounding polygon; fly the unmanned aerial vehicle to a sequence of scan poses with horizontal positions matching respective poses of the flight path and vertical positions determined to maintain a consistent distance above the roof; and scanning the roof from the sequence of scan poses to generate a three-dimensional map of the roof.Type: ApplicationFiled: February 7, 2024Publication date: August 22, 2024Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Galton Bachrach, Adam Bry
-
Patent number: 12025983Abstract: In some examples, an image of a scan target is presented in a user interface on a display associated with a computing device. The user interface receives at least one user input indicating at least one point in a perimeter or edge of a volume for encompassing the scan target presented in the image of the scan target. A graphical representation of the volume in relation to the image of the scan target is generated in the user interface. Information for defining a location of at least a portion of the volume in three-dimensional space is sent to an unmanned aerial vehicle (UAV) to cause, at least in part, the UAV to scan at least a portion of the scan target corresponding to the volume.Type: GrantFiled: July 17, 2023Date of Patent: July 2, 2024Assignee: SKYDIO, INC.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Patent number: 11952116Abstract: Described herein are systems for roof scan using an unmanned aerial vehicle. For example, some methods include capturing, using an unmanned aerial vehicle, an overview image of a roof of a building from above the roof; presenting a suggested bounding polygon overlaid on the overview image to a user; determining a bounding polygon based on the suggested bounding polygon and user edits; based on the bounding polygon, determining a flight path including a sequence of poses of the unmanned aerial vehicle with respective fields of view at a fixed height that collectively cover the bounding polygon; fly the unmanned aerial vehicle to a sequence of scan poses with horizontal positions matching respective poses of the flight path and vertical positions determined to maintain a consistent distance above the roof; and scanning the roof from the sequence of scan poses to generate a three-dimensional map of the roof.Type: GrantFiled: August 18, 2022Date of Patent: April 9, 2024Assignee: Skydio, Inc.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Galton Bachrach, Adam Bry
-
Patent number: 11940795Abstract: In some examples, an unmanned aerial vehicle (UAV) may include one or more processors configured to capture, with one or more image sensors, and while the UAV is in flight, a plurality of images of a target. The one or more processors may compare a first image of the plurality of images with a second image of the plurality of images to determine a difference between a current frame of reference position for the UAV and an estimate of an actual frame of reference position for the UAV. In addition, the one or more processors may determine, based at least on the difference, and while the UAV is in flight, an update to a three-dimensional model of the target.Type: GrantFiled: January 20, 2023Date of Patent: March 26, 2024Assignee: SKYDIO, INC.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Patent number: 11829141Abstract: In some examples, an unmanned aerial vehicle (UAV) may identify a scan target. The UAV may navigate to two or more positions in relation to the scan target. The UAV may capture, using one or more image sensors of the UAV, two or more images of the scan target from different respective positions in relation to the scan target. For instance, the two or more respective positions may be selected by controlling a spacing between the two or more respective positions to enable determination of parallax disparity between a first image captured at a first position and a second image captured at a second position of the two or more positions. The UAV may determine a three-dimensional model corresponding to the scan target based in part on the determined parallax disparity of the two or more images including the first image and the second image.Type: GrantFiled: March 13, 2023Date of Patent: November 28, 2023Assignee: SKYDIO, INC.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Patent number: 11829142Abstract: In some examples, an unmanned aerial vehicle (UAV) may access a scan plan that includes a sequence of poses for the UAV to assume to capture images of a scan target using one or more image sensors. The UAV may check a next pose of the scan plan for obstructions. Responsive to detection of an obstruction, the UAV may determine a backup pose based at least on a field of view of the next pose. The UAV may control a propulsion mechanism to cause the UAV to fly to assume the backup pose. The UAV may capture, based on the backup pose and using the one or more image sensors, one or more images of the scan target.Type: GrantFiled: March 13, 2023Date of Patent: November 28, 2023Assignee: SKYDIO, INC.Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Publication number: 20230359205Abstract: In some examples, an image of a scan target is presented in a user interface on a display associated with a computing device. The user interface receives at least one user input indicating at least one point in a perimeter or edge of a volume for encompassing the scan target presented in the image of the scan target. A graphical representation of the volume in relation to the image of the scan target is generated in the user interface. Information for defining a location of at least a portion of the volume in three-dimensional space is sent to an unmanned aerial vehicle (UAV) to cause, at least in part, the UAV to scan at least a portion of the scan target corresponding to the volume.Type: ApplicationFiled: July 17, 2023Publication date: November 9, 2023Inventors: Peter HENRY, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Publication number: 20230324911Abstract: In some examples, an unmanned aerial vehicle (UAV) may include one or more processors configured to capture, with one or more image sensors, and while the UAV is in flight, a plurality of images of a target. The one or more processors may compare a first image of the plurality of images with a second image of the plurality of images to determine a difference between a current frame of reference position for the UAV and an estimate of an actual frame of reference position for the UAV. In addition, the one or more processors may determine, based at least on the difference, and while the UAV is in flight, an update to a three-dimensional model of the target.Type: ApplicationFiled: January 20, 2023Publication date: October 12, 2023Inventors: Peter HENRY, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Publication number: 20230280765Abstract: 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.Type: ApplicationFiled: January 27, 2023Publication date: September 7, 2023Inventors: Hayk Martirosyan, Aaron Christopher Miller, Nathan Leo Bucki, Bradley Matthew Solliday, Ryan David Kennedy, Jack Louis Zhu, Teodor Tomic, Yixiao Sun, Josiah Timothy VanderMey, Gareth Benoit Cross, Peter Benjamin Henry, Dominic William Pattison, Samuel Shenghung Wang, Kristen Marie Holtz, Harrison Zheng
-
Publication number: 20230244233Abstract: In some examples, an unmanned aerial vehicle (UAV) may identify a scan target. The UAV may navigate to two or more positions in relation to the scan target. The UAV may capture, using one or more image sensors of the UAV, two or more images of the scan target from different respective positions in relation to the scan target. For instance, the two or more respective positions may be selected by controlling a spacing between the two or more respective positions to enable determination of parallax disparity between a first image captured at a first position and a second image captured at a second position of the two or more positions. The UAV may determine a three-dimensional model corresponding to the scan target based in part on the determined parallax disparity of the two or more images including the first image and the second image.Type: ApplicationFiled: March 13, 2023Publication date: August 3, 2023Inventors: Peter Henry, Jack Zhu, Brian Richman, Harrison Zheng, Hayk Martirosyan, Matthew Donahoe, Abraham Bachrach, Adam Bry, Ryan David Kennedy, Himel Mondal, Quentin Allen Wah Yen Delepine
-
Publication number: 20230244750Abstract: A computer accesses a first symbolic expression for an output value as a function of an input value. The computer computes a first symbolic Jacobian of the input value with respect to an input tangent space from a symbolic Lie group definition. The computer computes a second symbolic Jacobian of the output value with respect to the input value. The computer computes a third symbolic Jacobian of an output tangent space with respect to the input value from the symbolic Lie group definition. The computer applies symbolic matrix multiplication to the first symbolic Jacobian, the second symbolic Jacobian, and the third symbolic 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.Type: ApplicationFiled: January 27, 2023Publication date: August 3, 2023Inventors: Hayk Martirosyan, Aaron Christopher Miller, Nathan Leo Bucki, Bradley Matthew Solliday, Ryan David Kennedy, Jack Louis Zhu, Teodor Tomic, Yixiao Sun, Josiah Timothy VanderMey, Gareth Benoit Cross, Peter Benjamin Henry, Dominic William Pattison, Samuel Shenghung Wang, Kristen Marie Holtz, Harrison Zheng