670 likes | 679 Views
Explore rank conditions for points and generalized multiple view geometry for improved vision-based guidance and control. Understand reconstruction algorithms and incidence relations in the context of multi-image analysis and sensor coordination.
E N D
UIUC Ph.D. Preliminary Exam Geometric Principles of Multiple Visual Sensors Kun Huang P.R.Kumar and Yi Ma Perception & Decision Laboratory Decision & Control Group, CSL Image Formation & Processing Group, Beckman Electrical & Computer Engineering Dept., UIUC http://black.csl.uiuc.edu/~kunh
INTRODUCTION GEOMETRY FOR MULTIPLE IMAGES:Rank condition for points GENERALIZED MULTIPLE VIEW GEOMETRY GEOMETRY FOR SINGLE IMAGES:With knowledge of scene VISION-BASED GUIDANCE AND CONTROL FUTURE WORK
INTRODUCTION GEOMETRY FOR MULTIPLE IMAGES: Rank condition for points GENERALIZED MULTIPLE VIEW GEOMETRY GEOMETRY FOR SINGLE IMAGES: With knowledge of scene VISION-BASED GUIDANCE AND CONTROL FUTURE WORK
INTRODUCTION – The Fundamental Problem Input: Corresponding “features” in multiple images. Output: Camera motion, camera calibration, object structure. Jana’s apartment Ignoring other pictorial cues: texture, shading, contour, etc.
INTRODUCTION – History of “Modern” Geometric Vision • Chasles, formulated the two-view seven-point problem,1855 • Hesse, solved the above problem, 1863 • Kruppa, solved the two-view five-point problem, 1913 • Longuet-Higgins, the two-view eight-point algorithm, 1981 • Huang and Faugeras, SVD based eight-point algorithm, 1989 • Liu and Huang, the three-view trilinear constraints, 1986 • Tomasi & Kanade, orthographic factorization, 1992 • Han & Kanade, factorization for dynamical scenes, 2001 • Sturm & Triggs, projective factorization, 1995 • Triggs, the four-view quadrilinear constraints, 1995 • Hartley & Zisserman, static scene multiple view constraints • Wolf & Shashua, multiple view constraints for dynamical scenes 2001 • Ma, Huang et. al., the multiple-view rank condition, 2001 • Huang, Fossum and Ma, generalized rank conditions, 2002 • Hong, Huang, Yang and Ma, symmetric rank conditions, 2002-2003
Rank Conditions INTRODUCTION – The Fundamental Problem curve & surface plane algorithm line projective algebra point affine geometry Euclidean perspective orthographic 2 views omni-directional 3 views 4 views m views
INTRODUCTION – A Little Notation The “hat” of a vector:
INTRODUCTION – Image of a Point Homogeneous coordinates of a 3-D point Homogeneous coordinates of its 2-D image Projection of a 3-D point to an image plane
INTRODUCTION GEOMETRY FOR MULTIPLE IMAGES:Rank condition for points GENERALIZED MULTIPLE VIEW GEOMETRY GEOMETRY FOR SINGLE IMAGES: With knowledge of scene VISION-BASED GUIDANCE AND CONTROL FUTURE WORK
GEOMETRY FOR MULITPLE IMAGES – Rank Constraints Two-view correspondence x1,x2 andT2 are coplanar
. . . GEOMETRY FOR MULITPLE IMAGES – Rank Constraints Corresponding point features
GEOMETRY FOR MULITPLE IMAGES – Rank Constraints Mp encodes exactly the 3-D information missing in one image.
For the jth point SVD Iteration For the ith image SVD GEOMETRY FOR MULITPLE IMAGES – Reconstruction Algorithms Given m images of n(>7) points
90.840 89.820 GEOMETRY FOR MULITPLE IMAGES – Reconstruction Algorithms
INTRODUCTION GEOMETRY FOR MULTIPLE IMAGES: Rank condition for points GENERALIZED MULTIPLE VIEW GEOMETRY GEOMETRY FOR SINGLE IMAGES: With knowledge of scene VISION-BASED GUIDANCE AND CONTROL FUTURE WORK
Before: Now: Time base GENERALIZED MULTIPLE VIEW GEOMETRY – Euclidean Embedding For a fixed camera, assume the point moves with constant acceleration:
Inclusion Singlehyperplane Restriction to a hyperplane Intersection GENERALIZED MULTIPLE VIEW GEOMETRY– Incidence Relations
GENERALIZED MULTIPLE VIEW GEOMETRY – Incidence Relations “Pre-images” are all incident at the corresponding features. . . .
Its image corresponds to a (p+1)- dimensional subspace in : The orthogonal complementary of s is a (k-p)-dimensional subsapce in , it is denoted as coimage : GENERALIZED MULTIPLE VIEW GEOMETRY – Image and Coimage Image and coimage of a p-dimensional hyperplane in
We define the multiple view matrix as: where ‘s and ‘s are images and coimages of hyperplanes. GENERALIZED MULTIPLE VIEW GEOMETRY – Generalized Matrix Projection from n-dimensional space to k-dimensional space:
GENERALIZED MULTIPLE VIEW GEOMETRY – Generalized Matrix Projection from n-dimensional space to k-dimensional space:
Projection from to Projection from to GENERALIZED MULTIPLE VIEW GEOMETRY – Rank Conditions Singlehyperplane
Projection from to Projection from to GENERALIZED MULTIPLE VIEW GEOMETRY – Rank Conditions Inclusion
Projection from to Projection from to GENERALIZED MULTIPLE VIEW GEOMETRY – Rank Conditions Intersection
Projection from to Restriction Appending one block to , all the above results hold. Projection from to Appending one block to , all the above results hold. GENERALIZED MULTIPLE VIEW GEOMETRY – Rank Conditions
A single rank condition expresses the incidence condition among the vertex and three edges in terms of their three images. GENERALIZED MULTIPLE VIEW GEOMETRY – Rank Conditions
GENERALIZED MULTIPLE VIEW GEOMETRY – Landing of UAV Rate: 10Hz Accuracy: 5cm, 4o Berkeley Aerial Robot (BEAR) Project
INTRODUCTION GEOMETRY FOR MULTIPLE IMAGES: Rank condition for points GENERALIZED MULTIPLE VIEW GEOMETRY GEOMETRY FOR SINGLE IMAGES:With knowledge of scene VISION-BASED GUIDANCE AND CONTROL FUTURE WORK
Perception from Single View Structure Hypothesis Testing 3D Locations Multiple View Geometry Feature Correspondences GEOMETRY FOR SINGLE IMAGE – Visual Perception Bottom-Up Approach Multiple Images
Structure & 3D Locations Multiple View Geometry Hypothesis Testing Features GEOMETRY FOR SINGLE IMAGE – Visual Perception Hypothesis-Testing Approach Image
GEOMETRY FOR SINGLE IMAGE – Symmetry Symmetry captures almost all “regularities”.
Symmetry on object (1) 2 (2) 1 (3) 4 (4) 3 Virtual camera-camera GEOMETRY FOR SINGLE IMAGE – Hidden Images in Each View Symmetry-based reconstruction = hidden image + rank condition
2 pairs of symmetric points 2(1) 1(2) Reflective homography 4(3) 3(4) Decompose H to obtain (R’, T’, N) and T0 Solve Lyapunov equation to obtain R0. GEOMETRY FOR SINGLE IMAGE – Reflective Homography
GEOMETRY FOR MULTIPLE IMAGE – With Scene Knowledge • 3-D reconstruction from multiple views with symmetry is • simple, accurate and robust!
? GEOMETRY FOR MULTIPLE IMAGE – Alignment of Different Objects
GEOMETRY FOR MULTIPLE IMAGE – Scale Correction For a point p on the intersection line
For any image x1 in the first view, its corresponding image in the second view is: GEOMETRY FOR MULTIPLE IMAGE – Scale Correction
GEOMETRY FOR MULTIPLE IMAGE – Alignment of Multiple Views Method is object-centered and baseline-independent.
GEOMETRY FOR MULTIPLE IMAGE – Curved Surface Inside the foyer of Beckman Institute
GEOMETRY FOR MULTIPLE IMAGE – Curved Surface Inside the foyer of Beckman Institute