The following pages link to Bruce H. Krogh (Q1051359):
Displaying 15 items.
- (Q850826) (redirect page) (← links)
- LMI approach to robust model predictive control (Q850827) (← links)
- The segment method as an alternative to minimax in hypothesis testing (Q1051360) (← links)
- On condition/event systems with discrete state realizations (Q1185286) (← links)
- On the computation of reference signal constraints for guaranteed tracking performance (Q1195802) (← links)
- State feedback control of condition/event systems (Q1922201) (← links)
- Hyperplane method for reachable state estimation for linear time- invariant systems (Q2277409) (← links)
- Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
- Supporting Heterogeneity in Cyber-Physical Systems Architectures (Q2982920) (← links)
- Reachability Analysis of Nonlinear Differential-Algebraic Systems (Q2983261) (← links)
- Reachable set computation for uncertain time-varying linear systems (Q2986717) (← links)
- Heterogeneous verification of cyber-physical systems using behavior relations (Q2986750) (← links)
- Avoiding geometric intersection operations in reachability analysis of hybrid systems (Q2986751) (← links)
- Compositional heterogeneous abstraction (Q2986931) (← links)
- Feedback control of overloaded networks (Q3337936) (← links)
