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
—