Aggregative synthesis of distributed supervisors based on automaton abstraction

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    209 Downloads (Pure)

    Samenvatting

    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.
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's26
    StatusGepubliceerd - 2009

    Publicatie series

    NaamSE report
    Volume2009-01
    ISSN van geprinte versie1872-1567

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Aggregative synthesis of distributed supervisors based on automaton abstraction'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit