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

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
francouzština
Original language name
Amélioration de la procédure de déterminisation des automates (max,+)
Original language description
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é.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA15-02532S" target="_blank" >GA15-02532S: Modular and Decentralized Control of Discrete-Event and Hybrid Systems with Communication</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)