Verifikace a řízení síťových diskrétních systémů

Poskytovatel

Ministerstvo školství, mládeže a tělovýchovy

Program

INTER-EXCELLENCE

Veřejná soutěž

SMSM2019LTA01

Hlavní účastníci

Univerzita Palackého v Olomouci / Přírodovědecká fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

MSMT-37785/2019-2

Název projektu anglicky

Verification and Control of Networked Discrete-Event Systems

Anotace anglicky

The aim of this project is to extend current diagnosis, verification, and supervisory control approaches for modular discrete-event systems to networked discrete-event systems to cope with delays and losses in communications channels. In the standard supervisory control framework, it is assumed that communications between supervisors and the plant in both control and observation parts of the feedback loop are reliable and instantaneous. In a networked control system, the feedback loops are closed via a real-time communication network, which is shared with other nodes inside or outside the control system. The communication carried out over a shared network then induces delays and losses. We will investigate modular synthesis of supervisors that will be robust to these delays and losses. We will further apply the investigated approaches to the verification and control of guidepath-based transport systems that find applications in material handling systems, robotics and many other fields.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

20205 - Automation and control systems

OECD FORD - vedlejší obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika<br>JD - Využití počítačů, robotika a její aplikace

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

"Pracovali jsme na problémech verifikace a řízení konečně a nekonečně stavových systémů. Vylepšili jsme složitost verifikace konzistence časovaných Petriho sítí se strukturou event grafů, rozšířili jsme modulární supervizní řízení na hierarchické systémy s částečným pozorováním a našli jsme aplikaci našeho hierarchického přístupu v modulárních systémech s koordinátorem."

Zahájení řešení

1. 1. 2020

Ukončení řešení

31. 12. 2022

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

1. 3. 2022

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP23-MSM-LT-U

Datum dodání záznamu

30. 6. 2023

Celkové uznané náklady

3 963 tis. Kč

Výše podpory ze státního rozpočtu

3 963 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč