Bruce H. Krogh
Affiliations: | Carnegie Mellon University, Pittsburgh, PA |
Area:
Electronics and Electrical Engineering, Computer ScienceGoogle:
"Bruce Krogh"Children
Sign in to add trainee| Braz I. Da Silva | grad student | 2002 | Carnegie Mellon |
| Zhiyuan Ren | grad student | 2002 | Carnegie Mellon |
| Dong Jia | grad student | 2003 | Carnegie Mellon |
| James P. Kapinski | grad student | 2004 | Carnegie Mellon |
| Zhi Han | grad student | 2005 | Carnegie Mellon |
| Haotian Zhang | grad student | 2005 | Carnegie Mellon |
| Ajinkya Y. Bhave | grad student | 2011 | Carnegie Mellon |
| Ellery A. Blood | grad student | 2011 | Carnegie Mellon |
| Juhua Liu | grad student | 2011 | Carnegie Mellon |
| Luca Parolini | grad student | 2012 | Carnegie Mellon |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Aréchiga N, Kapinski J, Deshmukh JV, et al. (2015) Numerically-aided Deductive Safety Proof for a Powertrain Control System Electronic Notes in Theoretical Computer Science. 317: 19-25 |
| Rajhans A, Bhave A, Ruchkin I, et al. (2014) Supporting Heterogeneity in Cyber-Physical Systems Architectures Ieee Transactions On Automatic Control. 59: 3178-3193 |
| Althoff M, Krogh BH. (2014) Reachability analysis of nonlinear differential-algebraic systems Ieee Transactions On Automatic Control. 59: 371-383 |
| Althoff M, Rajhans A, Krogh BH, et al. (2013) Formal verification of phase-locked loops using reachability analysis and continuization Communications of the Acm. 56: 97-104 |
| Althoff M, Krogh BH. (2012) Avoiding geometric intersection operations in reachability analysis of hybrid systems Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 45-54 |
| Rajhans A, Krogh BH. (2012) Heterogeneous verification of cyber-physical systems using behavior relations Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 35-44 |
| Parolini L, Sinopoli B, Krogh BH, et al. (2012) A cyber-physical systems approach to data center modeling and control for energy efficiency Proceedings of the Ieee. 100: 254-268 |
| Weimer J, Krogh BH, Small MJ, et al. (2012) An approach to leak detection using wireless sensor networks at carbon sequestration sites International Journal of Greenhouse Gas Control. 9: 243-253 |
| Arechiga N, Loos SM, Platzer A, et al. (2012) Using theorem provers to guarantee closed-loop system properties Proceedings of the American Control Conference. 3573-3580 |
| Parolini L, Sinopoli B, Krogh BH. (2011) Model predictive control of data centers in the smart grid scenario Ifac Proceedings Volumes (Ifac-Papersonline). 18: 10505-10510 |