Supervisory control, nondeterministic discrete-event systems, abstraction
Discrete event systems (msc 93C65)
Life Sciences (theme 5), Energy (theme 4)
IEEE Press
B. Lennartson , M. Fabian , K. Akesson , A. Giua
IEEE Conference on Decision and Control
Scientific Computing

Su, R, van Schuppen, J.H, & Rooda, J.E. (2008). Synthesizing nonblocking distributed supervision based on automata abstraction. In B Lennartson, M Fabian, K Akesson, & A Giua (Eds.), . IEEE Press.