Výzkumná skupina modelování a simulace systémů
Skupina Modelování a simulace se věnuje výzkumu metod a nástrojů pro modelování a simulaci systémů, včetně problematiky počítačem podporované teorie systémů a návrhu systémů s využitím formálních modelů, simulace, analýzy a verifikace. V centru pozornosti jsou heterogenní systémy, řídicí systémy, senzorové systémy, paralelní a distribuované systémy, reflektivní, učící se a adaptivní systémy, multiagentní systémy, plánování, optimalizace a architektury simulátorů a solverů.Témata výzkumu
- Systémy s diskrétními událostmi
- Petriho sítě
- Hybridní systémy
- Modelování, simulace, analýza a návrh systémů - metody a nástroje
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)