Compositions of (max+)-automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F12%3A00386930" target="_blank" >RIV/67985840:_____/12:00386930 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.3182/20121003-3-MX-4033.00013" target="_blank" >http://dx.doi.org/10.3182/20121003-3-MX-4033.00013</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3182/20121003-3-MX-4033.00013" target="_blank" >10.3182/20121003-3-MX-4033.00013</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Compositions of (max+)-automata
Popis výsledku v původním jazyce
Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert and Mairesse (1999): at least timed safe Petri nets can be modeled by means of (max,+) automata. In this contribution, we define compositions for (max,+) automata. The motivation is to be able to model a complex system by composing sub-models representing its elementary parts. In doing so we expect two benefits: the modeling activity should be eased and enhanced since the model can be obtained in a modular manner with a good understanding of phenomena; the modeling power of (max,+) automata can be refined.
Název v anglickém jazyce
Compositions of (max+)-automata
Popis výsledku anglicky
Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert and Mairesse (1999): at least timed safe Petri nets can be modeled by means of (max,+) automata. In this contribution, we define compositions for (max,+) automata. The motivation is to be able to model a complex system by composing sub-models representing its elementary parts. In doing so we expect two benefits: the modeling activity should be eased and enhanced since the model can be obtained in a modular manner with a good understanding of phenomena; the modeling power of (max,+) automata can be refined.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP103%2F11%2F0517" target="_blank" >GAP103/11/0517: Decentralizované supervizní řízení časovaných automatů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
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ů
Údaje specifické pro druh výsledku
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
61-66
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
—