Computational techniques for hybrid system verification von Chutinan, A., Krogh, B.H.

Volltext

LMI approach to robust model predictive control von JIA, D, KROGH, B. H, STURSBERG, O

Volltext

Distributed model predictive control von Camponogara, E., Jia, D., Krogh, B.H., Talukdar, S.

Volltext

Synthesis of feedback control logic for a class of controlled Petri nets von Holloway, L.E., Krogh, B.H.

Volltext

High-confidence medical device software and systems von Lee, I., Pappas, G.J., Cleaveland, R., Hatcliff, J., Krogh, B.H., Lee, P., Rubin, H., Sha, L.

Volltext

Robustness of supervisors for discrete-event systems von Cury, J.E.R., Krogh, B.H.

Volltext

Evidence on methylphenidate in children and adolescents with ADHD is in fact of ‘very low quality’ von Storebø, O J, Zwi, M, Krogh, H B, Moreira-Maia, C R, Holmskov, M, Gillies, D, Groth, C, Simonsen, E, Gluud, C

Volltext

Hierarchical adaptive dynamic power management von Ren, Z., Krogh, B.H., Marculescu, R.

Volltext

Adaptive control of Markov chains with average cost von Ren, Z., Krogh, B.H.

Volltext

Synthesis of feedback control logic for discrete manufacturing systems von Krogh, Bruce H., Holloway, Lawrence E.

Volltext

Verification of infinite-state dynamic systems using approximate quotient transition systems von Chutinan, A., Krogh, B.H.

Volltext

Markov decision Processes with fractional costs von Zhiyuan Ren, Krogh, B.H.

Volltext

Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations von Chutinan, Alongkrit, Krogh, Bruce H.

Volltext

Synthesis of supervisory controllers for hybrid systems based on approximating automata von Cury, J.E.R., Krogh, B.H., Niinomi, T.

Volltext

Stability-constrained model predictive control von Xu Cheng, Krogh, B.H.

Volltext

Dynamic generation of subgoals for autonomous mobile robots using local feedback information von Krogh, B.H., Feng, D.

Volltext

Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings von Lynch, Nancy, Krogh, Bruce H

Volltext

Dynamic control system upgrade using the Simplex architecture von Seto, D., Krogh, B.H., Sha, L., Chutinan, A.

Volltext

Hyperplane method for reachable state estimation for linear time-invariant systems von GRAETTINGER, T. J, KROGH, B. H

Volltext

On closed-loop liveness of discrete-event systems under maximally permissive control von Holloway, L.E., Krogh, B.H.

Volltext