Aggregative synthesis of distributed supervisors based on automaton abstraction

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

    Research output: Book/ReportReportAcademic

    103 Downloads (Pure)


    Achieving nonblockingness in supervisory control imposes a major challenge when the number of states of a target system is large, often owing to synchronous product of many relatively small local components. To overcome this difficulty, in this paper we first present a distributed supervisory control problem, then provide an aggregative synthesis approach that computes nonblocking distributed supervisors. The key to the success of this approach is a newly developed automaton abstraction technique, that removes irrelevant internal transitions at each synthesis stage so that nonblocking supervisor synthesis can be carried out on relatively small abstracted models.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages26
    Publication statusPublished - 2009

    Publication series

    NameSE report
    ISSN (Print)1872-1567


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

    Cite this