Bruce H. Krogh
Bruce H. Krogh
Professor of Electrical and Computer Engineering, Carnegie Mellon University
Dirección de correo verificada de ece.cmu.edu
Título
Citado por
Citado por
Año
Distributed model predictive control
E Camponogara, D Jia, BH Krogh, S Talukdar
IEEE control systems magazine 22 (1), 44-52, 2002
10712002
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
9862004
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
6992006
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
6911990
A generalized potential field approach to obstacle avoidance control
B Krogh
Proc. SME Conf. on Robotics Research: The Next Five Years and Beyond …, 1984
5541984
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
5321997
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
5071990
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
4492010
Computational techniques for hybrid system verification
A Chutinan, BH Krogh
IEEE transactions on automatic control 48 (1), 64-75, 2003
4072003
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
3621986
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
3462005
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
3321999
Synthesis of feedback control logic for discrete manufacturing systems
BH Krogh, LE Holloway
Automatica 27 (4), 641-651, 1991
2651991
Security for daml web services: Annotation and matchmaking
G Denker, L Kagal, T Finin, M Paolucci, K Sycara
International Semantic Web Conference, 335-350, 2003
2522003
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
2452003
On condition/event systems with discrete state realizations
RS Sreenivas, BH Krogh
Discrete Event Dynamic Systems 1 (2), 209-236, 1991
2191991
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
2122003
Design and philosophy of the bimasc, a highly dynamic biped
JW Hurst, JE Chestnutt, AA Rizzi
Proceedings 2007 IEEE International Conference on Robotics and Automation …, 2007
210*2007
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
2032011
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
2031988
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20