Search results

Records found: 33  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0262819 zj^"
    1.
    0558102 - MÚ 2023 RIV NL eng J - Journal Article
    Liu, Y. - Komenda, Jan - Masopust, Tomáš - Li, Z.
    Modular control of discrete-event systems using similarity.
    Automatica. Roč. 142, August (2022), č. článku 110431. ISSN 0005-1098. E-ISSN 1873-2836
    R&D Projects: GA MŠMT(CZ) LTAUSA19098; GA ČR(CZ) GC19-06175J
    Institutional support: RVO:67985840
    Keywords : discrete-event systems * symmetric language * similar languages
    OECD category: Automation and control systems
    Impact factor: 6.4, year: 2022
    Method of publishing: Limited access
    https://doi.org/10.1016/j.automatica.2022.110431
    Permanent Link: http://hdl.handle.net/11104/0331900
    FileDownloadSizeCommentaryVersionAccess
    Komenda3.pdf2705.5 KBPublisher’s postprintrequire
     
     
    2.
    0542403 - MÚ 2022 RIV DE eng J - Journal Article
    Masopust, Tomáš - Krötzsch, M.
    Partially ordered automata and piecewise testability.
    Logical Methods in Computer Science. Roč. 17, č. 2 (2021), č. článku 14. ISSN 1860-5974. E-ISSN 1860-5974
    R&D Projects: GA ČR(CZ) GC19-06175J
    Institutional support: RVO:67985840
    Keywords : automata * nondeterminism * complexity
    OECD category: Automation and control systems
    Impact factor: 0.591, year: 2021
    Method of publishing: Open access
    https://dx.doi.org/10.23638/LMCS-17(2:14)2021
    Permanent Link: http://hdl.handle.net/11104/0319817
    FileDownloadSizeCommentaryVersionAccess
    Masopust1.pdf4866.6 KBPublisher’s postprintopen-access
     
     
    3.
    0542401 - MÚ 2022 RIV GB eng J - Journal Article
    Reveliotis, S. - Masopust, Tomáš - Ibrahim, M.
    Polynomial-time optimal liveness enforcement for guidepath-based transport systems.
    Nonlinear Analysis: Hybrid Systems. Roč. 41, August (2021), č. článku 101058. ISSN 1751-570X. E-ISSN 1878-7460
    R&D Projects: GA ČR(CZ) GC19-06175J
    Institutional support: RVO:67985840
    Keywords : guidepath-based transport systems * traffic liveness and its enforcement * deadlock avoidance * discrete event systems
    OECD category: Automation and control systems
    Impact factor: 5.477, year: 2021
    Method of publishing: Limited access
    https://doi.org/10.1016/j.nahs.2021.101058
    Permanent Link: http://hdl.handle.net/11104/0319815
    FileDownloadSizeCommentaryVersionAccess
    Masopust.pdf21.6 MBPublisher’s postprintrequire
     
     
    4.
    0525397 - MÚ 2021 RIV US eng J - Journal Article
    Reveliotis, S. - Masopust, Tomáš
    Efficient liveness assessment for traffic states in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems.
    IEEE Transactions on Automatic Control. Roč. 65, č. 7 (2020), s. 2883-2898. ISSN 0018-9286. E-ISSN 1558-2523
    R&D Projects: GA ČR(CZ) GC19-06175J
    Institutional support: RVO:67985840
    Keywords : guidepath-based traffic systems * traffic liveness and its enforcement * deadlock avoidance
    OECD category: Automation and control systems
    Impact factor: 5.792, year: 2020
    Method of publishing: Limited access
    https://doi.org/10.1109/TAC.2019.2934427
    Permanent Link: http://hdl.handle.net/11104/0309547
    FileDownloadSizeCommentaryVersionAccess
    Masopust1.pdf11.1 MBPublisher’s postprintrequire
     
     
    5.
    0519325 - MÚ 2021 RIV US eng J - Journal Article
    Masopust, Tomáš
    Critical observability for automata and Petri nets.
    IEEE Transactions on Automatic Control. Roč. 65, č. 1 (2020), s. 341-346. ISSN 0018-9286. E-ISSN 1558-2523
    R&D Projects: GA ČR(CZ) GC19-06175J
    Institutional support: RVO:67985840
    Keywords : critical observability * automata * Petri nets
    OECD category: Automation and control systems
    Impact factor: 5.792, year: 2020
    Method of publishing: Limited access
    https://doi.org/10.1109/TAC.2019.2912484
    Permanent Link: http://hdl.handle.net/11104/0304320
    FileDownloadSizeCommentaryVersionAccess
    Masopust.pdf1533.9 KBPublisher’s postprintrequire
     
     
    6.
    0504048 - MÚ 2020 RIV NL eng J - Journal Article
    Masopust, Tomáš - Yin, X.
    Deciding detectability for labeled Petri nets.
    Automatica. Roč. 104, June (2019), s. 238-241. ISSN 0005-1098. E-ISSN 1873-2836
    R&D Projects: GA ČR(CZ) GC19-06175J
    Institutional support: RVO:67985840
    Keywords : discrete event systems * Petri nets * complexity
    OECD category: Automation and control systems
    Impact factor: 5.541, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1016/j.automatica.2019.02.058
    Permanent Link: http://hdl.handle.net/11104/0295763
    FileDownloadSizeCommentaryVersionAccess
    Masopust3.pdf9333.9 KBPublisher’s postprintrequire
     
     
    7.
    0502163 - MÚ 2019 RIV US eng J - Journal Article
    Lin, L. - Masopust, Tomáš - Wonham, W. M. - Su, R.
    Automatic generation of optimal reductions of distributions.
    IEEE Transactions on Automatic Control. Roč. 64, č. 3 (2019), s. 896-911. ISSN 0018-9286. E-ISSN 1558-2523
    Institutional support: RVO:67985840
    Keywords : complexity * co-observability * decentralized supervisor synthesis
    OECD category: Automation and control systems
    Impact factor: 5.625, year: 2019
    https://ieeexplore.ieee.org/document/8340848
    Permanent Link: http://hdl.handle.net/11104/0294116
    FileDownloadSizeCommentaryVersionAccess
    Masopust2.pdf3997.1 KBPublisher’s postprintrequire
     
     
    8.
    0501542 - MÚ 2020 RIV NL eng J - Journal Article
    Masopust, Tomáš - Yin, X.
    Complexity of detectability, opacity and A-diagnosability for modular discrete event systems.
    Automatica. Roč. 101, March (2019), s. 290-295. ISSN 0005-1098. E-ISSN 1873-2836
    Institutional support: RVO:67985840
    Keywords : discrete event systems * finite automata * complexity
    OECD category: Pure mathematics
    Impact factor: 5.541, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1016/j.automatica.2018.12.019
    Permanent Link: http://hdl.handle.net/11104/0293556
    FileDownloadSizeCommentaryVersionAccess
    Masopust.pdf6412.2 KBPublisher’s postprintrequire
     
     
    9.
    0501532 - MÚ 2020 RIV US eng J - Journal Article
    Holub, Š. - Masopust, Tomáš - Thomazo, M.
    On the height of towers of subsequences and prefixes.
    Information and Computation. Roč. 265, April (2019), s. 77-93. ISSN 0890-5401. E-ISSN 1090-2651
    Institutional support: RVO:67985840
    Keywords : alternating towers * subsequences * upper and lower bounds
    OECD category: Pure mathematics
    Impact factor: 0.872, year: 2019
    Method of publishing: Limited access
    http://dx.doi.org/10.1016/j.ic.2019.01.004
    Permanent Link: http://hdl.handle.net/11104/0293551
    FileDownloadSizeCommentaryVersionAccess
    Masopust1.pdf5617.3 KBPublisher’s postprintrequire
     
     
    10.
    0488849 - MÚ 2019 RIV NL eng J - Journal Article
    Masopust, Tomáš
    Complexity of deciding detectability in discrete event systems.
    Automatica. Roč. 93, July (2018), s. 257-261. ISSN 0005-1098. E-ISSN 1873-2836
    Institutional support: RVO:67985840
    Keywords : discrete event systems * finite automata * detectability
    OECD category: Automation and control systems
    Impact factor: 6.355, year: 2018
    https://www.sciencedirect.com/science/article/pii/S0005109818301730
    Permanent Link: http://hdl.handle.net/11104/0283371
    FileDownloadSizeCommentaryVersionAccess
    Masopust4.pdf2427.4 KBPublisher’s postprintrequire
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all