Proposition 5.1, p. 214 — a complete supervisor realizes (K₁, K₂, K₃) iff K₁ ⊆ K₂, K₂ = K₃ ∩ L_m(𝒢), K₃ closed and controllable

Initializing...

Proposition 5.1, p. 214 — a complete supervisor realizes (K₁, K₂, K₃) iff K₁ ⊆ K₂, K₂ = K₃ ∩ L_m(𝒢), K₃ closed and controllable · Prove2Me