Synthesizing nonblocking distributed supervisors based on automaton abstraction

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

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

    1 Citation (Scopus)


    Blockingness is one of the major obstacles that need to be overcome in the Ramadge-Wonham supervisory synthesis paradigm. Owing to the high computational complexity usually resulted from synchronous product, it is difficult to synthesize a nonblocking supervisor for a large scale system. In this paper we aim to overcome this difficulty by presenting a distributed synthesis approach. The core idea of this approach is to create abstractions of parts of a target system during the synthesis process to avoid any potentially large representation. Meanwhile, those abstractions allow synthesizing local supervisors which guarantee the global nonblockingness, when they are applied to the target system in a conjunctive style. © 2008 IEEE.
    Original languageEnglish
    Title of host publicationProceedings of the 47th IEEE Conference on Decision and Control (CDC 2008) : Mexico, Cancún, 9 - 11 December 2008
    Place of PublicationPiscataway, NJ
    PublisherInstitute of Electrical and Electronics Engineers
    ISBN (Print)978-1-424-43123-6
    Publication statusPublished - 2008


    Dive into the research topics of 'Synthesizing nonblocking distributed supervisors based on automaton abstraction'. Together they form a unique fingerprint.

    Cite this