This HTML5 document contains 25 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n12	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/
n7	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/
dcterms	http://purl.org/dc/terms/
n2	http://linked.opendata.cz/resource/domain/vavai/cep/projekt/GA0/GAP103/11/
n6	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/
n3	http://linked.opendata.cz/ontology/domain/vavai/
n10	http://linked.opendata.cz/resource/domain/vavai/cep/obor/
n9	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/
n4	http://linked.opendata.cz/resource/domain/vavai/cep/faze/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n8	http://linked.opendata.cz/resource/domain/vavai/cep/typ/
n13	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/
xsdh	http://www.w3.org/2001/XMLSchema#
n11	http://linked.opendata.cz/resource/domain/vavai/cep/business-entity/
n14	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/P103/11/

Statements

Subject Item

n2:0517

rdf:type

n3:Projekt

dcterms:description

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. 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 be investigated.  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 goal is to find effective methodsfor supervisory control of this type of systems, in particular decentralizedcontrol and coordination control, where local controllers communicatewith a coordinator. 

dcterms:title

Decentralized supervisory control of timed automata Decentralizované supervizní řízení časovaných automatů

n3:cislo-smlouvy

n14:0517

n3:druh-souteze

n9:VS

n3:faze

n4:54233955

n3:hlavni-obor

n10:BC

n3:hlavni-ucastnik

n11:ico-67985840

n3:id-aktivity

n6:GA

n3:id-souteze

n12:SGA02011GA-ST

n3:kategorie

n7:1

n3:klicova-slova

timed automata; decentralized supervisory control; synchronous composition

n3:konec-reseni

2013-12-31+01:00

n3:pocet-koordinujicich-prijemcu

0

n3:poskytovatel

n13:GA0

n3:start-reseni

2011-01-01+01:00

n3:statni-podpora

986

n3:typProjektu

n8:P

n3:uznane-naklady

986

n3:pocet-prijemcu

1

n3:pocet-spoluprijemcu

0

n3:pocet-vysledku

13

n3:pocet-vysledku-zverejnovanych

13