Rubik: fast analytical power management for latency-critical systems

Latency-critical workloads (e.g., web search), common in datacenters, require stable tail (e.g., 95th percentile) latencies of a few milliseconds. Servers running these workloads are kept lightly loaded to meet these stringent latency targets. This low utilization wastes billions of dollars in energy and equipment annually. Applying dynamic power management to latency-critical workloads is challenging. The fundamental issue is coping with their inherent short-term variability: requests arrive at unpredictable times and have variable lengths. Without knowledge of the future, prior techniques either adapt slowly and conservatively or rely on application-specific heuristics to maintain tail latency. We propose Rubik, a fine-grain DVFS scheme for latency-critical workloads. Rubik copes with variability through a novel, general, and efficient statistical performance model. This model allows Rubik to adjust frequencies at sub-millisecond granularity to save power while meeting the target tail latency. Rubik saves up to 66% of core power, widely outperforms prior techniques, and requires no application-specific tuning. Beyond saving core power, Rubik robustly adapts to sudden changes in load and system performance. We use this capability to design RubikColoc, a colocation scheme that uses Rubik to allow batch and latency-critical work to share hardware resources more aggressively than prior techniques. RubikColoc reduces datacenter power by up to 31% while using 41% fewer servers than a datacenter that segregates latency-critical and batch work, and achieves 100% core utilization.National Science Foundation (U.S.) (Grant CCF-1318384

Proportional-integral controllers for minimum-phase nonaffine-in-control systems

We show that stabilizing tracking proportional-integral (PI) controllers can be constructed for minimum-phase nonaffine-in-control systems. The constructed PI controller is an equivalent realization of an approximate dynamic inversion controller. This equivalence holds only for the time response when applied to the unperturbed system. Even when restricted to unperturbed minimum-phase linear time invariant systems, their closed loop robustness properties differ. This shows that in general, properties that do not define the equivalence relation for systems/controllers are not preserved under such equivalence transformations.Singapore. DSO National LaboratoriesUnited States. Air Force Office of Scientific Research (AFOSR grant FA9550-08-1-0086

Analysis and Control of Non-Affine, Non-Standard, Singularly Perturbed Systems

This dissertation addresses the control problem for the general class of control non-affine, non-standard singularly perturbed continuous-time systems. The problem of control for nonlinear multiple time scale systems is addressed here for the first time in a systematic manner. Toward this end, this dissertation develops the theory of feedback passivation for non-affine systems. This is done by generalizing the Kalman-Yakubovich-Popov lemma for non-affine systems. This generalization is used to identify conditions under which non-affine systems can be rendered passive. Asymptotic stabilization for non-affine systems is guaranteed by using these conditions along with well-known passivity-based control methods. Unlike previous non-affine control approaches, the constructive static compensation technique derived here does not make any assumptions regarding the control influence on the nonlinear dynamical model. Along with these control laws, this dissertation presents novel hierarchical control design procedures to address the two major difficulties in control of multiple time scale systems: lack of an explicit small parameter that models the time scale separation and the complexity of constructing the slow manifold. These research issues are addressed by using insights from geometric singular perturbation theory and control laws are designed without making any assumptions regarding the construction of the slow manifold. The control schemes synthesized accomplish asymptotic slow state tracking for multiple time scale systems and simultaneous slow and fast state trajectory tracking for two time scale systems. The control laws are independent of the scalar perturbation parameter and an upper bound for it is determined such that closed-loop system stability is guaranteed. Performance of these methods is validated in simulation for several problems from science and engineering including the continuously stirred tank reactor, magnetic levitation, six degrees-of-freedom F-18/A Hornet model, non-minimum phase helicopter and conventional take-off and landing aircraft models. Results show that the proposed technique applies both to standard and non-standard forms of singularly perturbed systems and provides asymptotic tracking irrespective of the reference trajectory. This dissertation also shows that some benchmark non-minimum phase aerospace control problems can be posed as slow state tracking for multiple time scale systems and techniques developed here provide an alternate method for exact output tracking

Gradient projection anti-windup scheme

Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2011.Cataloged from PDF version of thesis.Includes bibliographical references (p. 205-217).It is a well-recognized fact that control saturation affects virtually all practical control systems. It leads to controller windup, which degrades/limits the system's closed-loop performance, and may cause catastrophic failures if it induces instability. Anti-windup compensation is one of two main approaches to mitigate the effects of windup, and is conceptually and practically attractive. For the idealized case of constrained linear time invariant (LTI) plants driven by LTI controllers, numerous anti-windup schemes exist. However, most practical control systems are inherently nonlinear, and anti-windup compensation for nonlinear systems remains largely an open problem. To this end, we propose the gradient projection anti-windup (GPAW) scheme, which is an extension of the conditional integration method to multi-input-multi-output (MIMO) nonlinear systems, using Rosen's gradient projection method for nonlinear programming. It achieves controller state-output consistency by projecting the controller state onto the unsaturated region induced by the control saturation constraints. The GPAW-compensated controller is a hybrid controller defined by the online solution to either a combinatorial optimization subproblem, a convex quadratic program, or a projection onto a convex polyhedral cone problem. We show that the GPAW-compensated system is obtained by modifying the uncompensated system with a passive operator. Qualitative weaknesses of some existing anti-windup results are established, which motivated a new paradigm to address the anti-windup problem. It is shown that for a constrained first order LTI plant driven by a first order LTI controller, GPAW compensation can only maintain/enlarge its region of attraction (ROA). In this new paradigm, we derived some ROA comparison and stability results for MIMO nonlinear as well as MIMO LTI systems. The thesis is not that the GPAW scheme solves a centuries-old open problem of immense practical importance, but rather, that it provides a potential path to a solution. We invite the reader to join us in this quest at the confluence of nonlinear systems, hybrid systems, projected dynamical systems, differential equations with discontinuous right-hand sides, combinatorial optimization, convex analysis and optimization, and passive systems.by Chun Sang Justin Teo.Sc.D