Showing results 1 to 3 of 3
Mixed centralized/decentralized supervisory control of discrete event dynamic systems Cho, Kwang-Hyun; Lim, Jong-Tae, AUTOMATICA, v.35, no.1, pp.121 - 128, 1999-01 |
On-line tracing supervisory control of discrete-event dynamic systems based on outlooking Cho, Kwang-Hyun; Lim, Jong-Tae, AUTOMATICA, v.35, no.10, pp.1725 - 1729, 1999-10 |
Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study Esposito, JM; Kim, Moonzoo, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05 |
Discover