Decentralizované supervizní řízení časovaných automatů
Cíle projektu
V rámci tohoto projektu vypracujeme nové postupy pro supervizní řízení časovaných diskrétních událostních systémů. Budeme studovat decentralizované a modulární řízení velkých časovaných systémů za účelem snížení výpočetní složitosti, která představuje nejvážnější překážku aplikace metod supervizního řízení v inženýrské praxi. Vážené automaty (např. tzv. (max,+) automaty, intervalové automaty a další třídy časovaných automatů) modelují např. flexibilní manufakturální systémy, informační a komunikační protokoly, kde nezáleží jen na pořadí diskrétních událostí, ale také na jejich správném načasování. Budeme studovat jak případ lokálních specifikací, tak i globálních (nerozložitelných) specifikací. Podobně se budeme zabývat jak případem úplného pozorováníudálostí, tak i situacemi, kdy všechny události systému nejsou pozorovatelné, ať již z podstaty samé těchto událostí nebo z ekonomických důvodů (kdy cena příslušných senzorů je příliš vysoká). Půjde nám o efektivní metody řízení těchto systémů, a to decentralizované řízení a koordinační řizení, kdy lokální řídící automaty komunikují s koordinátorem.
Klíčová slova
timedautomatadecentralizedsupervisorycontrolsynchronouscomposition
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 14 (SGA02011GA-ST)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
P103-11-0517
Alternativní jazyk
Název projektu anglicky
Decentralized supervisory control of timed automata
Anotace anglicky
In this research proposal newmethodology for supervisory control timed discrete event systems willbe elaborated. More specifically, decentralized and modular control oflarge distributed timed systems will be studied in order to reduce thecomputational complexity of supervisory control synthesis, whichconstitutes the major obstacle for application of supervisory control inindustry. Weighted automata (e.g. (max,+) automata, interval automata, and otherclasses of timed automata) model flexible manufacturing systems, computer andinformation networks with communication protocols, where not only ordering butalso timing of discrete events is important. Both cases of local control specifications and more relevant global (indecomposable) specifications will beinvestigated. Similarly, we will consider the case, where all events are observable as well as the case, where not all events are observable due to the very nature of an event or simply due to economic reasons (too high a cost of a sensor ). Our goalis to find effective methodsfor supervisory control of this type of systems, in particular decentralizedcontrol and coordination control, where local controllers communicatewith a coordinator.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BC - Teorie a systémy řízení
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Přínos řešení projektu je možno spatřovat především v oblasti teorie supervizního řízení velkých diskrétních událostních systémů. Hospodaření projektu bylo účelné a dle pravidel. Výsledky jsou vynikající a vedly ke kvalitním a hodnotným publikačním výst?
Termíny řešení
Zahájení řešení
1. 1. 2011
Ukončení řešení
31. 12. 2013
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
12. 6. 2013
Dodání dat do CEP
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
CEP14-GA0-GA-U/01:1
Datum dodání záznamu
1. 7. 2014
Finance
Celkové uznané náklady
986 tis. Kč
Výše podpory ze státního rozpočtu
986 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
986 tis. Kč
Statní podpora
986 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
BC - Teorie a systémy řízení
Doba řešení
01. 01. 2011 - 31. 12. 2013