Browse by Subject NONDETERMINISTIC SYSTEMS

Showing results 1 to 3 of 3

1
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

2
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

3
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

rss_1.0 rss_2.0 atom_1.0