This application further incorporates by reference U.S. patents:
U.S. Pat. No. 6,629,033 Issued Sep. 30, 2003 Titled—OPEN COMMUNICATION SYSTEM FOR REAL-TIME MULTIPROCESSOR APPLICATIONS;
U.S. Pat. No. 6,771,208 Issued Aug. 3, 2004 Titled—MULTI SENSOR SYSTEM;
U.S. Pat. No. 7,146,260 Issued Dec. 5, 2006 Titled—METHOD AND APPARATUS FOR DYNAMIC CONFIGURATION OF MULTIPROCESSOR SYSTEM;
U.S. Pat. No. 6,792,351 Issued Sep. 14, 2004 Titled—METHOD AND APPARATUS FOR MULTI-VEHICLE COMMUNICATION;
U.S. Pat. No. 6,778,073 Issued Aug. 17, 2004 Titled—METHOD AND APPARATUS FOR MANAGING AUDIO DEVICES;
U.S. Pat. No. 6,615,137 Issued Sep. 2, 2003 Titled—METHOD AND APPARATUS FOR TRANSFERRING INFORMATION BETWEEN VEHICLES;
U.S. Pat. No. 7,178,049 Issued Feb. 13, 2007 Titled—METHOD FOR MULTI-TASKING MULTIPLE JAVA VIRTUAL MACHINES;
U.S. Pat. No. 7,337,650 Issued Mar. 4, 2008 Titled—SYSTEM AND METHOD FOR ALIGNING SENSORS ON A VEHICLE.
Contained herein is material that is subject to copyright protection. The copyright owner has no objection to the facsimile reproduction by anyone of the patent document or the patent disclosure, as it appears in the United States Patent and Trademark Office patent file or records, but otherwise reserves all rights to the copyright whatsoever. The following notice applies to the software, screenshots and data as described below and in the drawings hereto and All Rights Reserved.
This invention relates generally to statistical modeling and analysis of automotive safety systems, sensors and application requirements for both performance and cost tradeoffs. This invention relates specifically to the process of designing, building, testing and analyzing system data in a hierarchy of statistical models, driven by the need to implement advanced safety features for the transportation industry.
Next generation automotive systems will include numerous electronic systems such as; passive safety systems for airbag deployment and anti-skid braking features; active safety for collision warning and collision avoidance features; and convenience features for Blind Spot Detection (BSD) and Adaptive Cruise Control (ACC). Today the transportation industry is rapidly moving toward solutions that support and enable these systems and new features with the ultimate goal of profitably and developing a more survivable vehicle at costs their customers are willing to pay.
These new systems will require information about the environment, targets in the environment and our relationship to them. This information will be generated from multiple sources to include data from a new class of sensor, termed non-contact sensor, and include non-contact sensors like radar, optical, laser, ultrasonic, etc. These non-contact sensors will generate data about the environment including range measurements and target classification. These systems are similar to those found on advanced tactical fighter aircraft today.
The process of manufacturing a vehicle is not much different today then is was 50 years ago; features are specified for a desired model and year; parts designed; competitively purchased; assembled; and shipped as a complete vehicle. If another feature is desired, it is integrated into the design and bolted on as a complete feature; this approach is referred to as “federated” systems. A key tenant to low cost systems in the future will be a deliberate movement away from federated features and systems, to fully integrated systems design and integrated systems.
Now with a focus on active safety systems, the sensors required to support the features identified above are to some extent common; an optical sensor that supports one optical application could be used for a second optical application; two sensors could be used for one application. In either case, simply sharing data from sensors or other sources to improve knowledge of the environment is incorrectly termed “sensor-fusion” or “multi sensor-fusion” by the transportation industry suppliers.
Those skilled in the art of state estimation, robotics, advanced defense avionics understand academically that sensor-fusion is the art of combining sensory data or data derived from disparate sources such that the resulting information is in some sense “better” than would be possible when these sources were used individually. This process is predicated on the covariance (or the measure of how much two variables vary together) of non-independent sources. The term “better” in the case above can mean more accurate, more complete, more dependable, or refer to the result of an emerging view or state estimation.
The data sources for a fusion process are not specified to originate from identical sources or sensors which may or may not be spatially and temporally aligned. Further one can distinguish direct fusion, indirect fusion and fusion of the outputs of the former two. Direct fusion is the fusion of sensor data from a set of heterogeneous or homogeneous sensors, soft sensors, and history values of sensor data, while indirect fusion uses information sources like a prior knowledge about the environment and human input. Sensor fusion is also known as “multi-sensor data fusion” and is a subset of information fusion through an implementation of the probability theory.
Probability theory is the mathematical study of phenomena characterized by randomness or uncertainty. More precisely, probability is used for modeling situations when the result of a measurement, realized under the same circumstances, produces different results.
Mathematicians and actuaries think of probabilities as numbers in the closed interval from 0 to 1 assigned to “events” whose occurrence or failure to occur is random. Two crucial concepts in the theory of probability are those of a random variable and of the probability distribution of a random variable.
Implementing the features described above with affordable instruments requires reliable real-time estimates of system state. Unfortunately, the complete state is not always observable. State Estimation takes all the data obtained and uses it to determine the underlying behavior of the system at any point in time. It includes fault detection, isolation and continuous system state estimation.
There are two parts to state estimation: modeling and algorithms. The overall approach is to use a model to predict the behavior of the system in a particular state, and then compare that behavior with the actual measurements from the instruments to determine which state or states is the most likely to produce the observed system behavior.
This is not well understood or currently implemented in the transportation industry; the approach understood and practiced is logical decisions in linear and deterministic systems. If use cases require higher confidences in measurements, instrument specifications are tightened resulting in the undesired effect of cost and schedule increases. The environment we live and operate in is neither linear nor deterministic; use cases are infinite; and the perverse variability of the targets and potential maneuvers cannot be modeled. The variability of the problem identified above includes aspects other than just spatial (i.e. range and bearing to a target); temporal relationships are part of the fundamental intellectual structure (together with space and number) within which events must be sequenced, quantify the duration of events, quantify the intervals between them, and compare the kinematics of objects.
The automotive industry today implements features in such a way that all aspects are contained within the system (federated) and therefore reasonably controlled. Sharing information like target reports with other features is anticipated and desired; however measurements reported with respect to the integrated system will be historical in nature and received asynchronously. Timing errors can induce more error in the system than a bad measurement. These and other issues can be addressed with the introduction of a suite of modeling tools based on re-thinking the approach of federated systems and focusing on an integrated systems solution based on state estimation.
Central to the successful implementation of the advanced safety systems discussed above is ensuring ability for the system to cope with and recover from emergency situations. If one or more emergency conditions arise, systems of the future must quickly initiate and successfully execute procedures to mitigate the condition and then recover; these procedures must be performed under tight timing constraints, e.g., pre-crash systems.
This patent describes a system and methods necessary to implement a design methodology that will facilitate and support advanced safety systems design, test, verification, and validation; with emphasis on reliable fault tolerant operation. The implementation of this system and methods is termed “Algorithm Prototyping Analysis and Test” or APAT.
As it stands today, there is much art published documenting the research and development in the area of procedure analysis and design. However, there are no systematic and rigorous methodologies for designing procedures to be used in advanced safety systems for the transportation industry. This is currently viewed as a serious shortcoming, since these high-risk and complex systems employ procedures and action sequences that can and do impact life or death results.
In the future it will be the responsibility of the onboard computers to automatically initiate and execute procedures and recovery sequences. Therefore modeling, analysis, verification, and design of these highly critical methods, procedures and recovery sequences are required and are thus the focus of this patent.
In a discussion of Prior Art, U.S. Pat. No. 7,006,950, Statistical Modeling and Performance Characterization of a Real-time Dual Camera Surveillance System, Greiffenhagen, et al.; the invention relates to a method for visually detecting and tracking an object through a space. The method derives statistical models for errors, including quantifying an indexing step performed by an indexing module, and tuning system parameters. Further the method applies a likelihood model for candidate hypothesis evaluation and object parameters estimation for locating the object. This invention relates specifically to computer vision systems, more particularly to a system having computationally efficient real-time object detection, tracking, and zooming capabilities. The need arises for methods of modeling more than 1 data source against features that require an infinitely variable combination of instruments and measurements.
In a discussion of Prior Art, U.S. Pat. No. 6,028,548, Vehicle Collision Radar with Randomized FSK Waveform, Farmer; describes an automotive radar for improved immunity to jamming from other automotive radars utilizing common modeling methods such as Auto Regressive Modeling (ARMA) and Minimum Variance Spectral Estimation which are just two such methods that would be applicable. It is recognized in the art that modeling sequences implemented as tools or embedded systems will yield desired results. As with U.S. Pat. No. 7,006,950, the modeling sequences identified are based on the improvement of federated devices.
In a discussion of Prior Art, U.S. Pat. No. 7,079,993, Automated Generator of Optimal Models for the Statistical Analysis of Data, Stephenson, et al; describes an automated process for producing accurate statistical models from sample data tables designed to solve for optimal parameters of each statistical model considered, computes test statistics and degrees of freedom in the model, and uses these test statistics and degrees of freedom to establish a complete ordering of the statistical models. Stephenson further describes how the process arrives at a statistical model that is highest in the ordering and is thus deemed most suitable to model the sample data table. These techniques are basically described in the general art of data or information fusion and modeling. It would not be obvious that general and well published statistical techniques should be applied to the art of automotive safety systems design.
Therefore, a need exists for a system and method for modeling sensor system inputs in a synthetic environment against truth tables to achieve optimal performance and cost parameters for the design and implementation of advanced automotive safety systems.
Although the best understanding of the present invention will be had from a through reading of the specification and claims presented below, this summary is provided in order to acquaint the reader with some of the new and useful features of the present invention. Of course, this summary is not intended to be a complete litany of all of the features of the present invention, nor is it intended in any way to limit the breadth of the claims, which are presented at the end of the detailed description of this application.
In the preferred embodiment, a system and methods are disclosed for providing an Algorithm Prototyping, Analysis and Test (APAT) through an integrated framework for dynamic data modeling and application development. The system provides a data model that first extends the capabilities of the physical data model and then translates, gates, optimizes, fuses, filters and manages the physical representation of the logical model into a state estimation of the situation around the vehicle; this is known as Situation Awareness (SA); the implementation of this core is called SACore (Situation Awareness Core). And because the application framework is integrated with SACore, once the user configures the data model, the features and benefits of the application framework become automatically available to the developer as part of the decision process for cost-performance optimization.
The data-modeling framework of APAT enables a user to define a data model or version of SACore by using a series of graphical user interfaces (GUI). APAT and SACore provide functionality that physical databases cannot provide by dynamically translating the asynchronous data generated into a corresponding state estimation. Users can utilize the GUI to modify the data model by adjusting expected error, rate or core operation, and the system output is automatically adjusted to accommodate the changes. The APAT system and methods shields both the application developer and the sensor supplier from the complexities, limitations and costs of single sensor systems.
Therefore methods need to be developed to allow automotive system designers the ability to characterize numerous sensor types and sensor suppliers within a specific type as to the actual capability of the sensor in terms of measured variances in the reports. Second the methods need to allow the designers the freedom to place the sensor on the vehicle with other sensors of like type or different types; these may have coincident, mostly coincident, or non-coincident fields of view. Further these methods need to allow the designer the ability to specify tolerances of the dynamic system, such as target maneuver expectations. It would be desirable to the system designer if methods could be presented that allowed all system variables to be extracted into a single file allowing the designer the flexibility of changing any variable in a complex system of variables and structured filters without the tedious need of hand coding the changes. In an n-scalable system, wherein the number of sensors, and number of sensor reports are variable, the resulting identity matrix or unit matrix of size n is represented by the n-by-n square matrix, where n-by-n matrices are used to represent linear transformations from an n-dimensional vector space to itself. Defining and coding a 2-by 2 square matrix then changing the square matrix to a 3-by-3 or n-by-n is tedious and probably beyond the skill set of the automotive system designer, therefore methods are presented as the objects of the invention that allow rapid prototyping and auto-code generation for the development, modeling, implementation and testing of advanced automotive safety systems.
It is an objective of the invention to describe methods for rapidly defining or redefining an automotive multi-sensor data fusion system comprising at least one of a vehicle, sensors, a system model of expected behaviors of targets with consideration for system variables, system error and measurement tolerances. The underlying system is based on an n-scalable, asynchronous, measurement oriented, measurement to track, variable structure, interacting multiple model estimation filter, utilizing a nearest neighbor joint probabilistic data association filter using optimal routines, with two dynamic switchable data association filters in place of the optimal JPDA using sub-optimal routines including one of cheap JPDA and sub-optimal JPDA; the system is implemented with consideration for out-of-sequence measurements, a track management system and a reporting system based on polar coordinates and a method for executing a debiased conversion, translation and rotation into a uniform Cartesian Coordinate system.
Another object of the invention is to define the modeling framework including identifying the system variables by group, wherein the first group comprises sensor parameters and includes such parameters as the number of sensors in the system; the relationship of the sensor frames to the vehicle reference; the expected report limits; report outputs; 1-sigma covariance terms.
Another object of the invention is to define the second group of modeling variables as the target maneuver accelerations that will be acceptable in measurement reports, wherein the modeling environment is at least two dimensional, and wherein at least three models are anticipated and they comprise near constant velocity, cross range acceleration, and down range acceleration, and the values are in terms of expected acceleration g's of maneuver and these accelerations are introduced into the filter structure as noise values.
Another object of the invention is to describe a method for reducing processing complexity, when desired, by setting the number of filters implemented on any pairings of sensors, by identifying number of possibilities, with subsequent values set as noise for each option chosen.
Another object of the invention is to describe the filter setup comprising at least one of housekeeping in nature; values set that define the function of the model values that set the starting uncertainty covariance terms expected from each sensor with respect to the dimensional states identified which further defined down range and cross range values for position, acceleration and velocity.
Other features of the present invention will be apparent from the accompanying drawings and from the detailed description that follows.
Aspects and applications of the invention presented here are described below in the drawings and detailed description of the invention. Unless specifically noted, it is intended that the words and phrases in the specification and the claims be given their plain, ordinary, and accustomed meaning to those of ordinary skill in the applicable arts. The inventors are fully aware that they can be their own lexicographers if desired. The inventors expressly elect, as their own lexicographers, to use only the plain and ordinary meaning of terms in the specification and claims unless they clearly state otherwise and then further, expressly set forth the “special” definition of that term and explain how it differs from the plain and ordinary meaning. Absent such clear statements of intent to apply a “special” definition, it is the inventors' intent and desire that the simple, plain and ordinary meaning to the terms be applied to the interpretation of the specification and claims.
The inventors are also aware of the normal precepts of English grammar. Thus, if a noun, term, or phrase is intended to be further characterized, specified, or narrowed in some way, then such noun, term, or phrase will expressly include additional adjectives, descriptive terms, or other modifiers in accordance with the normal precepts of English grammar. Absent the use of such adjectives, descriptive terms, or modifiers, it is the intent that such nouns, terms, or phrases be given their plain, and ordinary English meaning to those skilled in the applicable arts as set forth above.
Further, the inventors are fully informed of the standards and application of the special provisions of 35 U.S.C. §112, 6. Thus, the use of the words “function,” “means” or “step” in the Detailed Description or Description of the Drawings or claims is not intended to somehow indicate a desire to invoke the special provisions of 35 U.S.C. §112, 6, to define the invention. To the contrary, if the provisions of 35 U.S.C. §112, 6 are sought to be invoked to define the inventions, the claims will specifically and expressly state the exact phrases “means for” or “step for, and will also recite the word “function” (i.e., will state “means for performing the function of [insert function]”), without also reciting in such phrases any structure, material or act in support of the function. Thus, even when the claims recite a “means for performing the function of . . . ” or “step for performing the function of . . . ”, if the claims also recite any structure, material or acts in support of that means or step, or that perform the recited function, then it is the clear intention of the inventors not to invoke the provisions of 35 U.S.C. §112, 6. Moreover, even if the provisions of 35 U.S.C. §112, 6 are invoked to define the claimed inventions, it is intended that the inventions not be limited only to the specific structure, material or acts that are described in the preferred embodiments, but in addition, include any and all structures, materials or acts that perform the claimed function as described in alternative embodiments or forms of the invention, or that are well known present or later-developed, equivalent structures, material or acts for performing the claimed function.
A more complete understanding of the present invention may be derived by referring to the detailed description when considered in connection with the following illustrative figures. In the figures, like-reference numbers refer to like-elements or acts throughout the figures.
In the following description, and for the purposes of explanation, numerous specific details are set forth in order to provide a thorough understanding of the various aspects of the invention. It will be understood, however, by those skilled in the relevant arts, that the present invention may be practiced without these specific details. In other instances, known structures and devices are shown or discussed more generally in order to avoid obscuring the invention. In many cases, a description of the operation is sufficient to enable one to implement the various forms of the invention, particularly when the operation is to be implemented in software. It should be noted that there are many different and alternative configurations, devices and technologies to which the disclosed inventions may be applied. The full scope of the inventions is not limited to the examples that are described below.
In one application of the invention, a system and methods are presented to model fully integrated systems in an Algorithm Prototyping and Analysis and Test tool, hereafter referred to as APAT
With respect now to
Variables that can be set as fusion global parameters as referenced in the text below as <n>:
Now with respect to the variables; sensor parameters above are those values (variables) that represent the desired sensor system to be modeled. They include such parameters as the number of sensors in the system <1>; the relationship of the sensor frames to the vehicle reference plane <2-9> for the subsequent translation and rotation of axes; the expected report limits in terms of down range (meters) and cross range (degrees) <10-15>; report outputs from the sensor interface in terms of the number of tracks expected to be report for each sensor <16-18>; 1-sigma (mean of tested actual population with 1 standard deviation) covariance terms for cross range and down range error and linear error expectations <19-25>. The sensor values set in <1-25> can be adjusted during the modeling process for performance optimization and analysis of the output.
As an example <19> sets the sensor 1 covariance term of angular accuracy as ±2° tested and measure over the range of the sensor, the value can be opened to an expected error of ±3° and run again and compared to the first; the value can be closed to an expected error of ±10 and run again and compared to the other two; or the value can be opened to an expected error of ±3° of sensor 1 and closed on sensor 2 <20> to an expected error of ±0.1° and run again and compared. This ability allows the user to choose and model hardware and sensor pairing scenarios against cost and capability at an integrated systems level, this will be discussed further below in the Performance Analysis section.
To those skilled in the art of targeting it is well known that it is impossible to model the absolute expected error of a maneuvering target, therefore an Interacting Multiple Model is implemented as discussed below. As modeling variables that can be set as inputs to the model run are the target maneuver accelerations willing to be accepted in measurement reports. A two dimensional environment is modeled, therefore anticipate three models, near constant velocity; cross range acceleration; and down range acceleration <26-40>. These q values are in terms of g's maneuver and are introduced into the IMM filter structure as noise values. Further, it is desired to not always model the most complex models, therefore the number of filters wished to be implemented can be set on any pairings of sensors, as an example <26, 29, 34> identify the three possibilities, with subsequent values set as noise for each option chosen. For the discussion below, the latter is selected to be described in detail as it represents the most complex case.
Now with respect to the SetFusionGlobals above and the SACore filter setup; the filter setup is identified as items <41-94>; some items are housekeeping in nature <41,42>; items <43-58> are values set as a function of the model described below. Items <59-94 set the starting uncertainty covariance terms expected from each sensor with respect the 2 dimensional states identified in <52> 6 which defined down range and cross range values for position (2), acceleration (2) and velocity (2). As example, <59, 63, 67> set the expected error of the values of sensor 1 in terms of down range/cross range (x/y) position, velocity and acceleration measurements, the cases are:
The APAT/SACore state estimation system is based on efficient recursive filter techniques which estimate the state of a dynamic system from a series of incomplete and noisy measurements. As time progresses, a measurement is made and reported. This measurement must be within the expectation of the next measurement. Therefore, the Kalman filter is based on linear dynamical systems discretized in the time domain. They are modeled on a Markov chain built on linear operators perturbed by Gaussian noise. The state of the system is represented as a vector of real numbers. At each discrete time increment, a linear operator is applied to the state to generate the new state, with some noise mixed in, and optionally some information from the controls on the system if they are known. Then, another linear operator mixed with more noise generates the visible outputs from the hidden state. The Kalman filter may be regarded as analogous to the hidden Markov model, with the key difference that the hidden state variables are continuous (as opposed to being discrete in the hidden Markov model). Additionally, the hidden Markov model can represent an arbitrary distribution for the next value of the state variables, in contrast to the Gaussian noise model that is used for the Kalman filter. There is a strong duality between the equations of the Kalman Filter and those of the hidden Markov model. A review of this and other models is given in Roweis and Ghahramani (1999).
In order to use the Kalman filter to estimate the internal state of a process given only a sequence of noisy observations, one must model the process in accordance with the framework of the Kalman filter.
The scenario blocks (60, 70) represent the setup of controlled scenarios for either synthetic or controlled target measurements. These scenarios and trajectories represent absolute (80) or controlled (90) “truth” with respect to position, velocity and acceleration of the host vehicle and targets observed. Scenarios can include any kinematic scenario such as over taking targets, meeting targets, observing target behavior to include spawning and merging targets, etc. Each of the scenarios can further include conditions such as degraded environment, degraded sensor operation, clutter, skipped reports, or any host of non-linear or un-expected errors that can and do occur in the environment. The sensor output blocks
The instrument measurements are passed to the tracking and data fusion algorithms, which will attempt to produce tracks for each of the targets. Each time a track is altered (update, rate aid, track deletion etc.) it sends a track message to the performance analysis routines, which are used to compile statistics on the performance of the tracking algorithms. This is achieved by comparing the track messages with the target's true position, speed etc.
The SACore is the tracking and fusion filter for integrating multi-sensor data to improve the track file of target vehicles. The problem of accurate reporting of measurements on a target is made more difficult because of the presence of clutter and the fact that the target can maneuver with no prior information. The tracking and sensor data fusion filter consists of four main parts:
Interacting Multiple Model (IMM) Estimation Filter:
To estimate the target state, position, velocity and possibly acceleration, a Kalman Filter can be used. The problem is, to accurately estimate the state, the model in the filter must accurately match the maneuvering of the target. Since the movement of the target is not known ahead of time, an accurate model cannot be designed so errors in the state estimation will occur. Adding process noise to model the target maneuvers or using a maneuver detector to adapt the filter has been used in the art, but detection delays and large estimation errors during maneuvers are still a problem. It is generally accepted that the Interacting Multiple Model (IMM) estimator provides superior tracking performance compared to a single Kalman Filter.
The IMM is based on using several models in parallel to estimate the maneuvering target's states. Each Kalman Filter, or another estimation filter, uses a different model for each maneuver, one models a constant velocity target, another models an acceleration in the longitudinal axis while another models an acceleration in the lateral axis. Switching between these models during each sample period is determined probabilistically. Unlike maneuver detection systems where only one filter model is used at a time, the IMM uses all filters. The overall state estimate output is a weighted combination of the estimates from the individual filters. The weighting is based on the likelihood that a filter model is the correct maneuvering target model.
The IMM estimator is a state estimation algorithm that uses Markovian switching coefficients. A system with these coefficients is described by r models, M1, M2, . . . , Mr, and given probabilities of switching between these models. The event that model j (Mj) is in effect during the sampling period ending at time tk, (tk−1, tk] will be denoted by Mj(k). The dynamics and measurement for a linear system are given by
x(k)=Φj(k,k−1)x(k−1)+Gj(k,k−1)wj(k−1), (1)
and
z(k)=Hj(k)x(k)+νj(k), (2)
where x(k) is the system state at time tk, z(k) is the measurement vector at time tk, Φj(k,k−1) is the state-transition matrix from time tk−1 to time tk for Mj(k), Gj(k,k−1) is the noise input matrix, and Hj(k) is the observation matrix for Mj(k). The process noise vector wj(k−1) and the measurement noise vector vj(k) are mutually uncorrelated zero-mean white Gaussian processes with covariance matrices Qj(k−1) and Rj(k) respectively. The initial conditions for the system state under each model j are Gaussian random variables with mean
The model switching is governed by a finite-state Markov chain according to the probability πij=Pr{Mj(k)|Mi(k−1)} of switching from Mi(k−1) to Mj(k). The model switching probabilities, πij, are assumed known and an example is
A block diagram of the IMM estimator with only two models, for simplicity, is shown in
The inputs to the IMM estimator are {circumflex over (x)}1(k−1|k−1), {circumflex over (x)}2(k−1|k−1), P1(k−1|k−1), P2(k−1|k−1), and μi|j(k−1|k−1), all from the sampling period ending at tk−1. Where {circumflex over (x)}1(k−1|k−1) is the state estimate from filter 1 at time tk−1 using measurements from time tk−1 and P1(k−1|k−1) is the corresponding state covariance matrix. Each of the filters use a different mixture of {circumflex over (x)}1(k−1|k−1) and {circumflex over (x)}2(k−1|k−1) for their input, For r models, this mixing allows the model-conditioned estimates in the current cycle to be computed using r filters rather than r2 filters, which greatly decreases the computational burden. The inputs to the filters, {circumflex over (x)}02(k−1|k−1), {circumflex over (x)}02(k−1|k−1), and the corresponding covariance matrices are computed in the Interaction (Mixing) block.
For the filter matched to Mj(k), the inputs are
where the conditional model probability is
and the predicted model probability is
Using the measurements, z(k), for the filter matched to Mj(k), the updates are computed using the familiar Kalman Filter equations
{circumflex over (x)}
j(k|k−1)=Φj(k,k−1){circumflex over (x)}0j(k|k−1), (8)
P
j(k|k−1)=Φj(k,k−1)P0j(k|k−1)[Φj(k,k−1)]T+Gj(k,k−1)Qj(k−1)[Gj(k,k−1)]T, (9)
v
j(k)=z(k)−Hj(k){circumflex over (x)}j(k|k−1), (10)
S
j(k)=Hj(k)Pj(k|k−1)[Hj(k)]T+Rj(k), (11)
K
j(k)=Pj(k|k−1)[Hj(k)]T[Sj(k)]−1, (12)
{circumflex over (x)}
j(k|k)={circumflex over (x)}j(k|k−1)+Kj(k)vj(k), (13)
P
j(k|k)=[I−Kj(k)Hj(k)]Pj(k|k−1), (14)
where {circumflex over (x)}j(k|k−1) is the predicted state estimate under Mj(k), Pj(k|k−1) is the corresponding prediction covariance, vj(k) is the residual, Sj(k) is the residual covariance matrix, Kj(k) is the Kalman gain matrix, {circumflex over (x)}j(k|k) is the updated state estimate under Mj(k), and Pj(k|k) is the updated covariance matrix.
The likelihood of the filter matched to Mj(k) is defined by Λj(k)=f[z(k)|Mj(k),Z1k−1], where f[•|•] denotes a conditional density. Using the assumption of Gaussian statistics, the filter residual and the residual covariance, the likelihood is
The probability for Mj(k) is
where the normalization factor c is
These computations are performed in the Model Probability Update block.
Finally the combined state estimate {circumflex over (x)}(k|k) and the corresponding state error covariance for the IMM are given by
The final state estimate, i(k|k), is the best estimate of the target state and P(k|k) is the error covariance matrix for this optimal state estimate.
Nearest Neighbor Joint Probabilistic Data Association Filter:
This section deals with the problem of taking a target measurement from a sensor and either associating it to an existing track, possibly rejecting the measurement because it is clutter, or sending it to the track management process to start a new track.
The process is to first define a validation region for each track and to identify all sensor measurements that fall within that region. For the two-dimensional case the validation region for a track is constructed around the predicted measurement for the track. Using the previous track state, the predicted measurement is computed by propagating this state to the time of the next measurement. This predicted measurement is the center of the validation region. If the measurement falls within this validation region, then it is considered as a candidate for association to the track; otherwise, it is rejected.
The predicted measurement {circumflex over (z)}(k|k−1) is
{circumflex over (z)}(k|k−1)=H(k){circumflex over (x)}(k|k−1), (20)
where
{circumflex over (x)}(k|k−1)=Φ(k,k−1){circumflex over (x)}(k−1|k−1). (21)
The residual, v(k), is the difference between the actual measurement, z(k), and the predicted measurement and is
v(k)=z(k)−{circumflex over (z)}(k|k−1)=z(k)−H(k){circumflex over (x)}(k|k−1). (22)
The residual covariance S(k) is
S(k)=H(k)P(k|k−1)HT(k)+R(k). (23)
The residual statistics are Gaussian with zero-mean and the M-dimensional residual density f(v(k)) is
where the normalized (squared) distance d2 is defined as
d
2
=v
T(k)S−1(k)v(k). (25)
The normalized distance d2 is a chi-square variant, χM2, with M degrees of freedom.
A measurement will be in the validation region if
[ρ−{circumflex over (z)}(k|k−1)]TS−1(k)[ρ−{circumflex over (z)}(k|k−1)]≦g2, (26)
where g is the threshold that insures that the measurement falls in the validation region with a probability of PG. The threshold g is referred to as the number of sigmas or standard deviations for the gate, and g is determined from a χM2 table.
To save computation time, a coarse gating procedure of testing individual components of the residual vector may be used using rectangular gates. That is, a measurement z(k) falls inside the coarse gate region provided that
|zi(k)−{circumflex over (z)}i(k|k−1)≦g√{square root over (Sii(k))}, (27)
for each i=1, . . . , M, where zi(k) and {circumflex over (z)}i(k|k−1) are the ith components of z(k) and {circumflex over (z)}(k|k−1), respectively, and Sii(k) is the ith variance in the residual covariance matrix. The rectangular gating eliminates unlikely measurements-to-track pairing and the ellipsoidal gating is used for the measurements that fall in the rectangular gates.
The data association filter that is used for V2.1 is the nearest-neighbor joint probabilistic data association filter (NNJPDAF). To help explain what the NNJPDAF is, the probabilistic data association filter (PDAF) for the single target case will be discussed first. Next the more complex joint probabilistic data association filter (JPDAF), which is used for multiple targets, will be discussed, and then the nearest-neighbor JPDA.
The PDAF is a Bayesian approach that computes the probability that each measurement in a track's validation region is the correct measurement and the probability that none of the validated measurements is the correct measurement. The non-parametric version of the filter will be used since it does not require prior knowledge of the special density of the clutter.
For m measurements falling inside the validation region at time tk, the probability that the jth validated measurement zj(k) is target originated, denoted βj, is
while the probability that none of the measurements is target originated, denoted by β0, is
The term ej is given by
e
j=exp{−½vjT(k)S−1vj(k)}, (30)
where vj(k) is the residual for the jth validated measurement and S(k) is the residual covariance for the measurements. The term b is given by
where V is the hypervolume of the validated region at tk, PD is the detection probability (assumed known), and PG is the probability of the target originated measurement falling inside the validated region (usually set to at least 0.95). The term b accounts for the possibility that none of the validated measurements is target originated and that the target-originated measurement was not detected, or fell outside of the validated region.
The state in the PDAF is updated using all of the measurements and the combined residual v(k) as follows:
and vj(k) is the residual for the jth validated measurement,
v
j(k)=zj(k)−H(k){circumflex over (x)}(k|k−1). (34)
The updated covariance is given by
P(k|k)=β0P(k|k−1)+[1−β0]PC(k)+{tilde over (P)}(k), (35)
where
P
C(k)=P(k|k−1)−K(k)S(k)KT(k), (36)
and
To extend to the multi-target case, the JPDAF is used. First all feasible joint association events θ in the current scan are determined. A feasible event is a set of non-conflicting validated measurement-to-track pairings in which a measurement can originate from only one source, and at most one measurement can originate from a target. Any number of measurements can originate from clutter. Table 1 lists the eight feasible joint association events θ for
The joint association event probabilities are given by
where the normalized constant c is
where
and V is the volume of the surveillance region.
The marginal probability of target t (1=0, 1, . . . , N) originating the measurement j, denoted βij, is obtained by summing over all feasible joint events θ in which the single event θtj occurs, and is given by
Once the marginal association probabilities βtj are computed, they are used in equations (32) to (37) to update the state for target 1.
For the above example, the normalized constant c is the sum of the eight γ's in Table 1 and is given by
c=P
D
2(Λ11Λ22+Λ11Λ23+Λ12Λ23)V+2!PD(1−PD)(Λ11+Λ12+Λ22+Λ23)/V2+3!(1−PD)2/V3 (42)
The eight joint association probabilities Pr({θ|Zik} are computed by dividing the γ's in Table 1 by c. The marginal association probabilities, βtj's are then computed using equation (41). As an example, the marginal association probabilities for T1 are
where β13=0 because θ13 does not occur in any of the eight joint events θ; that is, M3 is not validated by T1 in
β10=Pr{θ=1|Z1k}+Pr={θ=4|Z1k}+Pr{θ=5|Z1k}. (46)
Since Σjβtj=ΣφPr{θ|Z1k}=1 for each target t, β10 can be computed more easily using
In particular, Br0 is given by
β10=1−(β11+β12+β13). (48)
The marginal association probabilities for target T2 can be found in a similar manner.
The technique described above to compute the marginal association probabilities, βtj's, can only be used when there are few tracks and/or measurements because of the large amount of computation time required. With large numbers of tracks and measurements, a suboptimal method must be used. Two techniques are described in [1]. They are the Cheap JPDA and the Suboptimal JPDA and both techniques, along with the optimal JPDA, are programmed into this filter version. The choice as to which technique to use can be determined at the beginning of the filter run.
The cheap JPDA was developed by Fitzgerald [4]. The probability βtj of track t associating with measurement j is approximated by
The quantity T1 is the sum of all likelihoods for target t, which is given by
and Mj, which is the sum of all likelihoods for measurement j, is
The quantity B is a bias to account for clutter and for non-unity probability of detection. Also
For the example in
M
1=Λ11 T1=Λ11+Λ12
M
2=Λ12+Λ22 T2=Λ22+Λ23
M
3=Λ23 (53)
The association probabilities for T1 are
The association probabilities for T2 can be found in a similar manner. Fitzgerald stated that when clutter was significant, a fixed value of B was adequate. Otherwise he found that a value of B=0 gave satisfactory performance.
Although the cheap JPDA is easy to implement and requires much less computational resources, Roecker and Phillis [2] documented some defects in the cheap JPDA. For example, the association probabilities for a given track may not add up to 1. They showed that this may cause a target track to be drawn off by a nearby target track or a nearby false track. To remove some of these defects, the Suboptimal JPDA was developed by Roecker and Phillis [2].
The concept of partial joint events were introduced by Roecker and Phillis to develop the suboptimal JPDA. A partial joint event considers at most two track-to-measurement pairings. That is, a partial joint event consists of(at most) two single events. Also, it assumes the probability of detection for each track is near unity so that all of the targets are detected and all of the joint events have the same number of measurements assigned to clutter. The computational requirement is more than the cheap JPDA, but less than the optimal JPDA.
The association probabilities in the suboptimal JPDA are computed using the following steps:
where B is a bias to account for clutter density and
D
tj=Λtj if Lt=φ
D
ij=ΛijΣSεL
where φ is the empty set, and
The probability of no measurements originating from track t is
For the example in
Equation (60) is then used to compute the Dtj's:
Finally, (59) and (62) are used to compute the probabilities for T1:
To reduce the number of computations required, the nearest-neighbor JPDAF is used instead of the optimal JPDAF. Instead of using equations (32) to (37) to compute the state estimate and covariance matrix, the NNJPDAF looks for the maximum value of βtj for each measurement-track pair. The corresponding measurement is then used to update the corresponding track. If the maximum βtj corresponds to track 0, which is clutter, no track is updated. When a track is updated by a measurement, both the track and measurement are no longer used. The procedure is repeated until all associations have been made.
Out-of-Sequence-Measurements (OOSM):
It is very possible that when the measurements are received by the filter from multiple sensors that the measurements do not arrive in the proper time sequence. One reason that this may occur is that the time delay in getting the data from different sensors is not the same. Another reason, and it is probably the major one, is that if the sensor process time, time from obtaining the raw data to the time the sensor data is transmitted, is subtracted from the sensor time, lower frequency sensors will appear out of sequence. Subtracting the process time may be necessary to get the actual time the measurement is valid.
The above techniques are valid for measurements that are in sequence. Different techniques can be used to handle the OOSM. One is to hold the sensor measurements in a buffer and when the OOSM arrives then process it and the stored measurements in the proper sequence. The problem with this technique is that the current track data can get old and is not properly updated until the OOSM arrives. Another technique is to run the filter as if there are no OOSMs which will keep the track data current and then if an OOSM arrives, go back to the OOSM's time and reprocess the filter tracks from this time forward using the OOSM and any measurements after the OOSM. The problem with this technique is that a lot of data must be stored so that the filter can be restarted from the OOSM time and it takes a lot of process time. The technique used in this filter is to run the filter normally with all current data measurements and store only the track covariance matrices at each measurement time. Then when an OOSM arrives, propagate the track state and covariance back in time to the OOSM time, verify its association to a track and then perform the update with the OOSM. Next propagate this updated track state and covariance matrix to the current time.
The procedure is described in FIGS. [5], [6] and [7]. The algorithm to compute the current state and covariance terms using the OOSM is divided into seven steps
State Retrodiction:
The state in each model i of the IMM, i=1, . . . , r, is retrodicted to the time τ of the OOSM, denoted in discrete time as κ. The time τ is l steps lagged, i.e., tk−l<τ=tk<tk−l+1, where tk is the current time. The retrodiction of the state xi of model i to κ from k is
{circumflex over (x)}
i(κ|k)=Fi(κ|k){circumflex over (x)}i(k|k) (73)
where Fi(κ|k) is the backward transition matrix of mode i to κ from k. The covariances associated with the state retrodiction are calculated as follows. The covariance of the cumulative effect of the process noise to k from κ in mode i is
P
vv
i(k,κ|k)=Qi(k,κ) (74)
For a piecewise constant Wiener process acceleration model, or Discrete Wiener Process Acceleration (DWPA) model, the covariance of the process noise multiplied by the gain matrix Γ is
with T=tk−tκ=tk−τ r and σv2 the covariance of the process noise.
The cross-covariance between the state at k and the process noise to k from κ in mode i is
P
xv
i(k,κ|k)=Qi(k,κ)−Pi(k|k−1)S*i(k)−1Qi(k|κ) (76)
where
S*
i(k)−1=Pi(k|k−1)−1−Pi(k|k−1)−1Pi(k|k)Pi(k|k−1)−1 (77)
Equation (77) is the key to reducing the i-step lag OOSM problem to the 1-step lag problem while keeping the solution nearly optimal. S*i(k) is the covariance of the “equivalent measurement” at k that summarizes, for model i, all the measurements from k−l+1 to k. To compute this it is necessary to have stored past state covariances Pi(k−l|k−l) for calculation of Pi(k|k−1) for I up to a maximum delay lmax. To compute Pi(k|k−1):
P
i(k|k−1)=Pi(k|k−l)=Fi(k|k−l)Pi(k−l|k−l)Fi(k|k−l)T+Q(k|k−l) (78)
where Fi(k|k−l) is the state transition matrix from k−l to k and Q(k|k−l) is the noise contribution as calculated in (75) with T=tk−tk−l. The covariance for the state retrodiction is
P
i(κ|k)=Fi(κ|k)[Pi(k|k)+Pvvi(k,κ|k)−Pxvi(k,κ|k)−Pxvi(k,κ|k)T]Fi(κ,k)T (79)
Measurement Retrodiction:
The retrodicted measurement {circumflex over (z)}i(κ|k) for filter model i of the IMM estimator is calculated based on (73) for each of the r filter models. The retrodicted OOSM for model i is
{circumflex over (z)}
i(κ|k)=H{circumflex over (x)}i(κ|k) (80)
The corresponding covariance of the innovation is
S
i(κ|k)=HPi(κ|k)HT+R(κ) (81)
Mode Likelihood Functions:
The likelihood function of each mode at time κ is evaluated based on the OOSM and the corresponding retrodiction from the current time. The likelihood function of mode i based on the OOSM from time τ is
κi(κ)=|2πSi(κ|k)|−1/2exp{−½[z(κ)−{circumflex over (z)}i(κ)]TSi(κ|k)−1[z(κ)−{circumflex over (z)}i(κ|k)]} (82)
The resulting vector consisting of all the likelihood functions of the system modes i=1, . . . , r in the IMM estimator at time κ as
Λ(x)=[Λl(κ), . . . ,Λr(κ)]T (83)
Data Association:
To perform the data association for an OOSM, it is required to have the IMM estimator's overall likelihood function at time κ. For this the mode-conditioned likelihood functions (82) are used, which rely on the mode-conditioned retrodicted measurement and its covariance, and the retrodicted mode probabilities from the current time k to κ. The mode probabilities at time k (before the OOSM) are given by the vector
μ(k|k)=μ(k|Zk)=[μl(k|k), . . . ,μr(k|k)]T (84)
where Zk is the cumulative data at k (not including the OOSM z(κ)) and
μi(k|k)=Pr{M(k)=i|Zk} (85)
Let Πij(k2, k1) be the Markov chain transition probability matrix between the modes to time tk
Πij(k2,k1)=Pr{M(k2)=j|m(k1)=i} (86)
And the mode probability vector evolves according to
μ(k2|k)=Π(k2,k1)Tμ(k1|k) (87)
The transition probability matrix to time tk
where T=|tk
are the sojourn times in modes 1 and 2. Therefore, the retrodicted mode probability vector to κ from k is
μ(κ|k)=Π(κ|k)Tμ(k|k) (89)
The IMM estimator's overall likelihood function for the OOSM is
where Λi(x) are given in (82) and μi(κ|k) follows from (89). This is to be used in the data association to select the delayed measurements to be used in the track update.
State Update within Each Filter Model:
This shows the update of the state at the current time tk in each model of the IMM using the selected OOSM. The covariance between the state at k and this measurement is calculated as
P
xz
i(k,κ|k)=[Pi(k|k)−Pxvi(k,κ|k)]Fi(κ|k)THT. (91)
The filter gain used for the update is
W
i(k,κ)=Pxzi(k,κ|k)Si(κ)−1 (92)
Then update of the most recent state estimate {circumflex over (x)}(k|k) with the OOSM z(κ) is given by
where the predicted OOSM is given in (80) and the gain is given in (92). The filter-calculated covariance for the updated state estimate is
P
i(k|κ)=Pi(k|k)−Pxzi(k,κ|k)Si(κ)−1Pxzi(k,κ|k)T (94)
Update of the Current Mode Probabilities:
This shows how the mode probabilities are updated at the current time. The conditional mode probabilities at time k (before the OOSM), given by the vector
μ(k|k)=[μl(k|k), . . . ,μr(k|k)]T (95)
are to be updated with the OOSM into
μ(k|κ)=[μl(k|κ), . . . ,μr(k|κ)]T (96)
according to
where the normalized constant is
Update of the Current Combined Estimate and Covariance:
Finally the new combined estimate, after the OOSM, is
and its covariance is
P(k|k)=Σμj(k|κ){Pj(k|κ)+[{circumflex over (x)}j(k|κ)−(k|κ)]×[{circumflex over (x)}j(k|κ)−{circumflex over (x)}(k|κ)]T} (100)
Track Management:
A procedure is needed to determine when to initiate a new track and when to drop a track that is no longer being detected by the sensors. Under normal operations, measurements from the sensors are assigned to tracks and are used to update the tracks. If a new measurement is reported by a sensor and it is not associated to an existing track, it may be used to start a new tentative track.
To become a tentative track a sensor must report the same measurement for X number of consecutive scans. The value of X will be determined from real time tests, but initially it is set to 2. If during the next sensor scan the sensor again reports the measurement for the tentative track, the tentative track now becomes a firm track and can be updated by any sensor measurement. If during the next sensor scan the sensor does not report a measurement that corresponds to the tentative track, the tentative track is dropped.
A new firm track is given the lowest integer that has not already been assigned to a firm track. For example, if there are three firm tracks present that have been assigned numbers 1, 2, and 3 then the next firm track will be assigned number 4. If there are three tracks present and they are assigned numbers 1, 4, and 7 then the next firm track will be assigned number 2.
Another function of the Track Management process is to determine if an existing track should be dropped. The Track Management process keeps track of which sensor updates the firm tracks. If all sensors do not update a firm track for at least Y scans, then the firm track is dropped. The value of Y will be determined from real time tests, but initially it is set to 2 for optical sensors and 3 for ranging sensors. As long as one sensor is updating a firm track it will not be dropped.
Sensor Data Conversion:
The sensors usually report their target measurements in a polar reference frame, range and azimuth or bearing. The tracking estimator usually computes its Firm Target File in a Cartesian reference frame because it is easier to understand and visualize. Therefore, the sensor data must be converted to the Cartesian reference frame before it is used by the tracking filter.
The standard conversion from the polar to the Cartesian reference frame is:
x
m
=r
m cos θm and ym=rm sin θm, (101)
where rm and θm are the range and bearing, respectively, of the sensor target in the polar reference frame and xm and ym are the downrange and cross range coordinates, respectively, in the converted Cartesian reference frame. However, when dealing with the statistics of the measurements, mean and variance, one cannot use the above equations to transform from the polar to the Cartesian frames. The uncertainty in the range and the bearing is not a perfect ellipsoid so there needs to be debiased correction terms subtracted from (101) to get a better value for the downrange and cross range measurements and their variances.
The following equations give the debiased conversion from a polar coordinate frame to a Cartesian reference frame:
x
dc
=r
m cos θm−E[{tilde over (x)}|rm,θm], (102)
y
dc
=r
m sin θm−E[{tilde over (y)}|rm,θm], (103)
where
xdc and ydc are the final downrange and cross range debiased conversion coordinates of the sensor target and
E[{tilde over (x)}|r
m,θm]=rm cos θm(e−σ−e−σ
E[{tilde over (y)}|r
m,θm]=rm sin θm(e−σ−e−σ
The covariance matrix, Ra, for the downrange and cross range coordinates are
R
a
11=var({tilde over (x)}|rm,θm)=rm2e−2σ
R
a
22=var({tilde over (y)}|rm,θm)=rm2e−2σ
R
a
12
=cov({tilde over (x)},{tilde over (y)},|rm,θm)=sin θm cos θme−4σ
where
σr2 and σθ2 are the variances of the range and bearing, respectively, in the sensor polar reference frame.
xm=xt+xe=(rt+re)cos(θt+θe) and ym=yt+ye=(rt+re)sin(θt+θe).
Expanding these out can give you the error means and covariances, however, it requires knowing the true range, rt, and angle, θt, which are not known. Therefore, the expected values and covariances must be computed based on the measure values of range and angle and not the true values. When this is done the expected value, mean, and covariance of the down range error, xe, and cross range error, ye, give a correction terms for the range and angle terms.
Both sensors get the raw data at time t1. Sensor 1 takes the time from t1 to t2 to process its data and then sends it to the filter. Since the process time is known, a time tag can then be applied to the data which was received at t2 with the time t1 which is more accurately the time of the data. For the data received from sensor 1 at t3, the time tag of t2 is given. This is a way to compensate for the sensor latency. Now look at sensor 2 which takes a longer time to process its data than sensor 1. When the data packet arrives at time t2 it is actually given the time stamp of t1 since that more accurately reflects the time of the data. You can see that this will cause a sequence problem if the data rates of the sensors are not the same. Sensor 2's data at its time t2 is tagged as t1 which comes earlier in real time than sensor 1's data at t3 that is tagged as t2. This data is now out of sequence because the filter has processes data from sensor 1 for time t2 and now it gets data from sensor 2 with a time tag of t1. This is where the filter's OOSM (out-of-sequence-measurements) algorithms come into play.
The bottom plots show the improvement in the position data using the sensor fusion filter. The bottom left plot shows the result of the fusion filter using only position updates. The bottom tight plot uses position and velocity, range-rate, updates. The magenta lines are the true errors since the true track is known. The blue and yellow lines give the filter 1-sigma standard deviation values of the filter error. The decrease in these uncertainty curves for the no velocity update plot is a result of the medium range radar coming into play at about 4.6 seconds. The small bump up after this drop is due to the long range radar dropping out due to FOV. If range-rate updates are available, then the medium range radar does not improve the performance much as shown in the bottom right plot.
Properly tuning the filter should improve the results since the true error points outside the 1-sigma curves are much less than 32%.
The increased values of the uncertainty curves when velocity data is used are a result of the long range radar dropping out due to the target reaching its FOV limits.
The small bump up in the filter—no velocity updates uncertainty curves is a result of the long rang radar dropping out due to the FOV restriction.
The systems described above can use dedicated processor systems, micro controllers, programmable logic devices, or microprocessors that perform some or all of the operations. Some of the operations described above may be implemented in software and other operations may be implemented in hardware.
For the sake of convenience, the operations are described as various interconnected functional blocks or distinct software modules. This is not necessary, however, and there may be cases where these functional blocks or modules are equivalently aggregated into a single logic device, program or operation with unclear boundaries. In any event, the functional blocks and software modules or described features can be implemented by themselves, or in combination with other operations in either hardware or software.
Having described and illustrated the principles of the invention in a preferred embodiment thereof, it should be apparent that the invention may be modified in arrangement and detail without departing from such principles. Claim is made to all modifications and variation coming within the spirit and scope of the following claims.
The present application is a continuation application of U.S. patent application Ser. No. 12/776,137, filed May 7, 2010 that claims priority to U.S. Provisional Patent Application Ser. No. 61/176,681, filed May 8, 2009 and to Provisional Patent Application Ser. No. 61/177,015, filed May 11, 2009 which are all incorporated by reference in their entirety.
Number | Date | Country | |
---|---|---|---|
61177015 | May 2009 | US | |
61176681 | May 2009 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 12776137 | May 2010 | US |
Child | 15146402 | US |