2008
Synthesizing nonblocking distributed supervision based on automata abstraction
Publication
Publication
Presented at the
IEEE Conference on Decision and Control, Goeteborg, Sweden
Additional Metadata | |
---|---|
, , | |
, | |
IEEE Press | |
B. Lennartson , M. Fabian , K. Akesson , A. Giua | |
IEEE Conference on Decision and Control | |
Organisation | 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.
|
See Also |
---|