Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBruce H. Krogh
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j37]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): 1565-1580 (2023)- [j36]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): 594-604 (2023) - 2022
- [i5]Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli:
Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems. CoRR abs/2205.00372 (2022) - [i4]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Reducing Attack Opportunities Through Decentralized Event-Triggered Control. CoRR abs/2208.00146 (2022) - 2021
- [c104]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Resilient Control in the Presence of Man-in-the-Middle Attacks. ACC 2021: 4553-4560 - [c103]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Reducing Attack Vulnerabilities Through Decentralized Event-Triggered Control. CDC 2021: 5715-5722 - 2020
- [c102]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Robust Software Rejuvenation for CPS with State Estimation and Disturbances. ACC 2020: 1241-1246 - [c101]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Secure Networked Control for Decentralized Systems via Software Rejuvenation. ACC 2020: 1266-1273 - [c100]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Decentralized Event-Triggered Control in the Presence of Adversaries. CDC 2020: 3236-3242
2010 – 2019
- 2019
- [c99]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Design of Software Rejuvenation for CPS Security Using Invariant Sets. ACC 2019: 3740-3745 - [c98]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Secure Networked Control via Software Rejuvenation. CDC 2019: 3878-3884 - [c97]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Safety and Liveness of Software Rejuvenation for Secure Tracking Control. ECC 2019: 2215-2220 - 2018
- [i3]Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli:
Software Rejuvenation for Secure Tracking Control. CoRR abs/1810.10468 (2018) - [i2]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Design of Software Rejuvenation for CPS Security Using Invariant Sets. CoRR abs/1810.10484 (2018) - 2016
- [c96]Jesse Thornburg, Bruce H. Krogh, Taha Selim Ustun:
Stochastic Simulator for Smart Microgrid Planning. ACM DEV 2016: 22:1-22:4 - 2015
- [c95]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Forward invariant cuts to simplify proofs of safety. EMSOFT 2015: 227-236 - [i1]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Forward Invariant Cuts to Simplify Proofs of Safety. CoRR abs/1507.05133 (2015) - 2014
- [j35]Matthias Althoff, Bruce H. Krogh:
Reachability Analysis of Nonlinear Differential-Algebraic Systems. IEEE Trans. Autom. Control. 59(2): 371-383 (2014) - [j34]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): 3178-3193 (2014) - [c94]Clarence Agbi, Bruce H. Krogh:
Decentralized identification of building models. ACC 2014: 1070-1075 - [c93]Nikos Aréchiga, Bruce H. Krogh:
Using verified control envelopes for safe controller design. ACC 2014: 2918-2923 - [c92]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Numerically-aided Deductive Safety Proof for a Powertrain Control System. NSV 2014: 19-25 - 2013
- [j33]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): 97-104 (2013) - [c91]Akshay Rajhans, Bruce H. Krogh:
Compositional heterogeneous abstraction. HSCC 2013: 253-262 - [c90]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: 253-258 - 2012
- [j32]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): 254-268 (2012) - [c89]Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh:
Using theorem provers to guarantee closed-loop system properties. ACC 2012: 3573-3580 - [c88]Clarence Agbi, Zhen Song, Bruce H. Krogh:
Parameter identifiability for multi-zone building models. CDC 2012: 6951-6956 - [c87]Akshay Rajhans, Bruce H. Krogh:
Heterogeneous verification of cyber-physical systems using behavior relations. HSCC 2012: 35-44 - [c86]Matthias Althoff, Bruce H. Krogh:
Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54 - [c85]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: 85-90 - 2011
- [j31]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): 214-232 (2011) - [c84]Juhua Liu, Bruce H. Krogh, B. Erik Ydstie:
Passivity-based robust control for power systems subject to wind power variability. ACC 2011: 4149-4154 - [c83]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: 2705-2710 - [c82]Matthias Althoff, Bruce H. Krogh:
Zonotope bundles for the efficient computation of reachable sets. CDC/ECC 2011: 6814-6821 - [c81]Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102 - [c80]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: 659-666 - [c79]Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl:
View Consistency in Architectures for Cyber-Physical Systems. ICCPS 2011: 151-160 - 2010
- [c78]Juhua Liu, Bruce H. Krogh, Marija D. Ilic:
Robust control design for frequency regulation in power systems with high wind penetration. ACC 2010: 4349-4354 - [c77]James Kapinski, Bruce H. Krogh:
On incrementally bounded systems. ACC 2010: 6348-6350 - [c76]Luca Parolini, Emanuele Garone, Bruno Sinopoli, Bruce H. Krogh:
A hierarchical approach to energy management in data centers. CDC 2010: 1065-1070 - [c75]Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh:
A cyber-physical systems approach to energy management in data centers. ICCPS 2010: 168-177 - [c74]Oded Maler, Kim G. Larsen, Bruce H. Krogh:
On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46
2000 – 2009
- 2009
- [j30]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) - [j29]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): 2383-2395 (2009) - [c73]Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179 - [c72]James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. RTSS 2009: 333-342 - 2008
- [c71]Juhua Liu, Bruce H. Krogh, Marija D. Ilic:
Saturation-induced instability in electric power systems. ACC 2008: 580-585 - [c70]Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh:
Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC 2008: 2734-2740 - [c69]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: 4024-4029 - [c68]Ajinkya Bhave, Bruce H. Krogh:
Performance bounds on state-feedback controllers with network delay. CDC 2008: 4608-4613 - [c67]Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200 - [c66]Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh:
Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357 - [c65]James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops 2008: 501-506 - 2007
- [c64]Rajesh Kumar, Bruce H. Krogh:
A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. ACC 2007: 236-241 - [c63]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: 68-84 - [c62]Bruce H. Krogh:
From Analysis to Design. FORMATS 2007: 4 - [c61]Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke:
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC 2007: 287-300 - [c60]James E. Weimer, Bruce H. Krogh:
Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574 - 2006
- [j28]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): 33-38 (2006) - [j27]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): 885-902 (2006) - [j26]Qianchuan Zhao, Bruce H. Krogh:
Formal verification of statecharts using finite-state model checkers. IEEE Trans. Control. Syst. Technol. 14(5): 943-950 (2006) - [j25]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): 1-38 (2006) - [c59]Zhi Han, Bruce H. Krogh:
Reachability analysis of nonlinear systems using trajectory piecewise linearized models. ACC 2006: 1-6 - [c58]Rajesh Kumar, Bruce H. Krogh:
Heterogeneous verification of embedded control systems. ACC 2006: 1-6 - [c57]Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar:
Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262 - [c56]Zhi Han, Bruce H. Krogh:
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC 2006: 287-301 - [c55]Haotian Zhang, Bruce H. Krogh, José M. F. Moura:
Inner Source Identification for Field Estimation in Wireless Sensor Networks. ICASSP (4) 2006: 853-856 - 2005
- [j24]Zhiyuan Ren, Bruce H. Krogh:
Markov decision Processes with fractional costs. IEEE Trans. Autom. Control. 50(5): 646-650 (2005) - [j23]Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu:
Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers 54(4): 409-420 (2005) - [j22]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): 500-528 (2005) - [c54]Dong Jia, Bruce H. Krogh:
Min-max feedback model predictive control with state estimation. ACC 2005: 262-267 - [c53]James S. Freudenberg, Bruce H. Krogh:
Industry needs for embedded control education. ACC 2005: 4543-4550 - [c52]Sarash Talukdar, Dong Jia, Paul Hines, Bruce H. Krogh:
Distributed Model Predictive Control for the Mitigation of Cascading Failures. CDC/ECC 2005: 4440-4445 - [c51]Zhi Han, Bruce H. Krogh:
Reachability Analysis for Affine Systems Using ε -Decomposition. CDC/ECC 2005: 6984-6990 - [c50]Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh:
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257 - [c49]Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385 - [c48]Haotian Zhang, José M. F. Moura, Bruce H. Krogh:
Estimation in sensor networks: a graph approach. IPSN 2005: 203-209 - [c47]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: 205-217 - [c46]Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler:
Time Domain Verification of Oscillator Circuit Properties. FAC 2005: 9-22 - 2004
- [c45]Zhi Han, Bruce H. Krogh:
Reachability analysis of hybrid control systems using reduced-order models. ACC 2004: 1183-1189 - [c44]James Kapinski, Bruce H. Krogh:
Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs. ACC 2004: 2852-2857 - [c43]Ansgar Fehnker, Bruce H. Krogh:
Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277 - [c42]Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli:
Challenges and solution techniques for hybrid simulation. CDC 2004 - [c41]Haotian Zhang, Bruce H. Krogh, José M. F. Moura, Wei Zhang:
Estimation in virtual sensor-actuator arrays using reduced-order physical models. CDC 2004: 3792-3797 - [c40]Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu:
Hierarchical Adaptive Dynamic Power Management. DATE 2004: 136-141 - [c39]Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar:
Towards formal verification of analog designs. ICCAD 2004: 210-217 - [c38]Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar:
Managing Verification Activities Using SVM. ICFEM 2004: 61-75 - [c37]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 - 2003
- [j21]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): 583-604 (2003) - [j20]Alongkrit Chutinan, Bruce H. Krogh:
Computational techniques for hybrid system verification. IEEE Trans. Autom. Control. 48(1): 64-75 (2003) - [c36]Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh:
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS 2003: 289-294 - [c35]James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg:
On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297 - [c34]Olaf Stursberg, Bruce H. Krogh:
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497 - [c33]Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh:
Sentry-Based Power Management in Wireless Sensor Networks. IPSN 2003: 458-472 - [c32]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: 192-207 - 2002
- [j19]Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai:
Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2407-2413 (2002) - [c31]Dong Jia, Bruce H. Krogh:
Min-max feedback model predictive control for distributed control with communication. ACC 2002: 4507-4512 - [c30]Hai-Long Pei, Bruce H. Krogh:
On the operator Post-1. CDC 2002: 2385-2390 - [c29]Zhiyuan Ren, Bruce H. Krogh:
State aggregation in Markov decision processes. CDC 2002: 3819-3824 - [c28]Oded Maler, Bruce H. Krogh, Moez Mahfoudh:
On Control with Bounded Computational Resources. FTRTFT 2002: 147-164 - 2001
- [j18]Zhiyuan Ren, Bruce H. Krogh:
Adaptive control of Markov chains with average cost. IEEE Trans. Autom. Control. 46(4): 613-617 (2001) - [j17]Alongkrit Chutinan, Bruce H. Krogh:
Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. Autom. Control. 46(9): 1401-1410 (2001) - [j16]Xu Cheng, Bruce H. Krogh:
Stability-constrained model predictive control. IEEE Trans. Autom. Control. 46(11): 1816-1820 (2001) - [c27]Zhiyuan Ren, Bruce H. Krogh:
Mode-matching control policies for multi-mode Markov decision processes. ACC 2001: 95-100 - [c26]Qianchuan Zhao, Bruce H. Krogh:
Formal verification of Statecharts using finite-state model checkers. ACC 2001: 313-318 - [c25]Dong Jia, Bruce H. Krogh:
Distributed model predictive control. ACC 2001: 2767-2772 - [c24]Hai-Long Pei, Bruce H. Krogh:
Stability regions for systems with mode transitions. ACC 2001: 4834-4839 - [c23]B. Izaias Silva, Bruce H. Krogh:
Modeling and verification of hybrid systems with clocked and unclocked events. CDC 2001: 762-767 - [c22]Zhiyuan Ren, Bruce H. Krogh:
Switching control in multi-mode Markov decision processes. CDC 2001: 2095-2101 - [c21]B. Izaias Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell:
An assessment of the current status of algorithmic approaches to the verification of hybrid systems. CDC 2001: 2867-2874 - [c20]Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6 - [c19]José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh:
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. HSCC 2001: 247-260 - 2000
- [c18]B. Izaias Silva, Bruce H. Krogh:
Formal verification of hybrid systems using CheckMate: a case study. ACC 2000: 1679-1683 - [c17]Alongkrit Chutinan, Bruce H. Krogh:
Approximating quotient transition systems for hybrid systems. ACC 2000: 1689-1693 - [e1]Nancy A. Lynch, Bruce H. Krogh:
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Lecture Notes in Computer Science 1790, Springer 2000, ISBN 3-540-67259-1 [contents]
1990 – 1999
- 1999
- [j15]José Eduardo Ribeiro Cury, Bruce H. Krogh:
Robustness of supervisors for discrete-event systems. IEEE Trans. Autom. Control. 44(2): 376-379 (1999) - [c16]