×

zbMATH — the first resource for mathematics

Krogh, Bruce H.

Compute Distance To:
Author ID: krogh.bruce-h Recent zbMATH articles by "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

Publications by Year

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.93020
Chutinan, Alongkrit; Krogh, Bruce H.
27
1999
Computational techniques for hybrid system verification. Zbl 1364.93457
Chutinan, Alongkrit; Krogh, Bruce H.
26
2003
Synthesis of feedback control logic for a class of controlled Petri nets. Zbl 0709.68035
Holloway, Lawrence E.; Krogh, Bruce H.
26
1990
A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053
Holloway, L. E.; Krogh, B. H.; Giua, A.
25
1997
Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678
Clarke, 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.93037
Stursberg, Olaf; Krogh, Bruce H.
19
2003
Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078
Clarke, 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.93123
Chutinan, Alongkrit; Krogh, Bruce H.
9
2001
A counterexample-guided approach to parameter synthesis for linear hybrid automata. Zbl 1143.68435
Frehse, Goran; Jha, Sumit Kumar; Krogh, Bruce H.
7
2008
Robustness of supervisors for discrete-event systems. Zbl 1056.93563
Cury, Jose E. R.; Krogh, Bruce H.
7
1999
Hyperplane method for reachable state estimation for linear time- invariant systems. Zbl 0725.93007
Graettinger, T. J.; Krogh, B. H.
7
1991
On condition/event systems with discrete state realizations. Zbl 0747.93059
Sreenivas, R. S.; Krogh, B. H.
7
1991
Reachability analysis of nonlinear differential-algebraic systems. Zbl 1360.93082
Althoff, Matthias; Krogh, Bruce H.
6
2014
Verification of supervisory control software using state proximity and merging. Zbl 1143.68457
Lerda, Flavio; Kapinski, James; Clarke, Edmund M.; Krogh, Bruce H.
6
2008
Reachability for linear hybrid automata using iterative relaxation abstraction. Zbl 1221.93115
Jha, 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.93023
Cury, José E. R.; Krogh, Bruce H.; Niinomi, Toshihiko
6
1998
Avoiding geometric intersection operations in reachability analysis of hybrid systems. Zbl 1362.93012
Althoff, Matthias; Krogh, Bruce H.
5
2012
Refining abstractions of hybrid systems using counterexample fragments. Zbl 1078.93041
Fehnker, Ansgar; Clarke, Edmund; Jha, Sumit Kumar; Krogh, Bruce
5
2005
Reachable set computation for uncertain time-varying linear systems. Zbl 1362.93013
Althoff, Matthias; Le Guernic, Colas; Krogh, Bruce H.
4
2011
Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025
Han, Zhi; Krogh, Bruce H.
4
2006
LMI approach to robust model predictive control. Zbl 1116.93027
Jia, Dong; Krogh, B. H.; Stursberg, Olaf
4
2005
Stability-constrained model predictive control. Zbl 1018.93008
Cheng, 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.00029
Lynch, Nancy (ed.); Krogh, Bruce H. (ed.)
4
2000
Controlled Petri nets: A tutorial survey. Zbl 0850.93249
Holloway, L. E.; Krogh, B. H.
4
1994
Markov decision processes with fractional costs. Zbl 1365.90261
Ren, Zhiyuan; Krogh, Bruce H.
3
2005
On systematic simulation of open continuous systems. Zbl 1032.93532
Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf
3
2003
On the computation of reference signal constraints for guaranteed tracking performance. Zbl 0763.93037
Graettinger, Timothy J.; Krogh, Bruce H.
3
1992
Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. Zbl 1391.94651
Zhang, Haotian; Moura, José M. F.; Krogh, Bruce
2
2009
Parameter synthesis for hybrid systems with an application to Simulink models. Zbl 1237.93089
Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay
2
2009
Hybrid system verification is not a sinecure. The electronic throttle control case study. Zbl 1108.68499
Fehnker, Ansgar; Krogh, Bruce H.
2
2004
Design of sensitivity-reducing compensators using observers. Zbl 0389.93014
Krogh, Bruce; Cruz, J. B. jun.
2
1978
Supporting heterogeneity in cyber-physical systems architectures. Zbl 1360.93475
Rajhans, 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.93003
Gonzá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.93518
Sangiovanni-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.93026
Chutinan, Alongkrit; Krogh, Bruce H.
1
1999
State feedback control of condition/event systems. Zbl 0857.93007
Krogh, B. H.; Kowalewski, S.
1
1996
Dynamic steering control of conventionally steered mobile robots. Zbl 0737.70015
Feng, Dai; Krogh, Bruce H.
1
1991
Acceleration-constrained time-optimal control in n dimensions. Zbl 0599.49011
Feng, Dai; Krogh, Bruce H.
1
1986
Reachability analysis of nonlinear differential-algebraic systems. Zbl 1360.93082
Althoff, Matthias; Krogh, Bruce H.
6
2014
Supporting heterogeneity in cyber-physical systems architectures. Zbl 1360.93475
Rajhans, 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.93012
Althoff, Matthias; Krogh, Bruce H.
5
2012
Reachable set computation for uncertain time-varying linear systems. Zbl 1362.93013
Althoff, 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.94651
Zhang, Haotian; Moura, José M. F.; Krogh, Bruce
2
2009
Parameter synthesis for hybrid systems with an application to Simulink models. Zbl 1237.93089
Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay
2
2009
A counterexample-guided approach to parameter synthesis for linear hybrid automata. Zbl 1143.68435
Frehse, Goran; Jha, Sumit Kumar; Krogh, Bruce H.
7
2008
Verification of supervisory control software using state proximity and merging. Zbl 1143.68457
Lerda, Flavio; Kapinski, James; Clarke, Edmund M.; Krogh, Bruce H.
6
2008
Reachability for linear hybrid automata using iterative relaxation abstraction. Zbl 1221.93115
Jha, 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.93025
Han, Zhi; Krogh, Bruce H.
4
2006
Refining abstractions of hybrid systems using counterexample fragments. Zbl 1078.93041
Fehnker, Ansgar; Clarke, Edmund; Jha, Sumit Kumar; Krogh, Bruce
5
2005
LMI approach to robust model predictive control. Zbl 1116.93027
Jia, Dong; Krogh, B. H.; Stursberg, Olaf
4
2005
Markov decision processes with fractional costs. Zbl 1365.90261
Ren, Zhiyuan; Krogh, Bruce H.
3
2005
Hybrid system verification is not a sinecure. The electronic throttle control case study. Zbl 1108.68499
Fehnker, Ansgar; Krogh, Bruce H.
2
2004
Computational techniques for hybrid system verification. Zbl 1364.93457
Chutinan, Alongkrit; Krogh, Bruce H.
26
2003
Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678
Clarke, 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.93037
Stursberg, Olaf; Krogh, Bruce H.
19
2003
Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg, Olaf; Theobald, Michael
11
2003
On systematic simulation of open continuous systems. Zbl 1032.93532
Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf
3
2003
Supervision of event-driven hybrid systems: Modeling and synthesis. Zbl 0991.93003
Gonzá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.93518
Sangiovanni-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.93123
Chutinan, Alongkrit; Krogh, Bruce H.
9
2001
Stability-constrained model predictive control. Zbl 1018.93008
Cheng, 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.00029
Lynch, Nancy (ed.); Krogh, Bruce H. (ed.)
4
2000
Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. Zbl 0954.93020
Chutinan, Alongkrit; Krogh, Bruce H.
27
1999
Robustness of supervisors for discrete-event systems. Zbl 1056.93563
Cury, Jose E. R.; Krogh, Bruce H.
7
1999
Computing approximating automata for a class of linear hybrid systems. Zbl 0928.93026
Chutinan, Alongkrit; Krogh, Bruce H.
1
1999
Synthesis of supervisory controllers for hybrid systems based on approximating automata. Zbl 0905.93023
Cury, José E. R.; Krogh, Bruce H.; Niinomi, Toshihiko
6
1998
A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053
Holloway, L. E.; Krogh, B. H.; Giua, A.
25
1997
State feedback control of condition/event systems. Zbl 0857.93007
Krogh, B. H.; Kowalewski, S.
1
1996
Controlled Petri nets: A tutorial survey. Zbl 0850.93249
Holloway, L. E.; Krogh, B. H.
4
1994
On the computation of reference signal constraints for guaranteed tracking performance. Zbl 0763.93037
Graettinger, Timothy J.; Krogh, Bruce H.
3
1992
Hyperplane method for reachable state estimation for linear time- invariant systems. Zbl 0725.93007
Graettinger, T. J.; Krogh, B. H.
7
1991
On condition/event systems with discrete state realizations. Zbl 0747.93059
Sreenivas, R. S.; Krogh, B. H.
7
1991
Dynamic steering control of conventionally steered mobile robots. Zbl 0737.70015
Feng, Dai; Krogh, Bruce H.
1
1991
Synthesis of feedback control logic for a class of controlled Petri nets. Zbl 0709.68035
Holloway, Lawrence E.; Krogh, Bruce H.
26
1990
Acceleration-constrained time-optimal control in n dimensions. Zbl 0599.49011
Feng, Dai; Krogh, Bruce H.
1
1986
Design of sensitivity-reducing compensators using observers. Zbl 0389.93014
Krogh, Bruce; Cruz, J. B. jun.
2
1978
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

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.