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 representation on suitable idempotent semirings useful for quantitative (timing) aspect of control, while coalgebra is useful for qualitative aspects of control. A combination of these techniques will be applied to the decentralized and modular supervisory control in order to reduce the computational complexity and make our results applicable to control of large distributed systems. (en)
Tento projekt si klade za cíl prohloubit znalosti logických a časovaných systémů s diskrétními událostmi za využití metod univerzální koalgebry a idempotentní algebry se zaměřením na supervizní řízení velkých distribuovaných systémů. Metody idempotentní algebry poskytují lineární reprezentaci vzhledem k vhodným idempotentním polookruhům, která může být využitá na kvantitativní (časový) aspekt řízení, zatímco koalgebra je vhodná pro kvalitativní aspekt. Kombinací těchto metod budeme studovat decentralizovane a modulární řízení za účelem snížení výpočetní složitosti a tedy lepší praktické použitelnosti obdržených výsledků na řízení velkých distribuovaných systémů. (cs)