, ,
,
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.