Supervisor synthesis based on abstractions of nondeterministic automata

R. Su; J.H. Schuppen; J.E. Rooda

Supervisor synthesis based on abstractions of nondeterministic automata

R. Su, J.H. Schuppen, J.E. Rooda

Mathematics

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 9th International Workshop on Discrete Event Systems (WODES.2008)
Editors	B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar
Place of Publication	New York
Publisher	IEEE Press
Pages	412-418
Publication status	Published - 2008

Bibliographical note

su:schuppen:rooda:2008:wodes

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{6326329febab47fbacc843a240feff04,

title = "Supervisor synthesis based on abstractions of nondeterministic automata",

author = "R. Su and J.H. Schuppen and J.E. Rooda",

note = "su:schuppen:rooda:2008:wodes ",

year = "2008",

language = "English",

pages = "412--418",

editor = "B. Lennartson and M. Fabian and K. Akesson and A. Giua and R. Kumar",

booktitle = "Proceedings of the 9th International Workshop on Discrete Event Systems (WODES.2008)",

publisher = "IEEE Press",

}

Supervisor synthesis based on abstractions of nondeterministic automata. / Su, R.; Schuppen, J.H.; Rooda, J.E.
Proceedings of the 9th International Workshop on Discrete Event Systems (WODES.2008). ed. / B. Lennartson; M. Fabian; K. Akesson; A. Giua; R. Kumar. New York: IEEE Press, 2008. p. 412-418.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Supervisor synthesis based on abstractions of nondeterministic automata

AU - Su, R.

AU - Schuppen, J.H.

AU - Rooda, J.E.

N1 - su:schuppen:rooda:2008:wodes

PY - 2008

Y1 - 2008

M3 - Conference contribution

SP - 412

EP - 418

BT - Proceedings of the 9th International Workshop on Discrete Event Systems (WODES.2008)

A2 - Lennartson, B.

A2 - Fabian, M.

A2 - Akesson, K.

A2 - Giua, A.

A2 - Kumar, R.

PB - IEEE Press

CY - New York

ER -