Edit Profile Krogh, Bruce H. Compute Distance To: Compute Author ID: krogh.bruce-h Published as: Krogh, B. H.; Krogh, Bruce; Krogh, Bruce H. External Links: MGP · Wikidata Documents Indexed: 52 Publications since 1978, including 1 Book all top 5 Co-Authors 0 single-authored 5 Chutinan, Alongkrit 5 Clarke, Edmund Melson jun. 5 Stursberg, Olaf 4 Fehnker, Ansgar 4 Rajhans, Akshay 3 Althoff, Matthias 3 Cury, José Eduardo Ribeiro 3 Graettinger, Timothy J. 3 Han, Zhi 3 Holloway, Lawrence E. 3 Jha, Sumit Kumar 3 Kapinski, James 3 Ren, Zhiyuan 2 Cruz, José B. jun. 2 Feng, Dai 2 Maler, Oded 2 Niinomi, Toshihiko 2 Platzer, André 2 Theobald, Michael 1 Aréchiga, Nikos 1 Banaszak, Zbigniew Antoni 1 Bhave, Ajinkya 1 Cheng, Xu 1 da Cunha, Antonio Eduardo Carrilho 1 Deshmukh, Jyotirmoy V. 1 Donzé, Alexandre 1 Feiler, Peter 1 Ferreira, Enrique D. 1 Frehse, Goran 1 Garlan, David 1 Giua, Alesssandro 1 González, José M. E. 1 Henzinger, Thomas A. 1 Hui, Jonathan 1 Jia, Dong 1 Kokotovic, Petar V. 1 Kowalewski, Stefan 1 Kumar, Rajesh S. 1 Le Guernic, Colas 1 Lerda, Flavio 1 Lynch, Nancy Ann 1 Morari, Manfred 1 Moura, José M. F. 1 Ouaknine, Joel O. 1 Poor, Harold Vincent 1 Ruchkin, Ivan 1 Sangiovanni-Vincentelli, Alberto L. 1 Schmerl, Bradley R. 1 Sreenivas, Ramavarapu S. 1 Weimer, James E. 1 Zhang, Haotian all top 5 Serials 14 IEEE Transactions on Automatic Control 2 Journal of Optimization Theory and Applications 2 Discrete Event Dynamic Systems 1 Automatica 1 Information Sciences 1 Mathematical and Computer Modelling 1 Journal of Robotic Systems 1 IEEE Transactions on Signal Processing 1 International Journal of Foundations of Computer Science 1 Applied Mathematics and Computer Science 1 Mathematical and Computer Modelling of Dynamical Systems 1 Lecture Notes in Computer Science all top 5 Fields 42 Systems theory; control (93-XX) 27 Computer science (68-XX) 4 Operations research, mathematical programming (90-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Mechanics of particles and systems (70-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Ordinary differential equations (34-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 38 Publications have been cited 272 times in 211 Documents Cited by ▼ Year ▼ Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. Zbl 0954.93020Chutinan, Alongkrit; Krogh, Bruce H. 27 1999 Computational techniques for hybrid system verification. Zbl 1364.93457Chutinan, Alongkrit; Krogh, Bruce H. 26 2003 Synthesis of feedback control logic for a class of controlled Petri nets. Zbl 0709.68035Holloway, Lawrence E.; Krogh, Bruce H. 26 1990 A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053Holloway, L. E.; Krogh, B. H.; Giua, A. 25 1997 Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael 19 2003 Efficient representation and computation of reachable sets for hybrid systems. Zbl 1032.93037Stursberg, Olaf; Krogh, Bruce H. 19 2003 Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg, Olaf; Theobald, Michael 11 2003 Verification of infinite-state dynamic systems using approximate quotient transition systems. Zbl 1031.93123Chutinan, Alongkrit; Krogh, Bruce H. 9 2001 A counterexample-guided approach to parameter synthesis for linear hybrid automata. Zbl 1143.68435Frehse, Goran; Jha, Sumit Kumar; Krogh, Bruce H. 7 2008 Robustness of supervisors for discrete-event systems. Zbl 1056.93563Cury, Jose E. R.; Krogh, Bruce H. 7 1999 Hyperplane method for reachable state estimation for linear time- invariant systems. Zbl 0725.93007Graettinger, T. J.; Krogh, B. H. 7 1991 On condition/event systems with discrete state realizations. Zbl 0747.93059Sreenivas, R. S.; Krogh, B. H. 7 1991 Reachability analysis of nonlinear differential-algebraic systems. Zbl 1360.93082Althoff, Matthias; Krogh, Bruce H. 6 2014 Verification of supervisory control software using state proximity and merging. Zbl 1143.68457Lerda, Flavio; Kapinski, James; Clarke, Edmund M.; Krogh, Bruce H. 6 2008 Reachability for linear hybrid automata using iterative relaxation abstraction. Zbl 1221.93115Jha, Sumit K.; Krogh, Bruce H.; Weimer, James E.; Clarke, Edmund M. 6 2007 Synthesis of supervisory controllers for hybrid systems based on approximating automata. Zbl 0905.93023Cury, José E. R.; Krogh, Bruce H.; Niinomi, Toshihiko 6 1998 Avoiding geometric intersection operations in reachability analysis of hybrid systems. Zbl 1362.93012Althoff, Matthias; Krogh, Bruce H. 5 2012 Refining abstractions of hybrid systems using counterexample fragments. Zbl 1078.93041Fehnker, Ansgar; Clarke, Edmund; Jha, Sumit Kumar; Krogh, Bruce 5 2005 Reachable set computation for uncertain time-varying linear systems. Zbl 1362.93013Althoff, Matthias; Le Guernic, Colas; Krogh, Bruce H. 4 2011 Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025Han, Zhi; Krogh, Bruce H. 4 2006 LMI approach to robust model predictive control. Zbl 1116.93027Jia, Dong; Krogh, B. H.; Stursberg, Olaf 4 2005 Stability-constrained model predictive control. Zbl 1018.93008Cheng, Xu; Krogh, Bruce H. 4 2001 Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23–25, 2000. Proceedings. Zbl 0934.00029Lynch, Nancy (ed.); Krogh, Bruce H. (ed.) 4 2000 Controlled Petri nets: A tutorial survey. Zbl 0850.93249Holloway, L. E.; Krogh, B. H. 4 1994 Markov decision processes with fractional costs. Zbl 1365.90261Ren, Zhiyuan; Krogh, Bruce H. 3 2005 On systematic simulation of open continuous systems. Zbl 1032.93532Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf 3 2003 On the computation of reference signal constraints for guaranteed tracking performance. Zbl 0763.93037Graettinger, Timothy J.; Krogh, Bruce H. 3 1992 Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. Zbl 1391.94651Zhang, Haotian; Moura, José M. F.; Krogh, Bruce 2 2009 Parameter synthesis for hybrid systems with an application to Simulink models. Zbl 1237.93089Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay 2 2009 Hybrid system verification is not a sinecure. The electronic throttle control case study. Zbl 1108.68499Fehnker, Ansgar; Krogh, Bruce H. 2 2004 Design of sensitivity-reducing compensators using observers. Zbl 0389.93014Krogh, Bruce; Cruz, J. B. jun. 2 1978 Supporting heterogeneity in cyber-physical systems architectures. Zbl 1360.93475Rajhans, Akshay; Bhave, Ajinkya; Ruchkin, Ivan; Krogh, Bruce H.; Garlan, David; Platzer, André; Schmerl, Bradley 1 2014 Supervision of event-driven hybrid systems: Modeling and synthesis. Zbl 0991.93003González, José M. E.; da Cunha, Antonio E. C.; Cury, José E. R.; Krogh, Bruce H. 1 2002 Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred 1 2002 Computing approximating automata for a class of linear hybrid systems. Zbl 0928.93026Chutinan, Alongkrit; Krogh, Bruce H. 1 1999 State feedback control of condition/event systems. Zbl 0857.93007Krogh, B. H.; Kowalewski, S. 1 1996 Dynamic steering control of conventionally steered mobile robots. Zbl 0737.70015Feng, Dai; Krogh, Bruce H. 1 1991 Acceleration-constrained time-optimal control in n dimensions. Zbl 0599.49011Feng, Dai; Krogh, Bruce H. 1 1986 Reachability analysis of nonlinear differential-algebraic systems. Zbl 1360.93082Althoff, Matthias; Krogh, Bruce H. 6 2014 Supporting heterogeneity in cyber-physical systems architectures. Zbl 1360.93475Rajhans, Akshay; Bhave, Ajinkya; Ruchkin, Ivan; Krogh, Bruce H.; Garlan, David; Platzer, André; Schmerl, Bradley 1 2014 Avoiding geometric intersection operations in reachability analysis of hybrid systems. Zbl 1362.93012Althoff, Matthias; Krogh, Bruce H. 5 2012 Reachable set computation for uncertain time-varying linear systems. Zbl 1362.93013Althoff, Matthias; Le Guernic, Colas; Krogh, Bruce H. 4 2011 Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. Zbl 1391.94651Zhang, Haotian; Moura, José M. F.; Krogh, Bruce 2 2009 Parameter synthesis for hybrid systems with an application to Simulink models. Zbl 1237.93089Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay 2 2009 A counterexample-guided approach to parameter synthesis for linear hybrid automata. Zbl 1143.68435Frehse, Goran; Jha, Sumit Kumar; Krogh, Bruce H. 7 2008 Verification of supervisory control software using state proximity and merging. Zbl 1143.68457Lerda, Flavio; Kapinski, James; Clarke, Edmund M.; Krogh, Bruce H. 6 2008 Reachability for linear hybrid automata using iterative relaxation abstraction. Zbl 1221.93115Jha, Sumit K.; Krogh, Bruce H.; Weimer, James E.; Clarke, Edmund M. 6 2007 Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025Han, Zhi; Krogh, Bruce H. 4 2006 Refining abstractions of hybrid systems using counterexample fragments. Zbl 1078.93041Fehnker, Ansgar; Clarke, Edmund; Jha, Sumit Kumar; Krogh, Bruce 5 2005 LMI approach to robust model predictive control. Zbl 1116.93027Jia, Dong; Krogh, B. H.; Stursberg, Olaf 4 2005 Markov decision processes with fractional costs. Zbl 1365.90261Ren, Zhiyuan; Krogh, Bruce H. 3 2005 Hybrid system verification is not a sinecure. The electronic throttle control case study. Zbl 1108.68499Fehnker, Ansgar; Krogh, Bruce H. 2 2004 Computational techniques for hybrid system verification. Zbl 1364.93457Chutinan, Alongkrit; Krogh, Bruce H. 26 2003 Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael 19 2003 Efficient representation and computation of reachable sets for hybrid systems. Zbl 1032.93037Stursberg, Olaf; Krogh, Bruce H. 19 2003 Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg, Olaf; Theobald, Michael 11 2003 On systematic simulation of open continuous systems. Zbl 1032.93532Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf 3 2003 Supervision of event-driven hybrid systems: Modeling and synthesis. Zbl 0991.93003González, José M. E.; da Cunha, Antonio E. C.; Cury, José E. R.; Krogh, Bruce H. 1 2002 Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred 1 2002 Verification of infinite-state dynamic systems using approximate quotient transition systems. Zbl 1031.93123Chutinan, Alongkrit; Krogh, Bruce H. 9 2001 Stability-constrained model predictive control. Zbl 1018.93008Cheng, Xu; Krogh, Bruce H. 4 2001 Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23–25, 2000. Proceedings. Zbl 0934.00029Lynch, Nancy (ed.); Krogh, Bruce H. (ed.) 4 2000 Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. Zbl 0954.93020Chutinan, Alongkrit; Krogh, Bruce H. 27 1999 Robustness of supervisors for discrete-event systems. Zbl 1056.93563Cury, Jose E. R.; Krogh, Bruce H. 7 1999 Computing approximating automata for a class of linear hybrid systems. Zbl 0928.93026Chutinan, Alongkrit; Krogh, Bruce H. 1 1999 Synthesis of supervisory controllers for hybrid systems based on approximating automata. Zbl 0905.93023Cury, José E. R.; Krogh, Bruce H.; Niinomi, Toshihiko 6 1998 A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053Holloway, L. E.; Krogh, B. H.; Giua, A. 25 1997 State feedback control of condition/event systems. Zbl 0857.93007Krogh, B. H.; Kowalewski, S. 1 1996 Controlled Petri nets: A tutorial survey. Zbl 0850.93249Holloway, L. E.; Krogh, B. H. 4 1994 On the computation of reference signal constraints for guaranteed tracking performance. Zbl 0763.93037Graettinger, Timothy J.; Krogh, Bruce H. 3 1992 Hyperplane method for reachable state estimation for linear time- invariant systems. Zbl 0725.93007Graettinger, T. J.; Krogh, B. H. 7 1991 On condition/event systems with discrete state realizations. Zbl 0747.93059Sreenivas, R. S.; Krogh, B. H. 7 1991 Dynamic steering control of conventionally steered mobile robots. Zbl 0737.70015Feng, Dai; Krogh, Bruce H. 1 1991 Synthesis of feedback control logic for a class of controlled Petri nets. Zbl 0709.68035Holloway, Lawrence E.; Krogh, Bruce H. 26 1990 Acceleration-constrained time-optimal control in n dimensions. Zbl 0599.49011Feng, Dai; Krogh, Bruce H. 1 1986 Design of sensitivity-reducing compensators using observers. Zbl 0389.93014Krogh, Bruce; Cruz, J. B. jun. 2 1978 all cited Publications top 5 cited Publications all top 5 Cited by 512 Authors 6 Pappas, George J. 5 Dang, Thao 5 Girard, Antoine 5 Giua, Alessandro 5 Stursberg, Olaf 5 Takai, Shigemasa 4 Abate, Alessandro 4 Krogh, Bruce H. 4 Raisch, Jörg 4 Ratschan, Stefan 3 Damm, Werner 3 Holloway, Lawrence E. 3 Lin, Feng 3 Lygeros, John 3 Moor, Thomas 3 Piazza, Carla 3 Platzer, André 3 Ramdani, Nacim 3 Ushio, Toshimitsu 3 Wu, Jinzhao 2 Ahmad, Bashir 2 Alla, Hassane 2 Althoff, Matthias 2 Antsaklis, Panos J. 2 Arruda, Edilson F. 2 Asarin, Eugene 2 Ashley, Jeffrey 2 Barton, Paul I. 2 Basile, Francesco 2 Bemporad, Alberto 2 Benvenuti, Luca 2 Chachuat, Benoît 2 Chiacchio, Pasquale 2 Clarke, Edmund Melson jun. 2 Dimarogonas, Dimos V. 2 Duggirala, Parasara Sridhar 2 Duracz, Adam 2 Esterhuizen, Willem 2 Fehnker, Ansgar 2 Fragoso, Marcelo Dutra 2 Gaivoronski, Alexei A. 2 Hahn, Ernst Moritz 2 Henzinger, Thomas A. 2 Hermanns, Holger 2 Huuck, Ralf 2 Johansson, Karl Henrik 2 Julius, A. Agung 2 Kavraki, Lydia E. 2 Kowalewski, Stefan 2 Le Guernic, Colas 2 Lobo Pereira, Fernando 2 Morari, Manfred 2 Mukhopadhyay, Siddhartha 2 Patra, Amit K. 2 Plaku, Erion 2 Prabhakar, Pavithra 2 Prandini, Maria 2 Ray, Asok Kumar 2 Reißig, Gunther 2 Sastry, Shankar S. 2 Schneider, Gerardo 2 Sofronie-Stokkermans, Viorica 2 Spathopoulos, Michael P. 2 Taha, Walid 2 Teel, Andrew Richard 2 Vardi, Moshe Y. 2 Villa, Tiziano 2 Villanueva, Mario Eduardo 2 Zaccarian, Luca 1 Abdallah, Chaouki Tanios 1 Aberkane, Samir 1 Abid, Chiheb Ameur 1 Achour, Zied 1 Adzkiya, Dieky 1 Ahrendt, Wolfgang 1 Akbarpour, Behzad 1 Akella, Prasad 1 Akino, Toshiaki Koike 1 Aliprantis, Dionysios C. 1 Alur, Rajeev 1 Amari, Said 1 Amato, Gianluca 1 Ambartsumyan, A. A. 1 Ames, Aaron D. 1 Anubi, Olugbenga Moses 1 Apaydin-Özkan, Hanife 1 Archetti, Francesco 1 Aswani, Anil 1 Aybar, Aydın 1 Bak, Thomas 1 Balluchi, Andrea 1 Barbuti, Roberto 1 Barmish, B. Ross 1 Bartha, Ferenc A. 1 Bartocci, Ezio 1 Basagiannis, Stylianos 1 Baturin, Vladimir Aleksandrovich 1 Bethencourt, Aymeric 1 Bherer, Hans 1 Bianculli, Domenico ...and 412 more Authors all top 5 Cited in 52 Serials 32 Automatica 21 Discrete Event Dynamic Systems 14 Nonlinear Analysis. Hybrid Systems 13 International Journal of Control 12 European Journal of Control 11 Theoretical Computer Science 11 Formal Methods in System Design 9 Systems & Control Letters 4 Journal of the Franklin Institute 3 Acta Informatica 3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 3 Information and Computation 3 Automation and Remote Control 3 Mathematics in Computer Science 2 Information Sciences 2 Journal of Optimization Theory and Applications 2 Journal of Automated Reasoning 2 Mathematical and Computer Modelling 2 MCSS. Mathematics of Control, Signals, and Systems 2 Formal Aspects of Computing 2 International Journal of Foundations of Computer Science 2 International Journal of Robust and Nonlinear Control 2 Differential Equations 2 The Journal of Logic and Algebraic Programming 2 Science China. Information Sciences 1 Computers & Mathematics with Applications 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 Mathematics and Computers in Simulation 1 Numerische Mathematik 1 SIAM Journal on Control and Optimization 1 Operations Research Letters 1 International Journal of Production Research 1 Journal of Symbolic Computation 1 Sequential Analysis 1 Journal of Robotic Systems 1 Journal of Intelligent & Robotic Systems 1 Journal of Global Optimization 1 Dynamics and Control 1 European Journal of Operational Research 1 Linear Algebra and its Applications 1 SIAM Journal on Scientific Computing 1 Mathematical Problems in Engineering 1 Discrete Dynamics in Nature and Society 1 Sādhanā 1 Fuzzy Optimization and Decision Making 1 Advances in Difference Equations 1 Science in China. Series F 1 Journal of Zhejiang University. Science A 1 1 Journal of Control Science and Engineering 1 Numerical Algebra, Control and Optimization all top 5 Cited in 20 Fields 157 Systems theory; control (93-XX) 79 Computer science (68-XX) 20 Operations research, mathematical programming (90-XX) 15 Calculus of variations and optimal control; optimization (49-XX) 12 Numerical analysis (65-XX) 9 Ordinary differential equations (34-XX) 8 Biology and other natural sciences (92-XX) 5 Information and communication theory, circuits (94-XX) 4 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 4 Statistics (62-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Probability theory and stochastic processes (60-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Operator theory (47-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.