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
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GAP103/11/0517
Description	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) 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.
Title	Decentralized supervisory control of timed automata (en) Decentralizované supervizní řízení časovaných automatů
skos:notation	GAP103/11/0517
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GAP103%2F11%2F0517/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GAP103%2F11%2F0517/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2014-07-01 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100267811
http://linked.open...ai/cep/hlavniObor	BC - Teorie a systémy řízení
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	timed automata decentralized supervisory control synchronous composition (en)
http://linked.open...ep/partnetrHlavni	Matematický ústav AV ČR, v. v. i.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	16 (xsd:int)
http://linked.open...enychVysledkuVRIV	16 (xsd:int)
http://linked.open...lneniVMinulemRoce	2013-06-12 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/P103-11-0517
http://linked.open...iciPoslednihoRoku	2013
http://linked.open...atUdajeProjZameru	2014
http://linked.open.../vavai/cep/soutez	SGA02011GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2013-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2011-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	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ýstupům. (cs) Excellent theoretical results with outstanding publications outcome. The most important results were achieved in the area of supervisory control of discrete event systems. Financial support was used reasonably and according to the rules and project purpose. (en)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	A bridge between decentralized and coordination control Coordination control of distributed discrete-event systems Multilevel Coordination Control of Modular DES Séquentialisation du comportement des réseaux de Petri temporisés Residuation of tropical series: rationality issues Supervisory control with partial observations Supervisory control of distributed discrete-event systems Coordinated control of discrete event systems with nonprefix-closed languages Control of distributed systems : tutorial and overview Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Decentralized control of product (max+)-automata using coinduction Compositions of (max+)-automata On conditional decomposability On algorithms and extensions of coordination control of discrete-event systems Supervisory control synthesis of discrete-event systems using a coordination scheme Hierarchical control with partial observations : sufficient conditions
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP103%2F11%2F0517/2011/ico%3A67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP103%2F11%2F0517/2012/ico%3A67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP103%2F11%2F0517/2013/ico%3A67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GAP103%2F11%2F0517/2014/ico%3A67985840

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, 114 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software