Výsledky vyhledávání

  1. 1.
    0537812 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Balun, J. - Masopust, Tomáš
    On opacity verification for discrete-event systems.
    IFAC-PapersOnLine. Volume 53, Issue 2 - 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges. Amsterdam: Elsevier, 2020 - (Hirche, S.; Janschek, K.; Mönnigmann, M.), s. 2075-2080. ISSN 2405-8963.
    [21th IFAC World Congress. Berlin (DE), 11.07.2020-17.07.2020]
    Grant CEP: GA ČR(CZ) GC19-06175J
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete event systems * finite automata * opacity * complexity
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2020.12.2524
    Trvalý link: http://hdl.handle.net/11104/0315649
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust2.pdf2357.6 KBVydavatelský postprintpovolen
     
     
  2. 2.
    0537810 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
    Maximal permissiveness of modular supervisory control via multilevel structuring.
    IFAC-PapersOnLine. Volume 53, Issue 2 - 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges. Amsterdam: Elsevier, 2020 - (Hirche, S.; Janschek, K.; Mönnigmann, M.), s. 2116-2121. ISSN 2405-8963.
    [21th IFAC World Congress. Berlin (DE), 11.07.2020-17.07.2020]
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: supervisory control * mutual controllability * multi-level structure
    Obor OECD: Automation and control systems
    Trvalý link: http://hdl.handle.net/11104/0315646
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda4.pdf0369.5 KBVydavatelský postprintpovolen
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.