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)

AttributesValues
rdf:type
rdfs:seeAlso
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
http://linked.open...kovaStatniPodpora
http://linked.open...ep/celkoveNaklady
http://linked.open...datumDodatniDoRIV
http://linked.open...i/cep/druhSouteze
http://linked.open...ep/duvernostUdaju
http://linked.open.../cep/fazeProjektu
http://linked.open...ai/cep/hlavniObor
http://linked.open...hodnoceniProjektu
http://linked.open...vai/cep/kategorie
http://linked.open.../cep/klicovaSlova
  • timed automata decentralized supervisory control synchronous composition (en)
http://linked.open...ep/partnetrHlavni
http://linked.open...inujicichPrijemcu
http://linked.open...cep/pocetPrijemcu
http://linked.open...ocetSpoluPrijemcu
http://linked.open.../pocetVysledkuRIV
http://linked.open...enychVysledkuVRIV
http://linked.open...lneniVMinulemRoce
http://linked.open.../prideleniPodpory
http://linked.open...iciPoslednihoRoku
http://linked.open...atUdajeProjZameru
http://linked.open.../vavai/cep/soutez
http://linked.open...usZobrazovaneFaze
http://linked.open...ai/cep/typPojektu
http://linked.open...ep/ukonceniReseni
http://linked.open...ep/zahajeniReseni
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
is http://linked.open...vavai/cep/projekt of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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