Bruce H. Krogh
Bruce H. Krogh
Professor of Electrical and Computer Engineering, Carnegie Mellon University
Verified email at ece.cmu.edu
TitleCited byYear
Distributed model predictive control
E Camponogara, D Jia, BH Krogh, S Talukdar
IEEE control systems magazine 22 (1), 44-52, 2002
9502002
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
9162004
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
6461990
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
6252006
A generalized potential field approach to obstacle avoidance control
B Krogh
Proc. SME Conf. on Robotics Research: The Next Five Years and Beyond …, 1984
6181984
A survey of Petri net methods for controlled discrete event systems
LE Holloway, BH Krogh, A Giua
Discrete Event Dynamic Systems 7 (2), 151-190, 1997
4901997
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
4831990
Computational techniques for hybrid system verification
A Chutinan, BH Krogh
IEEE transactions on automatic control 48 (1), 64-75, 2003
3872003
Wind integration in power systems: Operational challenges and possible solutions
L Xie, PMS Carvalho, LAFM Ferreira, J Liu, BH Krogh, N Popli, MD Ilic
Proceedings of the IEEE 99 (1), 214-232, 2010
3642010
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
3411986
Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations
A Chutinan, BH Krogh
International workshop on hybrid systems: computation and control, 76-90, 1999
3251999
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
3092005
Synthesis of feedback control logic for discrete manufacturing systems
BH Krogh, LE Holloway
Automatica 27 (4), 641-651, 1991
2481991
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
2252003
On condition/event systems with discrete state realizations
RS Sreenivas, BH Krogh
Discrete Event Dynamic Systems 1 (2), 209-236, 1991
2131991
Efficient representation and computation of reachable sets for hybrid systems
O Stursberg, BH Krogh
International Workshop on Hybrid Systems: Computation and Control, 482-497, 2003
1912003
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
1882002
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
1831988
Distributed model predictive control
D Jia, BH Krogh
Proceedings of the 2001 American Control Conference.(Cat. No. 01CH37148) 4 …, 2001
1802001
Controlled Petri nets and maximally permissive feedback logic
BH Krogh
Proc. of the 25^< th> Annual Allerton Conference, University of Illinois …, 1987
1741987
The system can't perform the operation now. Try again later.
Articles 1–20