Bruce H. Krogh

Akshay Rajhans, Bruce H. Krogh: Compositional heterogeneous abstraction. HSCC 2013: 253-262

Luca Parolini, Bruno Sinopoli, Bruce H. Krogh, Zhikui Wang: A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency. Proceedings of the IEEE 100(1): 254-268 (2012)

Clarence Agbi, Zhen Song, Bruce H. Krogh: Parameter identifiability for multi-zone building models. CDC 2012: 6951-6956

Akshay Rajhans, Bruce H. Krogh: Heterogeneous verification of cyber-physical systems using behavior relations. HSCC 2012: 35-44

Matthias Althoff, Bruce H. Krogh: Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54

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. Proceedings of the IEEE 99(1): 214-232 (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-ECE 2011: 2705-2710

Matthias Althoff, Bruce H. Krogh: Zonotope bundles for the efficient computation of reachable sets. CDC-ECE 2011: 6814-6821

Matthias Althoff, Colas Le Guernic, Bruce H. Krogh: Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102

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

Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl: View Consistency in Architectures for Cyber-Physical Systems. ICCPS 2011: 151-160

Luca Parolini, Emanuele Garone, Bruno Sinopoli, Bruce H. Krogh: A hierarchical approach to energy management in data centers. CDC 2010: 1065-1070

Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh: A cyber-physical systems approach to energy management in data centers. ICCPS 2010: 168-177

Oded Maler, Kim G. Larsen, Bruce H. Krogh: On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46

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. ECEASST 21 (2009)

Haotian Zhang, José M. F. Moura, Bruce H. Krogh: Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. IEEE Transactions on Signal Processing 57(6): 2383-2395 (2009)

Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179

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

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

Ajinkya Bhave, Bruce H. Krogh: Performance bounds on state-feedback controllers with network delay. CDC 2008: 4608-4613

Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200

Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh: Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357

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

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

Bruce H. Krogh: From Analysis to Design. FORMATS 2007: 4

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

James E. Weimer, Bruce H. Krogh: Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574

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. IEEE Computer 39(4): 33-38 (2006)

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler: Time Domain Verification of Oscillator Circuit Properties. Electr. Notes Theor. Comput. Sci. 153(3): 9-22 (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): 885-902 (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. TOSN 2(1): 1-38 (2006)

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar: Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262

Zhi Han, Bruce H. Krogh: Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC 2006: 287-301

Zhiyuan Ren, Bruce H. Krogh: Markov decision Processes with fractional costs. IEEE Trans. Automat. Contr. 50(5): 646-650 (2005)

Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu: Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers 54(4): 409-420 (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. Embedded Comput. Syst. 4(3): 500-528 (2005)

Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257

Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler: An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385

Haotian Zhang, José M. F. Moura, Bruce H. Krogh: Estimation in sensor networks: a graph approach. IPSN 2005: 203-209

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

Ansgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277

Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu: Hierarchical Adaptive Dynamic Power Management. DATE 2004: 136-141

Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar: Towards formal verification of analog designs. ICCAD 2004: 210-217

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

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

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)

Alongkrit Chutinan, Bruce H. Krogh: Computational techniques for hybrid system verification. IEEE Trans. Automat. Contr. 48(1): 64-75 (2003)

James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297

Olaf Stursberg, Bruce H. Krogh: Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497

Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh: Sentry-Based Power Management in Wireless Sensor Networks. IPSN 2003: 458-472

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

Oded Maler, Bruce H. Krogh, Moez Mahfoudh: On Control with Bounded Computational Resources. FTRTFT 2002: 147-164

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

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

Nancy A. Lynch, Bruce H. Krogh (Eds.): 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

Bruce H. Krogh: Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). ICATPN 1999: 106

Bruce H. Krogh: Approximating Hybrid System Dynamics for Analysis and Control (Abstract). HSCC 1999: 2

Alongkrit Chutinan, Bruce H. Krogh: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90

Archana S. Sathaye, Bruce H. Krogh: Supervisor Synthesis for Real-Time Discrete Event Systems. Discrete Event Dynamic Systems 8(1): 5-35 (1998)

Enrique D. Ferreira, Bruce H. Krogh: Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. HSCC 1998: 126-142

Lawrence E. Holloway, Bruce H. Krogh, A. Giua: A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems 7(2): 151-190 (1997)

Alongkrit Chutinan, Bruce H. Krogh: Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37

Enrique D. Ferreira, Bruce H. Krogh: Controller Scheduling Using Neural Networks: Implementation and Experimental Results. Hybrid Systems 1997: 86-99

Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig: Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. EUROSIM 1995: 421-426

Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury: Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. Hybrid Systems 1995: 475-484

Timothy J. Graettinger, Bruce H. Krogh: On the computation of reference signal constraints for guaranteed tracking performance. Automatica 28(6): 1125-1141 (1992)

Bruce H. Krogh, Lawrence E. Holloway: Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4): 641-651 (1991)

R. S. Sreenivas, Bruce H. Krogh: On condition/event systems with discrete state realizations. Discrete Event Dynamic Systems 1(2): 209-236 (1991)

Reg G. Willson, Bruce H. Krogh: Petri Net Tools for the Specification and Analysis of Discrete Controllers. IEEE Trans. Software Eng. 16(1): 39-50 (1990)

Bruce H. Krogh, H. Vincent Poor: The segment method as an alternative to minimax in hypothesis testing. Inf. Sci. 27(1): 9-37 (1982)