Supervisor synthesis based on abstractions of nondeterministic automata

2008

Presented at the International Workshop on Discrete Event Systems, 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	International Workshop on Discrete Event Systems
Organisation	Scientific Computing
Citation APA Style AAA Style APA 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). Supervisor synthesis based on abstractions of nondeterministic automata. In B. Lennartson, M. Fabian, K. Akesson, & A. Giua (Eds.), Proceedings of the 9th International Workshop on Discrete Event Systems (WODES.2008) (pp. 412–418). IEEE Press.

See Also
inProceedings Synthesizing nonblocking distributed supervision based on automata abstraction R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
inProceedings Synthesizing nonblocking distributed supervision based on automata abstraction R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

Publication