Bruce Krogh-Carnegie Mellon University Africa - Carnegie Mellon University

Bruce Krogh

Director, Carnegie Mellon University in Rwanda, Professor of Electrical and Computer Engineering

Address:
Carnegie Mellon University
Telecom House
Boulevard de l'Umuganda
Kacyiru
Kigali
Rwanda
Phone: +250 784 840 855

Bio

Bruce Krogh has contributed for over thirty years to the theory and application of embedded control systems in a number of areas, including power systems, robotics, manufacturing systems, automobiles and aircraft.  At Westinghouse Corporation he developed control software for electric utility energy control centers. He joined Carnegie Mellon University in 1983. He served on editorial boards of several journals and was founding Editor-in-Chief of the IEEE Transactions on Control Systems Technology.  He is a Fellow of the Institution of Electrical and Electronics Engineers (IEEE) and a Distinguished Member of the IEEE Control Systems Society.  His current research interests include distributed control strategies for the smart grid.

Education

BSc, Mathematics and Physics, Wheaton College
MSc, Electrical Engineering, University of Illinois
PhD, Electrical Engineering, University of Illinois

Selected Publications

  • M. Althoff, A.  Rajhans, B.H. Krogh, S. Yaldiz, X. Li, L. Pileggi, Formal verification of phase-locked loops using reachability analysis and continuization,  Commununications of the ACM, vol. 56, no. 10, October 2013, pp. 97-104.
  • A. Rajhans, B.H. Krogh, Compositional heterogeneous verification, Hybrid Systems: Computation and Control (HSCC2013), Philadelphia, April 2013.
  • L. Parolini, B. Sinopoli, B.H. Krogh, Z. Wang, A cyber–physical systems approach to data center modeling and control for energy efficiency, Proceedings of the IEEE, vol.100, no.1, pp.254,268, Jan. 2012.