About: Decentralized control of weighted automata

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

About: Decentralized control of weighted 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=MEB020729
Description	This project aims at developing a new theoretical framework for decentralized control of concurrent weighted automata. Its application can avoid the combinatorial explosion of computational complexity inherent to concurrent systems (e.g. parallel products of automata). Weighted automata (e.g. (max,+) automata and some classes of timed automata) are used to model flexible manufacturing systems. Our goal is to propose methods for control of weighted automata using linear representations on idempotent semirings (also called dioids) of formal power series with coefficients in a number semiring called (max,+) algebra. In order to introduce and study control of weighted automata the properties of their parallel product must be studied. It is known that weighted automata with weights in dioids admit linear representation using dioids. The problem appears when one want to introduce control. Unlike control methods for Petri nets using dioid algebras, where input and state variables are naturally (en) Tento projekt si klade za cíl vybudovat teoretický základ metod decentralizovaného řízení konkurentních vážených automatů (weighted automata), jejichž aplikace zabrání kombinatoriální explozi výpočetní složitosti, jež je vlastní konkurentním systémům (jako např. paralelním součinům automatů). Vážené automaty (např. tzv. (max,+) automaty a třídy časovaných automatů) modelizují různé systèmy, např. flexibilní manufakturální systémy. Našim cílem je navrhnout metody řízení vážených automatů pomocí lineární reprezentace na idempotentních polokruzích (dioidech) formálních mocninných řad a v číselném polookruhu nazývaném (max,+) algebrou. Pro zavedení a studium řízení těchto automatů je třeba studovat vlastnosti paralelního součinu vážených automatů. Je známo že vážené automaty s vahami v dioidech mají lineární reprezentaci na dioidech. Jakmile se zajímáme o řízení, objeví se ovšem první problémy. Na rozdíl od teorie řízení Petriho sítí (deterministických), kde stavové proměnné jsou přirozeně od
Title	Decentralized control of weighted automata (en) Decentralizované řízení vážených automatů
skos:notation	MEB020729
http://linked.open...avai/cep/aktivita	KONTAKT
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB020729/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB020729/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2010-05-07 (xsd:date)
http://linked.open...i/cep/druhSouteze	M2 - Mezinárodní spolupráce podle uzavřených smluv o dvoustranné mezinárodní spolupráci ve VaV
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	69261177
http://linked.open...ai/cep/hlavniObor	BC - Teorie a systémy řízení
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho 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	weighted automata; (max; +)-automata; just in time control (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	1 (xsd:int)
http://linked.open...enychVysledkuVRIV	1 (xsd:int)
http://linked.open...lneniVMinulemRoce	2008-08-07 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/9113%2F2008-32
http://linked.open...iciPoslednihoRoku	2008
http://linked.open...atUdajeProjZameru	2009
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	2008-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2008-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	Vypracovali jsme metodu rízení (max,+) automatu: výsledný proces je dán pomocí paralelního soucinu, který rozlišuje nekontrolovatelné události. Odvodili jsme vzorec pro optimální rízení a podmínky jeho realizovatelnosti. (cs) We have developed a control mechanism for (max,+) automata: resulting process is given by a parallel composition distinguishing uncontrollable events. A formula for optimal controller and conditions for rationality have been derived. (en)
http://linked.open...tniCyklusProjektu	JU
http://linked.open.../cep/klicoveSlovo	(max +)-automata weighted automata
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB020729/2008/ico%3A67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB020729/2009/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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software