Joao P Hespanha Linear Systems Theory Solutions Jun 2026