About: Decentralized supervisory control of timed automata

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Decentralized supervisory control of timed automata Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
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. (cs) 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. (en)
Title	Decentralizované supervizní řízení časovaných automatů (cs) Decentralized supervisory control of timed automata (en)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/P103/11/0517
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/54233955
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/BC
http://linked.open...i/hlavni-ucastnik	Matematický ústav AV ČR, v. v. i.
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/GA
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SGA02011GA-ST
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	timed automata; decentralized supervisory control; synchronous composition (en)
http://linked.open...avai/konec-reseni	2013-12-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/GA0
http://linked.open...avai/start-reseni	2011-01-01 (xsd:date)
http://linked.open...ai/statni-podpora	986 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	986 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	13 (xsd:integer)
http://linked.open...ku-zverejnovanych	13 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2011/GAP103/11/0517/ico-67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2012/GAP103/11/0517/ico-67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2013/GAP103/11/0517/ico-67985840

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software