Bruce H. Krogh

Available identifiers

zbMath Open krogh.bruce-hMaRDI QIDQ1051359

List of research outcomes

Publication	Date of Publication	Type
Dynamic Field Estimation Using Wireless Sensor Networks: Tradeoffs Between Estimation Error and Communication Cost	2018-07-09	Paper
Markov decision Processes with fractional costs	2017-07-12	Paper
Computational techniques for hybrid system verification	2017-06-20	Paper
Supporting Heterogeneity in Cyber-Physical Systems Architectures	2017-05-16	Paper
Reachability Analysis of Nonlinear Differential-Algebraic Systems	2017-05-16	Paper
Reachable set computation for uncertain time-varying linear systems	2017-05-16	Paper
Heterogeneous verification of cyber-physical systems using behavior relations	2017-05-16	Paper
Avoiding geometric intersection operations in reachability analysis of hybrid systems	2017-05-16	Paper
Compositional heterogeneous abstraction	2017-05-16	Paper
Numerically-aided deductive safety proof for a powertrain control system	2016-12-16	Paper
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models	2009-04-30	Paper
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction	2009-03-11	Paper
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata	2008-09-02	Paper
Verification of Supervisory Control Software Using State Proximity and Merging	2008-09-02	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
LMI approach to robust model predictive control	2006-11-06	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY	2006-08-21	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems	2005-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4424149	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4417923	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417997	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4418863	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4552451	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4552471	2002-09-03	Paper
Stability-constrained model predictive control	2002-07-21	Paper
Adaptive control of Markov chains with average cost	2002-07-21	Paper
Verification of infinite-state dynamic systems using approximate quotient transition systems	2002-07-21	Paper
Robustness of supervisors for discrete-event systems	2000-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4948547	2000-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4246810	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4246814	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4249565	1999-08-16	Paper
Synthesis of supervisory controllers for hybrid systems based on approximating automata	1998-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4355821	1998-03-16	Paper
State feedback control of condition/event systems	1997-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4763572	1996-02-08	Paper
On the computation of reference signal constraints for guaranteed tracking performance	1993-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4009918	1992-09-27	Paper
On condition/event systems with discrete state realizations	1992-06-28	Paper
Dynamic steering control of conventionally steered mobile robots	1992-06-28	Paper
Hyperplane method for reachable state estimation for linear time- invariant systems	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3481556	1991-01-01	Paper
Synthesis of feedback control logic for a class of controlled Petri nets	1990-01-01	Paper
Acceleration-constrained time-optimal control in<tex>n</tex>dimensions	1986-01-01	Paper
Feedback control of overloaded networks	1984-01-01	Paper
The segment method as an alternative to minimax in hypothesis testing	1982-01-01	Paper
On a canonical form in "Design of sensitivity reducing compensators using observers"	1979-01-01	Paper
Design of sensitivity-reducing compensators using observers	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bruce H. Krogh