Výsledky vyhledávání
- 1.0564912 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On verification of weak and strong k-step opacity for discrete-event systems.
IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 108-113. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * opacity * verification * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.331
Trvalý link: https://hdl.handle.net/11104/0336489Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 5 470.6 KB Vydavatelský postprint povolen - 2.0553385 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Propositional Dynamic Logic with Quantification over Regular Computation Sequences.
Logical Foundations of Computer Science. International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings. Cham: Springer, 2022 - (Artemov, S.; Nerode, A.), s. 301-315. Lecture Notes in Computer Science, 13137. ISBN 978-3-030-93099-8. ISSN 0302-9743.
[LFCS 2022: International Symposium on Logical Foundations of Computer Science. Deerfield Beach / Virtual (US), 10.01.2022-13.01.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Finite automata * Planning * Propositional dynamic logic * Quantification
Obor OECD: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-93100-1_19
Trvalý link: http://hdl.handle.net/11104/0328339 - 3.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/0315649Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 2 357.6 KB Vydavatelský postprint povolen - 4.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 - 5.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 - 6.0442897 - ÚJF 2016 RIV NL eng J - Článek v odborném periodiku
Turek, Ondřej
Abelian properties of Parry words.
Theoretical Computer Science. Roč. 566, FEB (2015), s. 26-38. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA MŠMT LG14004
Institucionální podpora: RVO:61389005
Klíčová slova: Abelian complexity * finite automata * recurrent word * balance function
Kód oboru RIV: BE - Teoretická fyzika
Impakt faktor: 0.643, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0245713 - 7.0404707 - UIVT-O 20030012 RIV GB eng J - Článek v odborném periodiku
Wiedermann, Jiří
The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa.
Journal of Experimental & Theoretical Artificial Intelligence. Roč. 15, č. 3 (2003), s. 267-279. ISSN 0952-813X. E-ISSN 1362-3079
Grant CEP: GA ČR GA201/98/0717; GA ČR GA201/00/1489
Výzkumný záměr: AV0Z1030915
Klíčová slova: computational power * neural nets * neuroids * finite automata * Turing machines
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.317, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0124946 - 8.0392404 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Šíma, Jiří
A Low-Energy Implementation of Finite Automata by Optimal-Size Neural Nets.
Artificial Neural Networks and Machine Learning - ICANN 2013. Berlin: Springer, 2013 - (Mladenov, V.; Koprinkova-Hristova, P.; Palm, G.; Villa, A.; Appollini, B.; Kasabov, N.), s. 114-121. Lecture Notes in Computer Science, 8131. ISBN 978-3-642-40727-7. ISSN 0302-9743.
[ICANN 2013. International Conference on Artificial Neural Networks /23./. Sofia (BG), 10.09.2013-13.09.2013]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: neural networks * finite automata * energy complexity * optimal size
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0221276Název souboru Staženo Velikost Komentář Verze Přístup a0392404.pdf 1 196.6 KB Vydavatelský postprint vyžádat 0392404.pdf 2 817.9 KB Autorský preprint povolen - 9.0381247 - MÚ 2013 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jirásková, G. - Masopust, Tomáš
On properties and state complexity of deterministic state-partition automata.
Theoretical Computer Science. Berlin: Springer, 2012 - (Baeten, J.; Ball, T.; de Boer, F.), s. 164-178. Lecture Notes in Computer Science, 7604. ISBN 978-3-642-33474-0. ISSN 0302-9743.
[TCS 2012. IFIP TC 1/WG 2.2 International Conference /7./. Amsterdam (NL), 26.09.2012-28.09.2012]
Grant CEP: GA ČR(CZ) GPP202/11/P028
Institucionální podpora: RVO:67985840
Klíčová slova: deterministic finite automata * state partitioning * state complexity
Kód oboru RIV: BA - Obecná matematika
http://www.springerlink.com/content/tj427412271tm60w/
Trvalý link: http://hdl.handle.net/11104/0211764Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 1 323.7 KB Vydavatelský postprint vyžádat