Analysis of cycle time in interval P-time event graphs in dioid algebras

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F17%3A00480320" target="_blank" >RIV/67985840:_____/17:00480320 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.ifacol.2017.08.2314" target="_blank" >http://dx.doi.org/10.1016/j.ifacol.2017.08.2314</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ifacol.2017.08.2314" target="_blank" >10.1016/j.ifacol.2017.08.2314</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Analysis of cycle time in interval P-time event graphs in dioid algebras

Popis výsledku v původním jazyce

A new approach is proposed to the modeling and analysis of cycle times in interval P-time event graphs based on dual linear representations in the (max,+) and (min,+) semirings. We start with first order inequalities in the (max,+)-algebra for execution times of transitions based on the simplification at the event graph level. Then we show that the state vector is bounded by a (max,+)-algebraic inequality from below and by a (min,+)-algebraic inequality from above, where both lower and upper bounds are sharpened compared to the previous appproaches. New conditions are then derived for the existence of periodic behaviors. The results are illustrated by two examples, the second one is a model of a manufacturing system from the electroplating industry.

Název v anglickém jazyce

Analysis of cycle time in interval P-time event graphs in dioid algebras

Popis výsledku anglicky

A new approach is proposed to the modeling and analysis of cycle times in interval P-time event graphs based on dual linear representations in the (max,+) and (min,+) semirings. We start with first order inequalities in the (max,+)-algebra for execution times of transitions based on the simplification at the event graph level. Then we show that the state vector is bounded by a (max,+)-algebraic inequality from below and by a (min,+)-algebraic inequality from above, where both lower and upper bounds are sharpened compared to the previous appproaches. New conditions are then derived for the existence of periodic behaviors. The results are illustrated by two examples, the second one is a model of a manufacturing system from the electroplating industry.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA15-02532S" target="_blank" >GA15-02532S: Modulární a Decentralizované Řízení Diskrétních a Hybridních systémů s Komunikací</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

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

IFAC-PapersOnLine

ISBN

—

ISSN

2405-8963

e-ISSN

—

Počet stran výsledku

7

Strana od-do

13461-13467

Název nakladatele

Elsevier

Místo vydání

Amsterdam

Místo konání akce

Toulouse

Datum konání akce

9. 7. 2017

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

WRD - Celosvětová akce

Kód UT WoS článku

000423965200234