Bruce H. Krogh - Publications, H-index & Citations

Back

Bruce H. Krogh

Carnegie Mellon University

55H-index

299Paper Count

1.3WCitation Count

Published Papers 21

Publication Date

Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2024-12-01

OAAI

Griffioen, Paul; Krogh, Bruce H.; Sinopoli, Bruno

Save

Reducing Attack Opportunities Through Decentralized Event-Triggered Control

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS

IF5

2024-09-01

OAAI

Griffioen, Paul; Romagnoli, Raffaele; Krogh, Bruce H.; Sinopoli, Bruno

Save

Runtime System Support for CPS Software Rejuvenation

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING

IF5.4

2023-07-01

PREAI

Romagnoli, Raffaele; Krogh, Bruce H.; de Niz, Dionisio; Hristozov, Anton D.; Sinopoli, Bruno

Save

Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY

IF3.9

2023-07-01

PREAI

Romagnoli, Raffaele; Krogh, Bruce H.; de Niz, Dionisio; Hristozov, Anton D.; Sinopoli, Bruno

Save

A tool for assessing demand side management and operating strategies for isolated microgrids

ENERGY FOR SUSTAINABLE DEVELOPMENT

IF4.9

2021-10-01

OAAI

Thornburg, Jesse; Krogh, Bruce H.

Save

Supporting Heterogeneity in Cyber-Physical Systems Architectures

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2014-12-01

PREAI

Rajhans, Akshay; Bhave, Ajinkya; Ruchkin, Ivan; Krogh, Bruce H.; Garlan, David; Platzer, Andre; Schmerl, Bradley

Save

Reachability Analysis of Nonlinear Differential-Algebraic Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2014-02-01

OAAI

Althoff, Matthias; Krogh, Bruce H.

Save

A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency

PROCEEDINGS OF THE IEEE

IF25.9

2012-01-01

143

PREAI

Parolini, Luca; Sinopoli, Bruno; Krogh, Bruce H.; Wang, Zhikui

Save

Wind Integration in Power Systems: Operational Challenges and Possible Solutions

PROCEEDINGS OF THE IEEE

IF25.9

2011-01-01

354

PREAI

Xie, Le; Carvalho, Pedro M. S.; Ferreira, Luis A. F. M.; Liu, Juhua; Krogh, Bruce H.; Popli, Nipun; Ilic, Marija D.

Save

Control-Based Modeling and Simulation of the Chemical-Looping Combustion Process

INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH

IF3.9

2010-04-13

PREAI

Balaji, S.; Ilic, Jovan; Ydstie, B. Erik; Krogh, Bruce H.

Save

ACTL strong negation and its application to hybrid systems verification

CONTROL ENGINEERING PRACTICE

IF4.6

2006-10-01

PREAI

Han, Zhi; Chutinan, Alongkrit; Krogh, Bruce H.

Save

Formal verification of statecharts using finite-state model checkers

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY

IF3.9

2006-09-01

PREAI

Zhao, Qianchuan; Krogh, Bruce H.

Save

Markov decision processes with fractional costs

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2005-05-01

PREAI

Ren, ZY; Krogh, BH

Save

Verification of a cruise control system using counterexample-guided search

CONTROL ENGINEERING PRACTICE

IF4.6

2004-10-01

PREAI

Stursberg, O; Fehnker, A; Han, Z; Krogh, BH

Save

Generating test inputs for embedded control systems

IEEE CONTROL SYSTEMS MAGAZINE

IF6.3

2003-08-01

PREAI

Zhao, QC; Krogh, BH; Hubbard, P

Save

Computational techniques for hybrid system verification

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2003-01-01

259

OAAI

Chutinan, A; Krogh, BH

Save

Adaptive control of Markov chains with average cost

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2001-04-01

PREAI

Ren, ZY; Krogh, BH

Save

Stability-constrained model predictive control

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2001-01-01

PREAI

Cheng, X; Krogh, BH

Save

Robustness of supervisors for discrete-event systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

1999-01-01

PREAI

Cury, JER; Krogh, BH

Save

Dynamic control system upgrade using the simplex architecture

IEEE CONTROL SYSTEMS MAGAZINE

IF6.3

1998-08-01

PREAI

Seto, D; Krogh, BH; Sha, L; Chutinan, A

Save

Research Directions