encyclopedia of systems and control springer