Modelování a simulace

Aktuální témata výzkumu

• Simulace a vývoj systémů
• Teorie her a simulace v podpoře rozhodování
• Přehled existujících simulačních technik a nástrojů
• Integrujícím tématem je Modelování a simulace inteligentních systémů

Experimentální nástroje (vyvíjené pro ověřování zkoumaných a navrhovaných konceptů)

• Simlib - simulační knihovna pro C++
• PNtalk/SmallDEVS - experimentální nástroj demonstrující princip vývoje systémů založeného na formálních modelech, simulaci a experimentálním programování

Organizace konferencí

• JCKBSE 2000
• ASU 2002
• MOSIS
• ASIS

Spolupráce, kontakty s jinými pracovišti a institucemi

• Univ. of Malta, Department of Statistics and Operations Research (J. Sklenar - simulace diskrétních systémů)
• EUROSIM, CSSS - organizace konferencí
• EGÚ Brno - aplikace teorie her
• Univ. of Hamburg (Daniel Moldt - Petriho sítě, objekty, agentní systémy)