Bruce H. Krogh

ORCID

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 14

Top Venues

ACC

CoRR

CDC

IEEE Trans. Autom. Control.

Publications

Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli
Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks. IEEE Trans. Control. Syst. Technol. 31 (4) (2023)
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli
Runtime System Support for CPS Software Rejuvenation. IEEE Trans. Emerg. Top. Comput. 11 (3) (2023)
Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli
Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems. CoRR (2022)
Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Reducing Attack Opportunities Through Decentralized Event-Triggered Control. CoRR (2022)
Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Reducing Attack Vulnerabilities Through Decentralized Event-Triggered Control. CDC (2021)
Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Resilient Control in the Presence of Man-in-the-Middle Attacks. ACC (2021)
Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Robust Software Rejuvenation for CPS with State Estimation and Disturbances. ACC (2020)
Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Secure Networked Control for Decentralized Systems via Software Rejuvenation. ACC (2020)
Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Decentralized Event-Triggered Control in the Presence of Adversaries. CDC (2020)
Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Design of Software Rejuvenation for CPS Security Using Invariant Sets. ACC (2019)
Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Safety and Liveness of Software Rejuvenation for Secure Tracking Control. ECC (2019)
Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Secure Networked Control via Software Rejuvenation. CDC (2019)
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli
Software Rejuvenation for Secure Tracking Control. CoRR (2018)
Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Design of Software Rejuvenation for CPS Security Using Invariant Sets. CoRR (2018)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Forward Invariant Cuts to Simplify Proofs of Safety. CoRR (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Forward invariant cuts to simplify proofs of safety. EMSOFT (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Numerically-aided Deductive Safety Proof for a Powertrain Control System. Electron. Notes Theor. Comput. Sci. 317 (2015)
Matthias Althoff, Bruce H. Krogh
Reachability Analysis of Nonlinear Differential-Algebraic Systems. IEEE Trans. Autom. Control. 59 (2) (2014)
Clarence Agbi, Bruce H. Krogh
Decentralized identification of building models. ACC (2014)
Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl
Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. 59 (12) (2014)
Nikos Aréchiga, Bruce H. Krogh
Using verified control envelopes for safe controller design. ACC (2014)
Akshay Rajhans, Bruce H. Krogh
Compositional heterogeneous abstraction. HSCC (2013)
Emre Can Kara, J. Zico Kolter, Mario Berges, Bruce H. Krogh, Gabriela Hug, Tugçe Yüksel
A moving horizon state estimator in the control of thermostatically controlled loads for demand response. SmartGridComm (2013)
Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi
Formal verification of phase-locked loops using reachability analysis and continuization. Commun. ACM 56 (10) (2013)
Emre Can Kara, Mario Berges, Bruce H. Krogh, Soummya Kar
Using smart devices for system-level management and control in the smart grid: A reinforcement learning framework. SmartGridComm (2012)
Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh
Using theorem provers to guarantee closed-loop system properties. ACC (2012)
Clarence Agbi, Zhen Song, Bruce H. Krogh
Parameter identifiability for multi-zone building models. CDC (2012)
Akshay Rajhans, Bruce H. Krogh
Heterogeneous verification of cyber-physical systems using behavior relations. HSCC (2012)
Matthias Althoff, Bruce H. Krogh
Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC (2012)
Luca Parolini, Bruno Sinopoli, Bruce H. Krogh, Zhikui Wang
A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency. Proc. IEEE 100 (1) (2012)
Matthias Althoff, Colas Le Guernic, Bruce H. Krogh
Reachable set computation for uncertain time-varying linear systems. HSCC (2011)
Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi
Formal verification of phase-locked loops using reachability analysis and continuization. ICCAD (2011)
Le Xie, Pedro M. S. Carvalho, Luis A. F. M. Ferreira, Juhua Liu, Bruce H. Krogh, Nipun Popli, Marija D. Ilic
Wind Integration in Power Systems: Operational Challenges and Possible Solutions. Proc. IEEE 99 (1) (2011)
Juhua Liu, Bruce H. Krogh, B. Erik Ydstie
Passivity-based robust control for power systems subject to wind power variability. ACC (2011)
Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan
Using parameters in architectural views to support heterogeneous design and verification. CDC/ECC (2011)
Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl
View Consistency in Architectures for Cyber-Physical Systems. ICCPS (2011)
Matthias Althoff, Bruce H. Krogh
Zonotope bundles for the efficient computation of reachable sets. CDC/ECC (2011)
Luca Parolini, Emanuele Garone, Bruno Sinopoli, Bruce H. Krogh
A hierarchical approach to energy management in data centers. CDC (2010)
Oded Maler, Kim G. Larsen, Bruce H. Krogh
On Zone-Based Analysis of Duration Probabilistic Automata INFINITY (2010)
James Kapinski, Bruce H. Krogh
On incrementally bounded systems. ACC (2010)
Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh
A cyber-physical systems approach to energy management in data centers. ICCPS (2010)
Juhua Liu, Bruce H. Krogh, Marija D. Ilic
Robust control design for frequency regulation in power systems with high wind penetration. ACC (2010)
Haotian Zhang, José M. F. Moura, Bruce H. Krogh
Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. IEEE Trans. Signal Process. 57 (6) (2009)
James E. Weimer, Bruno Sinopoli, Bruce H. Krogh
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. RTSS (2009)
Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC (2009)
Juhua Liu, Bruce H. Krogh, Marija D. Ilic
Saturation-induced instability in electric power systems. ACC (2008)
Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh
Verification of Supervisory Control Software Using State Proximity and Merging. HSCC (2008)
James E. Weimer, Bruno Sinopoli, Bruce H. Krogh
A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops (2008)
Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC (2008)
James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
Control software model checking using bisimulation functions for nonlinear systems. CDC (2008)
Ajinkya Bhave, Bruce H. Krogh
Performance bounds on state-feedback controllers with network delay. CDC (2008)
Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh
Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC (2008)
Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm
Integration of Formal Analysis into a Model-Based Software Development Process. FMICS (2007)
Bruce H. Krogh
From Analysis to Design. FORMATS (2007)
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC (2007)
Rajesh Kumar, Bruce H. Krogh
A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. ACC (2007)
James E. Weimer, Bruce H. Krogh
Hierarchical modeling of mode-switching systems. SCSC (2007)
Zhi Han, Bruce H. Krogh
Reachability analysis of nonlinear systems using trajectory piecewise linearized models. ACC (2006)
Rajesh Kumar, Bruce H. Krogh
Heterogeneous verification of embedded control systems. ACC (2006)
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
Time Domain Verification of Oscillator Circuit Properties. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Tian He, Sudha Krishnamurthy, Liqian Luo, Ting Yan, Lin Gu, Radu Stoleru, Gang Zhou, Qing Cao, Pascal Vicaire, John A. Stankovic, Tarek F. Abdelzaher, Jonathan Hui, Bruce H. Krogh
VigilNet: An integrated sensor network system for energy-efficient surveillance. ACM Trans. Sens. Networks 2 (1) (2006)
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE (2006)
Haotian Zhang, Bruce H. Krogh, José M. F. Moura
Inner Source Identification for Field Estimation in Wireless Sensor Networks. ICASSP (4) (2006)
Zhi Han, Bruce H. Krogh
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC (2006)
Qianchuan Zhao, Bruce H. Krogh
Formal verification of statecharts using finite-state model checkers. IEEE Trans. Control. Syst. Technol. 14 (5) (2006)
Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
High-Confidence Medical Device Software and Systems. Computer 39 (4) (2006)
Ansgar Fehnker, Bruce H. Krogh
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. Int. J. Found. Comput. Sci. 17 (4) (2006)
Lin Gu, Dong Jia, Pascal Vicaire, Ting Yan, Liqian Luo, Ajay Tirumala, Qing Cao, Tian He, John A. Stankovic, Tarek F. Abdelzaher, Bruce H. Krogh
Lightweight detection and classification for wireless sensor networks in realistic environments. SenSys (2005)
Dong Jia, Bruce H. Krogh
Min-max feedback model predictive control with state estimation. ACC (2005)
James S. Freudenberg, Bruce H. Krogh
Industry needs for embedded control education. ACC (2005)
Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC (2005)
Haotian Zhang, José M. F. Moura, Bruce H. Krogh
Estimation in sensor networks: a graph approach. IPSN (2005)
Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers 54 (4) (2005)
Zhi Han, Bruce H. Krogh
Reachability Analysis for Affine Systems Using ε -Decomposition. CDC/ECC (2005)
Sarash Talukdar, Dong Jia, Paul Hines, Bruce H. Krogh
Distributed Model Predictive Control for the Mitigation of Cascading Failures. CDC/ECC (2005)
Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC (2005)
Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste, Donald E. Thomas, Chenxi Wang
Undergraduate embedded system education at Carnegie Mellon. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Zhiyuan Ren, Bruce H. Krogh
Markov decision Processes with fractional costs. IEEE Trans. Autom. Control. 50 (5) (2005)
Zhi Han, Bruce H. Krogh
Reachability analysis of hybrid control systems using reduced-order models. ACC (2004)
Ansgar Fehnker, Bruce H. Krogh
Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA (2004)
Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli
Challenges and solution techniques for hybrid simulation. CDC (2004)
James Kapinski, Bruce H. Krogh
Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs. ACC (2004)
Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar
Managing Verification Activities Using SVM. ICFEM (2004)
Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
Hierarchical Adaptive Dynamic Power Management. DATE (2004)
Tian He, Sudha Krishnamurthy, John A. Stankovic, Tarek F. Abdelzaher, Liqian Luo, Radu Stoleru, Ting Yan, Lin Gu, Jonathan Hui, Bruce H. Krogh
Energy-Efficient Surveillance System Using Wireless Sensor Networks. MobiSys (2004)
Haotian Zhang, Bruce H. Krogh, José M. F. Moura, Wei Zhang
Estimation in virtual sensor-actuator arrays using reduced-order physical models. CDC (2004)
Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar
Towards formal verification of analog designs. ICCAD (2004)
Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS (2003)
Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14 (4) (2003)
Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh
Sentry-Based Power Management in Wireless Sensor Networks. IPSN (2003)
Olaf Stursberg, Bruce H. Krogh
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC (2003)
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
On Systematic Simulation of Open Continuous Systems. HSCC (2003)
Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS (2003)
Alongkrit Chutinan, Bruce H. Krogh
Computational techniques for hybrid system verification. IEEE Trans. Autom. Control. 48 (1) (2003)
Dong Jia, Bruce H. Krogh
Min-max feedback model predictive control for distributed control with communication. ACC (2002)
Hai-Long Pei, Bruce H. Krogh
. CDC (2002)
Oded Maler, Bruce H. Krogh, Moez Mahfoudh
On Control with Bounded Computational Resources. FTRTFT (2002)
Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai
Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2002)
Zhiyuan Ren, Bruce H. Krogh
State aggregation in Markov decision processes. CDC (2002)

Bruce H. Krogh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bruce H. Krogh