Modular and Decentralized Control of Discrete-Event and Hybrid Systems with Communication
Project goals
Discrete-event systems represent an important class of dynamical systems with discrete state spaces and event-driven dynamics. For large systems, methods of hierarchical, modular, and decentralized decentralized supervisory control have been proposed. Since a solution to modular and decentralized supervisory control may not exist without communication between controllers, coordination control has been proposed as a form of decentralized control with supervisors communicating via coordinators. In this project we will study computationally efficient solutions to coordination supervisory control of large automata with product structure based on multi-level communication structure. Both logical automata and those stemming from discretizations will be considered. Decentralized supervisory control of automata without a priori known modular (product) structure will also be investigated. The motivations for investigating new efficient methods are that communications are sometimes lost or delayed and the original product structure is often lost after discretization.
Keywords
discrete-event systemsmodular and decentralized supervisory controlcoordination control with communicating supervisorslogical, timed, and hybrid automata
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 19 (SGA0201500001)
Main participants
Matematický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
15-02532S
Alternative language
Project name in Czech
Modulární a Decentralizované Řízení Diskrétních a Hybridních systémů s Komunikací
Annotation in Czech
Diskrétní událostní systémy reprezentují důležitou třídu dynamických systémů s diskrétním stavovým prostorem a diskrétní dynamikou řízenou výskytem událostí. Pro velké systémy byly vytvořeny metody hierarchického, modulárního a decentralizovaného supervizního řízení. Protože řešení modulárního a decentralizovaného supervizního řízení často neexistuje bez komunikace mezi supervizory, navrhli jsme koordinační řízení jako formu decentralizovaného řízení s lokálními supervizory komunikujícími prostřednictvím koordinátorů. V tomto projektu budeme studovat nové výpočetně efektivní metody koordinačního supervizního řízení strukturovaných automatů s víceúrovňovou strukturou komunikací, a to jak logických, tak těch vytvořených diskretizací. Stejně tak budeme studovat decentralizované supervizní řízení velkých automatů, které nemají apriori známou strukturou ve formě synchronizovaného součinu menších automatů. Motivací k navržení nových efektivních metod pro decentralizované řízení automatů je zpoždění nebo ztráta komunikací a ztráta součinové struktury diskretizací.
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
The project proposed efficient solutions for decentralised supervisory control of large discrete automata using local supervisors via coordinators leading to lower computational complexity. The PI provided satisfactory data. Project outcomes may be beneficial for e.g. galvanoplastics or food processing industry. Project overall output is satisfactory, no financial problems detected.
Solution timeline
Realization period - beginning
Jan 1, 2015
Realization period - end
Dec 31, 2017
Project status
U - Finished project
Latest support payment
Apr 5, 2017
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
CEP18-GA0-GA-U/02:1
Data delivery date
May 4, 2018
Finance
Total approved costs
1,353 thou. CZK
Public financial support
1,353 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
1 353 CZK thou.
Public support
1 353 CZK thou.
100%
Provider
Czech Science Foundation
CEP
BC - Theory and management systems
Solution period
01. 01. 2015 - 31. 12. 2017