Browse by Subject formal languages
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
Type
Open Access
Date issued
- 1 2040 - 2041
- 31,619 2020 - 2029
- 100,003 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 1,633 1970 - 1979
- 62 1964 - 1969