Šablona:Main page: Porovnání verzí
Bez shrnutí editace |
Bez shrnutí editace |
||
(Není zobrazeno 22 mezilehlých verzí od 2 dalších uživatelů.) | |||
Řádek 1: | Řádek 1: | ||
{{Layout |
{{Layout basic |
||
|Heading={{{Heading|}}} |
|||
|Main text = |
|||
⚫ | |||
<!--{{Layout carousel with context |
|||
| Heading={{{Heading|}}} |
| Heading={{{Heading|}}} |
||
| Show carousel={{{Show carousel|Ano}}} |
| Show carousel={{#ifeq:{{{Show carousel|}}}|Ano|1|{{{Show carousel|1}}}}} |
||
| Carousel image1={{{Carousel image1|}}} |
| Carousel image1={{{Carousel image1|}}} |
||
| Carousel image2={{{Carousel image2|}}} |
| Carousel image2={{{Carousel image2|}}} |
||
| Carousel image3={{{Carousel image3|}}} |
| Carousel image3={{{Carousel image3|}}} |
||
| First column= |
| First column= |
||
⚫ | |||
⚫ | |||
<!--{{Layout container basic |
|||
⚫ | |||
⚫ | |||
⚫ | |||
| Main text= |
|||
| Intro=<p class="h2">Recent news</p> |
|||
⚫ | |||
⚫ | |||
| Intro={{Y space|3}} |
|||
| Searchlabel= |
| Searchlabel= |
||
⚫ | |||
⚫ | |||
}}{{#bootstrap_button: All announcements | color=primary | size=md | text=More results | class=float-right}} |
|||
⚫ | |||
}}--> |
|||
⚫ | |||
| Heading= Recent news |
|||
|Main text= |
|||
{{Main page content query |
|||
| Query=[[Category:Main page content]] [[Show on main page::ano]] |
|||
| Intro={{Y space|3}} |
|||
⚫ | |||
| Padding bottom=50 |
| Padding bottom=50 |
||
}} |
}} |
||
⚫ | |||
| Heading=Research groups |
|||
|Main text= |
|||
{{Research group query |
|||
| Query=[[Category:Research group]] |
|||
| Outro=<br> |
|||
⚫ | |||
| Padding bottom=50 |
|||
}} |
|||
⚫ | |||
{{Layout container basic|Main text= |
{{Layout container basic|Main text= |
||
{{People query |
{{People query |
||
Řádek 25: | Řádek 50: | ||
| Order = asc |
| Order = asc |
||
| Searchlabel= |
| Searchlabel= |
||
⚫ | |||
⚫ | |||
⚫ | |||
|Padding bottom=50 |
|Padding bottom=50 |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
| Intro=<p class="h2">Study programs</p> |
|||
⚫ | |||
⚫ | |||
}}}}<!--- |
|||
*** Second column *** |
*** Second column *** |
||
---> |
|Second column=---> |
||
⚫ | |||
|Second column= |
|||
| Heading=Projects |
|||
⚫ | |||
|Main text= |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
| Searchlabel= |
|||
⚫ | |||
⚫ | |||
⚫ | |||
|Padding bottom=50 |
|Padding bottom=50 |
||
}} |
}} |
||
{{Layout container basic |
{{Layout container basic |
||
|Heading=Publications |
|||
|Main text= |
|||
{{Publication query |
{{Publication query |
||
| Query=[[Category:Publication]] |
| Query=[[Category:Publication]] |
||
| Intro=<p class="h2">Publications</p> |
|||
| Searchlabel= |
| Searchlabel= |
||
}}{{#bootstrap_button: All publications | color=primary | size=md | text=More results | class=float-right}} |
|||
}}<!-- |
|||
⚫ | |||
|Padding bottom=50 |
|Padding bottom=50 |
||
}} |
}} |
||
<!--{{#ifeq:{{{Show study programs|Ano}}}|Ano| |
|||
{{Layout container basic |
{{Layout container basic |
||
{{Project query |
|||
| Heading=Study programs |
|||
⚫ | |||
| Main text= |
|||
| Intro=<p class="h2">Projects</p> |
|||
⚫ | |||
⚫ | |||
| Intro={{Y space|3}} |
|||
}} |
}} |
||
|Padding bottom=50 |
|Padding bottom=50 |
||
}} |
}}}} |
||
}} |
}}--> |
||
[[Category:Main page]] |
[[Category:Main page]] |
||
{{#default_form:Main page}} |
{{#default_form:Main page}} |
Aktuální verze z 18. 8. 2022, 06:37
Recent news
Recent news
Research groups
Research groups
Discrete-Event Systems and Theoretical Computer Science Research Group
Discrete-Event Systems and Theoretical Computer Science Research Group
Tomáš Masopust
We are a group of people interested in Discrete-Event Systems and Theoretical Computer Science
Projects
Projects
Martin Trnečka
Jiří Balun, Jiří Valůšek
Martin Trnečka
Jiří Balun, Jiří Valůšek
Verification and Control of Networked Discrete Event Systems
Verification and Control of Networked Discrete Event Systems
Tomáš Masopust, Jan Komenda
Jiří Balun, Stéphane Lafortune, Spyros Reveliotis, Feng Lin
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
Jan Komenda, Jörg Raisch
Tomáš Masopust, Thomas Moor
Publications
Publications
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality
Jan Komenda, Tomáš Masopust
IEEE Transactions on Automatic Control, 2024
Hierarchical Supervisory Control under Partial Observation: Normality
Hierarchical Supervisory Control under Partial Observation: Normality
Jan Komenda, Tomáš Masopust
IEEE Transactions on Automatic Control 68(12), 7286-7298, 2023
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Jiří Balun, Petr Osička, Tomáš Masopust
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023
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
Jiří Balun, Tomáš Masopust
IEEE International Conference on Systems, Man, and Cybernetics (SMC), 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
Davide Zorzenon, Jiří Balun, Jörg Raisch
COSY, 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
Yingying Liu, Tomáš Masopust, Jan Komenda, Zhiwu Li
Automatica 142, 110431, 2022
Jiří Balun, Tomáš Masopust
Discrete Event Dynamic Systems 31, 2021