27.12.2014 Views

Quantitative Local Analysis of Nonlinear Systems - University of ...

Quantitative Local Analysis of Nonlinear Systems - University of ...

Quantitative Local Analysis of Nonlinear Systems - University of ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.2.2 Hit-and-Run Random Point Generation Algorithm<br />

The following random point generation algorithm is used to generate points in Y [61]:<br />

Hit-and-run random point generation (H&R) algorithm: Given a positive integer N V<br />

and α (0) ∈ Y, set k = 0<br />

i. Generate a random vector ζ (k) = y (k) /‖y (k) ‖, where y (k) ∼ N (0, I nb ).<br />

ii. Compute the minimum value <strong>of</strong> t (k) ≤ 0 and the maximum value <strong>of</strong> t (k) ≥ 0 such that<br />

α (k) + t (k) ζ (k) ∈ Y and α (k) + t (k) ζ (k) ∈ Y.<br />

iii. Pick w (k) from a uniform distribution on [0, 1];<br />

iv. α (k+1) = w (k) (α (k) + t (k) ζ (k) ) + (1 − w (k) )(α (k) + t (k) ζ (k) ).<br />

v. k = k + 1.<br />

vi. If k = N V , return A. Otherwise, go to (i).<br />

⊳<br />

Figure 3.1 shows the initial point (big dot), an arbitrary point satisfying (3.6), (3.11) and<br />

(3.12), and the points generated by H&R algorithm (small dots) along with the random<br />

directions from step (i) (dashed line segments) for the illustrative example. Y is convex<br />

and points are generated as convex combinations <strong>of</strong> points in Y (step (iv)); therefore, the<br />

algorithm generates N V<br />

points in Y. Since Y is compact, for sufficiently large N V , points<br />

<strong>of</strong> A become approximately uniformly distributed in Y [61].<br />

Step (ii) <strong>of</strong> the H&R algorithm involves solving a linear SOS optimization problem and<br />

a LMI problem<br />

t (k)<br />

SOS :=<br />

max t≥0 t s.t. z(x) T (α (k) + tζ (k) ) ∈ Σ[x],<br />

t (k)<br />

lin := max t≥0 t s.t. L(Q (k) + tΛ (k) ) ≼ −ɛI,<br />

(3.13)<br />

31

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!