Supervisory control of large distributed discrete event systems
Project goals
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.
Keywords
Discrete-event systemssupervisory controlcoalgebrabisimulationdioid algebradecentralized and modular control
Public support
Provider
Academy of Sciences of the Czech Republic
Programme
The research grant projects for juniors
Call for proposals
Juniorské badatelské grantové projekty 4 (SAV02006-B)
Main participants
—
Contest type
VS - Public tender
Contract ID
KJB100190609
Alternative language
Project name in Czech
Supervizní řízení velkých distribuovaných systémů s diskrétními událostmi
Annotation in Czech
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ů.
Scientific branches
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This project contributed to the decentralized supervisory control theory. Both sufficient and necessary conditions were derived for modular control synthesis (with lower computational complexity) to equal global control synthesis.
Solution timeline
Realization period - beginning
Jan 1, 2006
Realization period - end
Dec 31, 2008
Project status
U - Finished project
Latest support payment
Feb 21, 2008
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP09-AV0-KJ-U/04:4
Data delivery date
Nov 5, 2013
Finance
Total approved costs
255 thou. CZK
Public financial support
255 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
255 CZK thou.
Public support
255 CZK thou.
100%
Provider
Academy of Sciences of the Czech Republic
CEP
BC - Theory and management systems
Solution period
01. 01. 2006 - 31. 12. 2008