IGA PrF 2022 018
IGA PrF 2022 018
IGA PrF 2022 018
The university support of the PhD and graduate students.
Results
Journal articles
Journal articles
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Automatica 155, 111153, 2023
Conference papers
Conference papers
Davide Zorzenon, Jiří Balun, Jörg Raisch
COSY, 2022
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
Jiří Balun, Tomáš Masopust
IFAC PapersOnLine 55(28), 108-113, 2022
Jiří Balun, Tomáš Masopust
IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2022
Modeling of safe timed Petri nets by two-level (max,+) automata
Modeling of safe timed Petri nets by two-level (max,+) automata
Jan Komenda, Jiří Balun, Davide Zorzenon
WODES, 2022
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
Jiří Balun, Tomáš Masopust
WODES, 2020
Principal investigator
Principal investigator
Martin TrnečkaTeam members
Team members
Jiří Balun
Jiří Valůšek
2022/03/01-2022/12/31
Palacký University Olomouc
Discrete-Event Systems and Theoretical Computer Science Research Group