Verification and Control of Networked Discrete-Event Systems
Public support
Provider
Ministry of Education, Youth and Sports
Programme
INTER-EXCELLENCE
Call for proposals
SMSM2019LTA01
Main participants
Univerzita Palackého v Olomouci / Přírodovědecká fakulta
Contest type
VS - Public tender
Contract ID
MSMT-37785/2019-2
Alternative language
Project name in Czech
Verifikace a řízení síťových diskrétních systémů
Annotation in Czech
Cílem projektu je analyzovat výpočetní složitost diagnostických metod modulárních a distribuovaných systémů s diskrétními událostmi modelové pomocí automatů a Petriho síti a navrhnout nové, výpočetně efektivní přístupy k diagnostice vlastností důležitých pro automatizované řízení. Budeme studovat řízení modulárních síťových diskrétních systémů, kde dochází ke zpožděním a ztrátám v pozorovacích a řídících komunikačních kanálech. Dosavadní výsledky existují pouze pro monolitické systémy, avšak většina reálných systémů má modulární strukturu. Poněvadž počet stavů monolitických systémů roste exponenciálně s počtem modulů, byly navrženy metody modulárního a obecněji koordinačního supervizního řízení. V rámci projektu zobecníme modulární a koordinační supervizní řízení na síťové modulární diskrétní systémy. Budou nás především zajímat podmínky, za kterých jsou vypočtené lokální supervizory optimální. Též se budeme zabývat výpočtem supervizorů pro modulární systémy, které vynucují obecnější vlastnosti, než je splnění dané specifikace. Jde např. o opacitu či živost. Opacita je bezpečnostní vlastnost významná v technologických systémech. Je důležitá pro bezpečnost dnešních kyberfyzikálních systémů, neboť zaručuje, že se vnější pozorovatel nedostane k důležitým informacím o stavu systému. Vlastnosti, jako opacita, nabývají na významu, neboť otázky utajení a soukromí jsou důležité v komunikačních protokolech síťových systémů, ale i v návrhu softwaru i hardwaru obecně. Živost je pak vlastnost systémů, která zaručuje, že se systém nezablokuje. Například v případě složitých transportních systémů, kde součásti systému jsou obrovské, je důležité, aby byl systém živý a nedošlo k jeho zablokování. Vyřešit případné zablokování takového systému je jak časově, tak i finančně náročné.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
20205 - Automation and control systems
OECD FORD - secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics<br>JD - Use of computers, robotics and its application
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
"We studied verification and control of finite- and infinite-state systems. We improved the algorithmic complexi - ty of the consistency verification of P-Time event graphs, we extended modular supervisory control to hierarchical supervisory control under partial observation, and we found an application of our hierarchical approach in modular systems with a coordinator."
Solution timeline
Realization period - beginning
Jan 1, 2020
Realization period - end
Dec 31, 2022
Project status
U - Finished project
Latest support payment
Mar 1, 2022
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
CEP23-MSM-LT-U
Data delivery date
Jun 30, 2023
Finance
Total approved costs
3,963 thou. CZK
Public financial support
3,963 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK