Simon Haykin
Cognitive Systems Laboratory
McMaster, University
Hamilton, Ontario, Canada
email: haykin@mcmaster.ca
Web site: http://soma.mcmaster.ca
Background (continued)
Two Seminal Journal Papers
(1) Simon Haykin, Cognitive Radio: Brain-empowered
Wireless Communications, IEEE Journal on Selected
Areas in Communications, Special Issue on Cognitive
Networks, pp. 201-220, February, 2005.
Background (continued)
Predictive Article3
I
3.
2. Cognition
Radio
environment
(Outside world)
Action:
transmitted
signal
Transmit-power
control, and
spectrum
management
RF
stimuli
Spectrum holes
Noise-floor statistics
Traffic statistics
Interference
temperature
Quantized
channel capacity
Transmitter
Radioscene
analysis
Channel-state
estimation, and
predictive
modeling
Receiver
Transmitted
radar signal
Radar returns
Environment
Receiver
Transmitter
Intelligent
Illuminator
of the
environment
Other
sensors
Informationbearing signals
on the
environment
RadarBayesian
scene
targetanalyzer Environmental tracker
model parameters
Prior
knowledge
Observations
received from the
environment
The Environment
he n ironment
ction
Action
Perception
(Sensing)
Perception
(Control)
FeedbackChannel
Link
Feedback
(ii)
10
Transmitter
he n ironment
Action:
Transmitction
waveform
(Control)
controller
Radar
returns
Perception:
State-of-the
Perception
environment
(Sensing)
estimator
Receiver
EntropyChannel
Feedback
computer
Information on
predicted stateestimation error vector
11
2. Measurement sub-model
yk = b ( xk ) + k
12
Prior Assumptions:
Sequence of observations
Yk
k
{ y i } i=1
13
Up-date Equations:
Time-update:
p ( x k Y k -1 ) =
Predictive
distribution
n p( xk xk -1 ) p( xk -1 Yk -1 )dxk -1
R
{
{
1.
Prior
distribution
Old
posterior
distribution
Measurement-update:
Updated
posterior
distribution
{
{
1 .
p ( x k Y k -1 )l ( y k x k )
p ( x k Y k ) = -----Ck
Predictive
distribution
Likelihood
function
Ck
n p( xk Yk -1 )l ( yk xk )dxk
R
14
The posterior fully defines the available information about the state of
the environment, given the sequence of observations.
(ii) The Bayesian filter propagates the posteriori (embodying time and
measurement updates for each iteration) across the state-space model:
The Bayesian filter is therefore the maximum a posteriori (MAP)
estimator of the state
(iii) The celebrated Kalman filter (Kalman, 1960), applicable to a linear
dynamic system in a Gaussian environment, is a special case of the
Bayesian filter.
(iv) If the dynamic system is nonlinear and/or the environment is nonGaussian, then it is no longer feasible to obtain closed-form solutions
for the integrals in the time- and measurement-updates, in which case:
We have to be content with approximate forms of the Bayesian filter
15
5. Cubature Kalman
4
Filters
Objective
Using numerically rigorous mathematics in nonlinear
estimation theory, approximate the Bayesian filter so as to
completely preserve second-order information about the state
xk that is contained in the sequence of observations Yk
In cubature Kalman filters, this approximation is made directly
and in a local manner.
4.
I. Arasaratnam and S. Haykin, Cubature Kalman filters, IEEE Trans. Automatic Control, pp.
1254-1269, June
2009.
16
f ( x ) exp ( x x ) dx
Arbitrary
nonlinear
function
h(f ) =
Gaussian
function
17
0 S ( r )r
n-1
exp ( r ) dr
where
S (r) =
f ( rz ) d ( z ),
R
18
2n
f [ u ]i
f ( rz ) d ( z ) w i=1
n
19
wi f ( xi )
f ( x )w ( x ) dx i=1
Weighting
function
where
w( x) = x
n-1
exp ( x ) ,
20
Property 2: Approximations of the moment integrals in the Bayesian filter are all
linear in the number of function evaluations.
21
22
dx ( t ) = f ( x ( t ) )dt + Qd ( t )
where, in an air-traffic-control environment, the seven-dimensional state of the aircraft
T
x = [ , , , , ,, ]
, and
with , and denoting positions and
denoting velocities in the x, y and z Cartesian coordinates, respectively; denotes the turn
T
standard Brownian motions, accounts for unpredictable modeling errors due to turbulence, wind force, etc.
5.
23
The gain matrix Q = diag ( [ 0, 1 ,0, 1 ,0, 1 ,0, 2 ] ) . For the experiment
at hand, a radar was located at the origin and digitally equipped to measure the
2
2 + 2 + 2
k
k
k
rk
+ wk
=
1
tan -----k-
k
k
Data.
1 =
R = diag ( [ r , ] ) .
and the true initial state x0 = [1000m, 0ms-1, 2650m, 150ms-1, 200m, 0ms-1, deg/s]T.
24
Figure 5: Accumulative RMSE Plots for a fixed sampling interval T = 6s and varying turn rates:
first row, = 3 deg/s; second row, = 4.5 deg/s; third row, = 6 deg/s
(Solid thin with empty circles-EKF, dashed thin with filled squares-UKF, dashed thick-hybrid CKF)
NIPS Workshops, Whistler, BC, December 2009 (Haykin)
25
Matlab Codes
The Matlab codes for the discrete-time version of the CKF are
available on the
Website: http://soma.mcmaster.ca
26
27
6. Feedback Information
(i) Principle of Information Preservation
In designing an information-processing system, regardless of its kind, we
should strive to preserve the information content of observables about the
state of the environment as far as computationally feasible, and exploit the
available information in the most cost-effective manner.
(ii) Computation
At the receiver, the CKF computes the predicted state-estimation error
vector.
With information preservation as the goal of cognitive processing, entropy of
this error vector is the natural measure of feedback information delivered to
the transmitter by the receiver.
For Gaussian error vectors, the entropy is equal to one-half the logarithm of
determinent of the error covariance matrix, except for a constant term.
NIPS Workshops, Whistler, BC, December 2009 (Haykin)
28
6.
Dimitri Bertsekas, Dynamic Programming and Optimal Control, Vol. 1 (2005); and vol. 2(2007),
Athena Scientific.
29
30
31
32
33
34
Stimulus
Encoder
Decoder
Cortical
sensory
area
Cortical
association
areas
Cortical
motor
area
Response
Feedback information
35
Encoder
Unknown
target
Decoder
Transmitter
Transmitted
waveform
Convolution
with target
impulse
response
Radar
returns
Receiver
Response
Feedback Information
36
Last Note
37