The following pages link to Bruce H. Krogh (Q1051359):
Displaying 50 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)
- (Q3481556) (← links)
- Synthesis of feedback control logic for a class of controlled Petri nets (Q3493242) (← links)
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata (Q3523107) (← links)
- Verification of Supervisory Control Software Using State Proximity and Merging (Q3523120) (← links)
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction (Q3612979) (← links)
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570) (← links)
- Acceleration-constrained time-optimal control in<tex>n</tex>dimensions (Q3733638) (← links)
- Dynamic steering control of conventionally steered mobile robots (Q3989147) (← links)
- (Q4009918) (← links)
- Design of sensitivity-reducing compensators using observers (Q4171914) (← links)
- On a canonical form in "Design of sensitivity reducing compensators using observers" (Q4182330) (← links)
- (Q4246810) (← links)
- (Q4246814) (← links)
- (Q4249565) (← links)
- (Q4355821) (← links)
- Synthesis of supervisory controllers for hybrid systems based on approximating automata (Q4393083) (← links)
- (Q4417923) (← links)
- (Q4417997) (← links)
- (Q4418863) (← links)
- (Q4424149) (← links)
- Robustness of supervisors for discrete-event systems (Q4506668) (← links)
- Stability-constrained model predictive control (Q4540253) (← links)
- Adaptive control of Markov chains with average cost (Q4540356) (← links)
- Verification of infinite-state dynamic systems using approximate quotient transition systems (Q4540483) (← links)
- (Q4552451) (← links)
- (Q4552471) (← links)
- Dynamic Field Estimation Using Wireless Sensor Networks: Tradeoffs Between Estimation Error and Communication Cost (Q4569716) (← links)
- (Q4763572) (← links)
- (Q4948547) (← links)
- Computational techniques for hybrid system verification (Q5266964) (← links)
- Markov decision Processes with fractional costs (Q5274051) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)
- HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY (Q5484908) (← links)
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems (Q5696927) (← links)
- Hybrid Systems: Computation and Control (Q5703926) (← links)
