Quantitative Local Analysis of Nonlinear Systems - University of ...
Quantitative Local Analysis of Nonlinear Systems - University of ...
Quantitative Local Analysis of Nonlinear Systems - University of ...
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