A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency
Parolini, Luca, Sinopoli, Bruno, Krogh, Bruce H., Wang, Zhikui
Published in Proceedings of the IEEE (01.01.2012)
Published in Proceedings of the IEEE (01.01.2012)
Get full text
Journal Article
Supporting Heterogeneity in Cyber-Physical Systems Architectures
Rajhans, Akshay, Bhave, Ajinkya, Ruchkin, Ivan, Krogh, Bruce H., Garlan, David, Platzer, Andre, Schmerl, Bradley
Published in IEEE transactions on automatic control (01.12.2014)
Published in IEEE transactions on automatic control (01.12.2014)
Get full text
Journal Article
Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks
Romagnoli, Raffaele, Krogh, Bruce H., de Niz, Dionisio, Hristozov, Anton D., Sinopoli, Bruno
Published in IEEE transactions on control systems technology (01.07.2023)
Published in IEEE transactions on control systems technology (01.07.2023)
Get full text
Journal Article
Wind Integration in Power Systems: Operational Challenges and Possible Solutions
Xie, Le, Carvalho, Pedro M. S., Ferreira, Luis A. F. M., Liu, Juhua, Krogh, Bruce H., Popli, Nipun, Ilic, Marija D.
Published in Proceedings of the IEEE (01.01.2011)
Published in Proceedings of the IEEE (01.01.2011)
Get full text
Journal Article
Reducing Attack Opportunities Through Decentralized Event-Triggered Control
Griffioen, Paul, Romagnoli, Raffaele, Krogh, Bruce H., Sinopoli, Bruno
Published in IEEE transactions on control of network systems (01.09.2024)
Published in IEEE transactions on control of network systems (01.09.2024)
Get full text
Journal Article
Runtime System Support for CPS Software Rejuvenation
Romagnoli, Raffaele, Krogh, Bruce H., Niz, Dionisio de, Hristozov, Anton D., Sinopoli, Bruno
Published in IEEE transactions on emerging topics in computing (01.07.2023)
Published in IEEE transactions on emerging topics in computing (01.07.2023)
Get full text
Journal Article
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes
Get full text
Book Chapter
Conference Proceeding
Control-Based Modeling and Simulation of the Chemical-Looping Combustion Process
Balaji, S, Ilic, Jovan, Ydstie, B. Erik, Krogh, Bruce H
Published in Industrial & engineering chemistry research (19.05.2010)
Published in Industrial & engineering chemistry research (19.05.2010)
Get full text
Journal Article
Verification of a cruise control system using counterexample-guided search
Stursberg, Olaf, Fehnker, Ansgar, Han, Zhi, Krogh, Bruce H
Published in Control engineering practice (01.10.2004)
Published in Control engineering practice (01.10.2004)
Get full text
Journal Article
On Zone-Based Analysis of Duration Probabilistic Automata
Maler, Oded, Larsen, Kim G., Krogh, Bruce H.
Published in Electronic proceedings in theoretical computer science (28.10.2010)
Published in Electronic proceedings in theoretical computer science (28.10.2010)
Get full text
Journal Article
Formal verification of statecharts using finite-state model checkers
Qianchuan Zhao, Krogh, B.H.
Published in IEEE transactions on control systems technology (01.09.2006)
Published in IEEE transactions on control systems technology (01.09.2006)
Get full text
Journal Article
Robust Software Rejuvenation for CPS with State Estimation and Disturbances
Romagnoli, Raffaele, Krogh, Bruce H., Sinopoli, Bruno
Published in 2020 American Control Conference (ACC) (01.07.2020)
Published in 2020 American Control Conference (ACC) (01.07.2020)
Get full text
Conference Proceeding
Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems
Griffioen, Paul, Krogh, Bruce H., Sinopoli, Bruno
Published in IEEE transactions on automatic control (2024)
Published in IEEE transactions on automatic control (2024)
Get full text
Journal Article
Reducing Attack Vulnerabilities Through Decentralized Event-Triggered Control
Griffioen, Paul, Romagnoli, Raffaele, Krogh, Bruce H., Sinopoli, Bruno
Published in 2021 60th IEEE Conference on Decision and Control (CDC) (14.12.2021)
Published in 2021 60th IEEE Conference on Decision and Control (CDC) (14.12.2021)
Get full text
Conference Proceeding
Secure Networked Control via Software Rejuvenation
Griffioen, Paul, Romagnoli, Raffaele, Krogh, Bruce H., Sinopoli, Bruno
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Get full text
Conference Proceeding
Resilient Control in the Presence of Man-in-the-Middle Attacks
Griffioen, Paul, Romagnoli, Raffaele, Krogh, Bruce H., Sinopoli, Bruno
Published in 2021 American Control Conference (ACC) (25.05.2021)
Published in 2021 American Control Conference (ACC) (25.05.2021)
Get full text
Conference Proceeding