Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Decentralizované supervizní řízení za využití koabgebry

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F03%3A00106956" target="_blank" >RIV/67985840:_____/03:00106956 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Decentralized Supervisory Control with Coalgebra

  • Popis výsledku v původním jazyce

    Basic concepts of the decentralized supervisory control have been formulated using coalgebraic techniques. Coinduction is used to define an operation on languages called decentralized supervised product, which represents the language of the closed-loop system.

  • Název v anglickém jazyce

    Decentralized Supervisory Control with Coalgebra

  • Popis výsledku anglicky

    Basic concepts of the decentralized supervisory control have been formulated using coalgebraic techniques. Coinduction is used to define an operation on languages called decentralized supervised product, which represents the language of the closed-loop system.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2003

  • Kód důvěrnosti údajů

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

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    Proceedings European Control Conference

  • ISBN

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    8

  • Strana od-do

    1-8

  • Název nakladatele

    European Union Control Association

  • Místo vydání

    Cambridge

  • Místo konání akce

    Cambridge

  • Datum konání akce

    1. 9. 2003

  • Typ akce podle státní příslušnosti

    EUR - Evropská akce

  • Kód UT WoS článku