Multilevel supervisory control (MUSIC)
Project goals
The aim of the project is to develop techniques to decrease computational complexity of supervisory control of discrete-event systems with large number of states. Both automata with known modular structure given by the synchronous product of smaller components and large automata without such a structure will be considered. Standard centralized control methods cannot be applied for complexity reasons, and therefore, we will propose multi-level coordination control with hierarchical structure of the coordinators on different layers for different groups of subsystems. It will be based on the single-level coordination control with one central coordinator that we have recently developed. These efficient techniques will be applied to decentralized control ofsystems without known modular structure. As a by-product communication protocols between groups of subsystems given by the structure of coordinators on different levels of hierarchy will be obtained.
Keywords
Discrete-event systemsSupervisory controlMulti-level coordination controlDecentralized control with communicating controllers
Public support
Provider
Ministry of Education, Youth and Sports
Programme
KONTAKT II
Call for proposals
KONTAKT II 3 (SMSM2013LH3)
Main participants
Matematický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
MSMT-16744/2013
Alternative language
Project name in Czech
Víceúrovňové Supervizní Řízení
Annotation in Czech
Hlavním cílem projektu je navrhnout metody na snížení výpočetní složitosti supervizního řízení velkých systémů s diskrétními událostmi modelovaných konečnými automaty s velkým počtem stavů. Budeme uvažovat automaty se známou strukturou danou synchronizovaným součinem velkého počtu menších komponent nebo nestrukturované, avšak velké automaty. Klasické existující centralizované metody, které počítají s celým systémem, nemohou být použity z důvodu vysoké výpočetní složitosti, a tak vybudujeme víceúrovňovékoordinační řízení s hierarchickou strukturou koordinátorů pro jednotlivé skupiny podsystémů v návaznosti na námi nedávno zavedené koordinační řízení menších systémů s jedním centrálním koordinátorem. Tyto vybudované metody pak budou aplikovány na decentralizované řízení nestrukturovaných automatů, tj. automatů s neznámou strukturou. Vedlejším výsledkem pak budou komunikační protokoly dané strukturou koordinátorů, které hrají roli komunikačních kanálů mezi skupinami podsystémů na různých úrovních.
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
We have proposed a multi-level coordination control framework for supervisory control of concurrent discrete-event systems. The distributed computation of supervisors on all levels of the hierarchy leads to a considerable reduction of computational complexity in supervisory control. Multilevel coordination control has also been developped for systems with partial observations.
Solution timeline
Realization period - beginning
Mar 1, 2013
Realization period - end
Dec 31, 2015
Project status
U - Finished project
Latest support payment
Feb 27, 2015
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
CEP16-MSM-LH-U/01:1
Data delivery date
Oct 9, 2017
Finance
Total approved costs
1,337 thou. CZK
Public financial support
1,337 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
1 337 CZK thou.
Public support
1 337 CZK thou.
100%
Provider
Ministry of Education, Youth and Sports
CEP
BC - Theory and management systems
Solution period
01. 03. 2013 - 31. 12. 2015