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”

Control of (max,+) Automata: a single step approach

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F09%3A00330859" target="_blank" >RIV/67985840:_____/09:00330859 - 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

    Control of (max,+) Automata: a single step approach

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

    Control of (max,+) automata is studied within a behavioral framework. The classical tensor product of their linear representations and its generalized version extends the parallel composition of logical automata to (max,+) automata. In terms of behaviors(formal power series) these correspond to Hadamard product and a generalized version of it is studied in this paper. Supervisory control theory based on the generalized version of Hadamard product has an advantage that both logical and timing aspects can be captured at the same time using residuation theory of (multivariable) formal power series.

  • Název v anglickém jazyce

    Control of (max,+) Automata: a single step approach

  • Popis výsledku anglicky

    Control of (max,+) automata is studied within a behavioral framework. The classical tensor product of their linear representations and its generalized version extends the parallel composition of logical automata to (max,+) automata. In terms of behaviors(formal power series) these correspond to Hadamard product and a generalized version of it is studied in this paper. Supervisory control theory based on the generalized version of Hadamard product has an advantage that both logical and timing aspects can be captured at the same time using residuation theory of (multivariable) formal power series.

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í

    2009

  • 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 of European Control Conference

  • ISBN

    978-963-311-369-1

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    6

  • Strana od-do

  • Název nakladatele

    European Union Control Association

  • Místo vydání

    Budapest

  • Místo konání akce

    Budapest

  • Datum konání akce

    23. 8. 2009

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

    WRD - Celosvětová akce

  • Kód UT WoS článku