Koalgebra a koindukce v decentralizovaném supervizním řízení

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F04%3A00106957" target="_blank" >RIV/67985840:_____/04:00106957 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985840:_____/03:00023019

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Coalgebra and coinduction in decentralized supervisory control

Popis výsledku v původním jazyce

Coalgebra and coinduction are used in the decentralized supervisory control of discrete-event systems. The relational characterizations of language properties like coobservability and decomposability are proposed. The exact relationship between these twoproperties is found based on these characterizations.

Název v anglickém jazyce

Coalgebra and coinduction in decentralized supervisory control

Popis výsledku anglicky

Coalgebra and coinduction are used in the decentralized supervisory control of discrete-event systems. The relational characterizations of language properties like coobservability and decomposability are proposed. The exact relationship between these twoproperties is found based on these characterizations.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GP201%2F03%2FP077" target="_blank" >GP201/03/P077: Koalgebra a řízení systémů s diskrétními událostmi</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2004

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ů

Název statě ve sborníku

Proceedings IFAC Control System Design

ISBN

—

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

193-198

Název nakladatele

Elsevier Science Ltd

Místo vydání

Oxford

Místo konání akce

Bratislava

Datum konání akce

7. 9. 2003

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

EUR - Evropská akce

Kód UT WoS článku

—