Synthesizing nonblocking distributed supervision based on automata abstraction

2008

Presented at the IEEE Conference on Decision and Control, Goeteborg, Sweden

Additional Metadata
Keywords	Supervisory control, nondeterministic discrete-event systems, abstraction
MSC	Discrete event systems (msc 93C65)
THEME	Life Sciences (theme 5), Energy (theme 4)
Publisher	IEEE Press
Editor	B. Lennartson , M. Fabian , K. Akesson , A. Giua
Conference	IEEE Conference on Decision and Control
Organisation	Scientific Computing
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Su, R., van Schuppen, J.& Rooda, J. (2008). Synthesizing nonblocking distributed supervision based on automata abstraction(B. Lennartson, M. Fabian, K. Akesson& A. Giua, Eds.). IEEE Press.

See Also
inProceedings Supervisor synthesis based on abstractions of nondeterministic automata R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
inProceedings Supervisor synthesis based on abstractions of nondeterministic automata R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

Publication