Synthesizing nonblocking distributed supervisors based on automaton abstraction

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 47th IEEE Conference on Decision and Control (CDC.2008)
Place of PublicationNew York
PublisherIEEE Press
Pages883-888
Publication statusPublished - 2008

Bibliographical note

su:schuppen:rooda:2008:cdc

Cite this