Lec 04: Controllability and observability