Control using logic-based switching - Morse (Springer, 1997)