publication venue for A survey of Markovian methods for stability of networks 1994 Adaptation to environment stiffness in the control of manipulators 1990 Techniques for Uniting Lyapunov-Based and Model Predictive Control 2007