Showing results 1 to 3 of 3
Application of real-time DEVS to analysis of safety-critical embedded control systems: Railroad crossing control example Song, HS; Kim, Tag-Gon, SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.81, no.2, pp.119 - 136, 2005-02 |
Non-blocking supervision for uncertain discrete event systems with internal unobservable transitions Park, SJ; Lim, Jong-Tae, IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, v.152, pp.165 - 170, 2005-03 |
Robust and nonblocking supervisor for discrete-event systems with model uncertainty under partial observation Park, SJ; Lim, Jong-Tae, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v.45, no.12, pp.2393 - 2396, 2000-12 |
Discover