Theorem 6.1 (i), p. 216 — a proper supervisor with L_m(𝒮/𝒢) = K exists iff K is controllable; then L_c = L_m(𝒢) ∩ K̄

Initializing...

Theorem 6.1 (i), p. 216 — a proper supervisor with L_m(𝒮/𝒢) = K exists iff K is controllable; then L_c = L_m(𝒢) ∩ K̄ · Prove2Me