Decentralized Supervisory Control with Coalgebra
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Decentralized Supervisory Control with Coalgebra
Original language description
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.
Czech name
Decentralizované supervizní řízení za využití koabgebry
Czech description
Základní pojmy decentralizovaného supervizního řízení jsou formulovány pomocí koalgebraických technik. Koindukce je použita k definici operace na jazycích nazývané decentralizovaný supervizní součin, která reprezentuje jazyk systému v uzavřené smyčce.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings European Control Conference
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
1-8
Publisher name
European Union Control Association
Place of publication
Cambridge
Event location
Cambridge
Event date
Sep 1, 2003
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—