All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Decentralized supervisory control of timed automata

Public support

  • Provider

    Czech Science Foundation

  • Programme

    Standard projects

  • Call for proposals

    Standardní projekty 14 (SGA02011GA-ST)

  • Main participants

  • Contest type

    VS - Public tender

  • Contract ID

    P103-11-0517

Alternative language

  • Project name in Czech

    Decentralizované supervizní řízení časovaných automatů

  • Annotation in Czech

    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.

Scientific branches

  • R&D category

    ZV - Basic research

  • CEP classification - main branch

    BC - Theory and management systems

  • CEP - secondary branch

  • CEP - another secondary branch

  • OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Completed project evaluation

  • Provider evaluation

    V - Vynikající výsledky projektu (s mezinárodním významem atd.)

  • Project results evaluation

    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.

Solution timeline

  • Realization period - beginning

    Jan 1, 2011

  • Realization period - end

    Dec 31, 2013

  • Project status

    U - Finished project

  • Latest support payment

    Jun 12, 2013

Data delivery to CEP

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

  • Data delivery code

    CEP14-GA0-GA-U/01:1

  • Data delivery date

    Jul 1, 2014

Finance

  • Total approved costs

    986 thou. CZK

  • Public financial support

    986 thou. CZK

  • Other public sources

    0 thou. CZK

  • Non public and foreign sources

    0 thou. CZK