Bruce H. Krogh
Bruce H. Krogh
Professor of Electrical and Computer Engineering, Carnegie Mellon University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ece.cmu.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Distributed model predictive control
E Camponogara, D Jia, BH Krogh, S Talukdar
IEEE control systems magazine 22 (1), 44-52, 2002
10672002
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
9712004
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
6902006
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
6861990
A generalized potential field approach to obstacle avoidance control
B Krogh
Proc. SME Conf. on Robotics Research: The Next Five Years and Beyond …, 1984
6451984
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
5301997
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
5091990
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
4412010
Computational techniques for hybrid system verification
A Chutinan, BH Krogh
IEEE transactions on automatic control 48 (1), 64-75, 2003
4062003
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
3581986
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
3452005
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
3311999
Synthesis of feedback control logic for discrete manufacturing systems
BH Krogh, LE Holloway
Automatica 27 (4), 641-651, 1991
2641991
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
2512003
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
2412003
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
2102003
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
205*2007
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
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
1992011
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20