Logics & Controls