Follow
Bruce H. Krogh
Bruce H. Krogh
Professor of Electrical and Computer Engineering, Carnegie Mellon University
Verified email at ece.cmu.edu
Title
Cited by
Cited by
Year
Distributed model predictive control
E Camponogara, D Jia, BH Krogh, S Talukdar
IEEE control systems magazine 22 (1), 44-52, 2002
11952002
Energy-efficient surveillance system using wireless sensor networks
T He, S Krishnamurthy, JA Stankovic, T Abdelzaher, L Luo, R Stoleru, ...
Proceedings of the 2nd international conference on Mobile systems …, 2004
10302004
Vigilnet: An integrated sensor network system for energy-efficient surveillance
T He, S Krishnamurthy, L Luo, T Yan, L Gu, R Stoleru, G Zhou, Q Cao, ...
ACM Transactions on Sensor Networks (TOSN) 2 (1), 1-38, 2006
7392006
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
ZA Banaszak, BH Krogh
IEEE Transactions on robotics and automation 6 (6), 724-734, 1990
7131990
A generalized potential field approach to obstacle avoidance control
B Krogh
Proc. SME Conf. on Robotics Research: The Next Five Years and Beyond …, 1984
6011984
A survey of Petri net methods for controlled discrete event systems
LE Holloway, BH Krogh, A Giua
Discrete Event Dynamic Systems 7, 151-190, 1997
5761997
Wind integration in power systems: Operational challenges and possible solutions
L Xie, PMS Carvalho, LAFM Ferreira, J Liu, BH Krogh, N Popli, MD Ilić
Proceedings of the IEEE 99 (1), 214-232, 2010
5362010
Synthesis of feedback control logic for a class of controlled Petri nets
LE Holloway, BH Krogh
IEEE Transactions on Automatic Control 35 (5), 514-523, 1990
5131990
Computational techniques for hybrid system verification
A Chutinan, BH Krogh
IEEE transactions on automatic control 48 (1), 64-75, 2003
4572003
Integrated path planning and dynamic steering control for autonomous vehicles
B Krogh, C Thorpe
Proceedings. 1986 IEEE International Conference on Robotics and Automation 3 …, 1986
4101986
Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations
A Chutinan, BH Krogh
Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999
3781999
Lightweight detection and classification for wireless sensor networks in realistic environments
L Gu, D Jia, P Vicaire, T Yan, L Luo, A Tirumala, Q Cao, T He, ...
Proceedings of the 3rd international conference on Embedded networked sensor …, 2005
3632005
Synthesis of feedback control logic for discrete manufacturing systems
BH Krogh, LE Holloway
Automatica 27 (4), 641-651, 1991
2721991
Abstraction and counterexample-guided refinement in model checking of hybrid systems
E Clarke, A Fehnker, Z Han, B Krogh, J Ouaknine, O Stursberg, ...
International journal of foundations of computer science 14 (04), 583-604, 2003
2552003
A cyber–physical systems approach to data center modeling and control for energy efficiency
L Parolini, B Sinopoli, BH Krogh, Z Wang
Proceedings of the IEEE 100 (1), 254-268, 2011
2422011
Efficient representation and computation of reachable sets for hybrid systems
O Stursberg, BH Krogh
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003
2382003
On condition/event systems with discrete state realizations
RS Sreenivas, BH Krogh
Discrete Event Dynamic Systems 1 (2), 209-236, 1991
2221991
Min-max feedback model predictive control for distributed control with communication
D Jia, B Krogh
Proceedings of the 2002 American Control Conference (IEEE Cat. No. CH37301 …, 2002
2142002
The acceleration radius: a global performance measure for robotic manipulators
TJ Graettinger, BH Krogh
IEEE Journal on Robotics and Automation 4 (1), 60-69, 1988
2141988
Distributed model predictive control
D Jia, BH Krogh
Proceedings of the 2001 american control conference.(Cat. No. 01CH37148) 4 …, 2001
2102001
The system can't perform the operation now. Try again later.
Articles 1–20