검색결과 : 11건
| No. | Article |
|---|---|
| 1 |
Reachability Analysis of Nonlinear Differential-Algebraic Systems Althoff M, Krogh BH IEEE Transactions on Automatic Control, 59(2), 371, 2014 |
| 2 |
Supporting Heterogeneity in Cyber-Physical Systems Architectures Rajhans A, Bhave A, Ruchkin I, Krogh BH, Garlan D, Platzer A, Schmerl B IEEE Transactions on Automatic Control, 59(12), 3178, 2014 |
| 3 |
Control-Based Modeling and Simulation of the Chemical-Looping Combustion Process Balaji S, Ilic J, Ydstie BE, Krogh BH Industrial & Engineering Chemistry Research, 49(10), 4566, 2010 |
| 4 |
Markov decision processes with fractional costs Ren ZY, Krogh BH IEEE Transactions on Automatic Control, 50(5), 646, 2005 |
| 5 |
Computational techniques for hybrid system verification Chutinan A, Krogh BH IEEE Transactions on Automatic Control, 48(1), 64, 2003 |
| 6 |
Adaptive control of Markov chains with average cost Ren ZY, Krogh BH IEEE Transactions on Automatic Control, 46(4), 613, 2001 |
| 7 |
Verification of infinite-state dynamic systems using approximate quotient transition systems Chutinan A, Krogh BH IEEE Transactions on Automatic Control, 46(9), 1401, 2001 |
| 8 |
Stability-constrained model predictive control Cheng X, Krogh BH IEEE Transactions on Automatic Control, 46(11), 1816, 2001 |
| 9 |
Robustness of supervisors for discrete-event systems Cury JER, Krogh BH IEEE Transactions on Automatic Control, 44(2), 376, 1999 |
| 10 |
Synthesis of supervisory controllers for hybrid systems based on approximating automata Cury JER, Krogh BH, Niinomi T IEEE Transactions on Automatic Control, 43(4), 564, 1998 |