Počet záznamů: 1

Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems

  1. 1.
    0348278 - MU-W 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
    Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems.
    Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 436-441. ISBN 978-3-902661-79-1.
    [10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
    Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: discrete-event systems * modular supervisory control * coordinator * conditional controllability
    Kód oboru RIV: BA - Obecná matematika
    http://www.ifac-papersonline.net/Detailed/42964.html

    Modular control of discrete-event systems with a global specification and with only local supervisors is a difficult problem. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute a coordinated controller is provided in this paper.
    Trvalý link: http://hdl.handle.net/11104/0188848
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda3.pdf1156 KBAutorský preprintvyžádat