Improvement of the determinization procedure of (max,+)-automata

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F15%3A00458232" target="_blank" >RIV/67985840:_____/15:00458232 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

francouzština

Název v původním jazyce

Amélioration de la procédure de déterminisation des automates (max,+)

Popis výsledku v původním jazyce

Une classe importante de systèmes à événements discrets peut être modélisée à l'aide d'automates (max,+) et les études utilisant ce formalisme ont notamment contribué à l'évaluation de performances et la commande supervisée de ces systèmes. Pour ces résultats, la propriété de déterminisme des automates manipulés est souvent prépondérante. Or, contrairement aux automates logiques, tous les automates (max,+) ne peuvent pas être déterminisés, c'est-à-dire transformés en un automate (max,+) déterministe ayant le même comportement. Une généralisation aux automates (max,+) de la procédure classique de séquentialisation a tout de même été intensivement étudiée et celle-ci se termine avec succès pour des classes importantes d'automates. Cette procédure utilise une condition sur la normalisation des vecteurs d'état pour détecter et fusionner les états engendrant un identique comportement ultérieur. Dans cette contribution, on identifie une nouvelle condition garantissant cette propriété.

Název v anglickém jazyce

Improvement of the determinization procedure of (max,+)-automata

Popis výsledku anglicky

An important class of discrete event systems can be modeled using (max,+)-automata and the investigation based on this formalism have contributed to performance evaluation and supervisory control of these systems. In these results, it is important that these automata are deterministic. However, unlike logical automata, not all (max,+)-automata can be determinized, i.e. transformed into a deterministic (max,+)-automaton with the same behavior. Standard procedure for sequentialization of logical automata has been extended to (max,+)-automata in the literature and it terminates for an important class of (max,+)-automata. This procedure uses a condition based on normalization of state vectors for identifying and fusing the states with identical future behavior. In this paper we propose a new condition that guarantees that two states have identical future behavior. This improves the existing determinized procedure, because it terminates for a larger class of (max,+)-automata.

Druh

O - Ostatní výsledky

CEP obor

BA - Obecná matematika

OECD FORD obor

—

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

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

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ů