Decentralized control of product (max+)-automata using coinduction

Kód výsledku v IS VaVaI

RIV/67985840:_____/12:00386937 - isvavai.cz

Výsledek na webu

http://dx.doi.org/10.3182/20121003-3-MX-4033.00023

DOI - Digital Object Identifier

10.3182/20121003-3-MX-4033.00023

Jazyk výsledku

angličtina

Název v původním jazyce

Decentralized control of product (max+)-automata using coinduction

Popis výsledku v původním jazyce

Max,+ -automata are weighted automata over the (max,+) semiring. Deterministic (max,+)-automata are sequential models that need to be composed in order to model concurrent timed systems. In this paper, the synchronous product and the supervised product are defined by coinduction. Maximally permissive timed control then amounts to compute residuation of the supervised product that is defined by coinduction. It is proven by coinduction that the definition of maximally permissive timed control is correct.We apply this co-algebraic framework to decentralized control of product (max,+) automata.

Název v anglickém jazyce

Decentralized control of product (max+)-automata using coinduction

Popis výsledku anglicky

Max,+ -automata are weighted automata over the (max,+) semiring. Deterministic (max,+)-automata are sequential models that need to be composed in order to model concurrent timed systems. In this paper, the synchronous product and the supervised product are defined by coinduction. Maximally permissive timed control then amounts to compute residuation of the supervised product that is defined by coinduction. It is proven by coinduction that the definition of maximally permissive timed control is correct.We apply this co-algebraic framework to decentralized control of product (max,+) automata.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

GAP103/11/0517: Decentralizované supervizní řízení časovaných automatů

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2012

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 of the 11th International Workshop on Discrete Event Systems (WODES 2012)

ISBN

978-3-902823-28-1

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

122-127

Název nakladatele

IFAC

Místo vydání

Guadalajara

Místo konání akce

Guadalajara

Datum konání akce

3. 10. 2012

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

WRD - Celosvětová akce

Kód UT WoS článku

—