Filters
Decidability and complexity of observational equivalences on infinite - state processes (GA201/99/D026)
- state processes. In particular we want to study strong, and weak bisimulation of decision procedures that might exist. For strong bisimulation equivalence we want for the aforementionedprocess algebras. In the case of weak bi...
BC - Teorie a systémy řízení
- 1999 - 2002 •
- 231 tis. Kč •
- 231 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1999 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Supervisory control of large distributed discrete event systems (KJB100190609)
This project aims at studying logical and timed discrete event systems using methods from universal coalgebra and idempotent algebra with special focus on supervisory control of large distributed systems. Methods of idempotent algebra enable linear r...
BC - Teorie a systémy řízení
- 2006 - 2008 •
- 255 tis. Kč •
- 255 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Categorical Methods of the Theory of Structures and Computer Science (GA201/02/0148)
and their use in theoretical computer science, bisimulations, quantales and their modules...
BA - Obecná matematika
- 2002 - 2004 •
- 1 856 tis. Kč •
- 1 856 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2002 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 3 out of 3