1 | Run-to-run overlay control of steppers in semiconductor manufacturing systems based on history data analysis and neural network modeling Park, Seong-Jin; Lee, Moon-Sang; Shin, Sung-Young; Cho, Kwang-Hyun; Lim, Jong-Tae; Cho, Bong-Su; Jei, Young-Ho; Kim, Myung-Kil; Park, Chan-Hoon, IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, v.18, no.4, pp.605 - 613, 2005-11 |
2 | Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays Park, Seong-Jin; Cho, Kwang-Hyun, AUTOMATICA, v.45, no.5, pp.1252 - 1259, 2009-05 |
3 | Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks Park, Seong-Jin; Cho, Kwang-Hyun, INTERNATIONAL JOURNAL OF CONTROL, v.82, no.2, pp.217 - 227, 2009-02 |
4 | Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existence conditions Park, Seong-Jin; Cho, Kwang-Hyun, AUTOMATICA, v.44, no.3, pp.875 - 881, 2008-03 |
5 | Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor Park, Seong-Jin; Cho, Kwang-Hyun, AUTOMATICA, v.43, no.2, pp.377 - 383, 2007-02 |
6 | Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions Park, Seong-Jin; Cho, Kwang-Hyun, AUTOMATICA, v.44, no.4, pp.1011 - 1019, 2008-04 |
7 | Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems Park, Seong-Jin; Cho, Kwang-Hyun, INFORMATION SCIENCES, v.178, no.17, pp.3393 - 3401, 2008-09 |