Bruce H. Krogh
Bruce H. Krogh
Professor of Electrical and Computer Engineering, Carnegie Mellon University
Dirección de correo verificada de
Citado por
Citado por
Distributed model predictive control
E Camponogara, D Jia, BH Krogh, S Talukdar
IEEE control systems magazine 22 (1), 44-52, 2002
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
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
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
A generalized potential field approach to obstacle avoidance control
B Krogh
Proc. SME Conf. on Robotics Research: The Next Five Years and Beyond …, 1984
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
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
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
Computational techniques for hybrid system verification
A Chutinan, BH Krogh
IEEE transactions on automatic control 48 (1), 64-75, 2003
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
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
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
Synthesis of feedback control logic for discrete manufacturing systems
BH Krogh, LE Holloway
Automatica 27 (4), 641-651, 1991
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
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
On condition/event systems with discrete state realizations
RS Sreenivas, BH Krogh
Discrete Event Dynamic Systems 1 (2), 209-236, 1991
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
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
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20