Výsledky vyhledávání
- 1.0558102 - MÚ 2023 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA MŠMT(CZ) LTAUSA19098; GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event systems * symmetric language * similar languages
Obor OECD: Automation and control systems
Impakt faktor: 6.4, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.automatica.2022.110431
Trvalý link: http://hdl.handle.net/11104/0331900Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 705.5 KB Vydavatelský postprint vyžádat - 2.0542403 - MÚ 2022 RIV DE eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: automata * nondeterminism * complexity
Obor OECD: Automation and control systems
Impakt faktor: 0.591, rok: 2021
Způsob publikování: Open access
https://dx.doi.org/10.23638/LMCS-17(2:14)2021
Trvalý link: http://hdl.handle.net/11104/0319817Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 4 866.6 KB Vydavatelský postprint povolen - 3.0542401 - MÚ 2022 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: guidepath-based transport systems * traffic liveness and its enforcement * deadlock avoidance * discrete event systems
Obor OECD: Automation and control systems
Impakt faktor: 5.477, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.nahs.2021.101058
Trvalý link: http://hdl.handle.net/11104/0319815Název souboru Staženo Velikost Komentář Verze Přístup Masopust.pdf 2 1.6 MB Vydavatelský postprint vyžádat - 4.0525397 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: guidepath-based traffic systems * traffic liveness and its enforcement * deadlock avoidance
Obor OECD: Automation and control systems
Impakt faktor: 5.792, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TAC.2019.2934427
Trvalý link: http://hdl.handle.net/11104/0309547Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 1 1.1 MB Vydavatelský postprint vyžádat - 5.0519325 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: critical observability * automata * Petri nets
Obor OECD: Automation and control systems
Impakt faktor: 5.792, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TAC.2019.2912484
Trvalý link: http://hdl.handle.net/11104/0304320Název souboru Staženo Velikost Komentář Verze Přístup Masopust.pdf 1 533.9 KB Vydavatelský postprint vyžádat - 6.0504048 - MÚ 2020 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * Petri nets * complexity
Obor OECD: Automation and control systems
Impakt faktor: 5.541, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.automatica.2019.02.058
Trvalý link: http://hdl.handle.net/11104/0295763Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 9 333.9 KB Vydavatelský postprint vyžádat - 7.0502163 - MÚ 2019 RIV US eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985840
Klíčová slova: complexity * co-observability * decentralized supervisor synthesis
Obor OECD: Automation and control systems
Impakt faktor: 5.625, rok: 2019
https://ieeexplore.ieee.org/document/8340848
Trvalý link: http://hdl.handle.net/11104/0294116Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 3 997.1 KB Vydavatelský postprint vyžádat - 8.0501542 - MÚ 2020 RIV NL eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * complexity
Obor OECD: Pure mathematics
Impakt faktor: 5.541, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.automatica.2018.12.019
Trvalý link: http://hdl.handle.net/11104/0293556Název souboru Staženo Velikost Komentář Verze Přístup Masopust.pdf 6 412.2 KB Vydavatelský postprint vyžádat - 9.0501532 - MÚ 2020 RIV US eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985840
Klíčová slova: alternating towers * subsequences * upper and lower bounds
Obor OECD: Pure mathematics
Impakt faktor: 0.872, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.ic.2019.01.004
Trvalý link: http://hdl.handle.net/11104/0293551Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 5 617.3 KB Vydavatelský postprint vyžádat - 10.0488849 - MÚ 2019 RIV NL eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * detectability
Obor OECD: Automation and control systems
Impakt faktor: 6.355, rok: 2018
https://www.sciencedirect.com/science/article/pii/S0005109818301730
Trvalý link: http://hdl.handle.net/11104/0283371Název souboru Staženo Velikost Komentář Verze Přístup Masopust4.pdf 2 427.4 KB Vydavatelský postprint vyžádat