(Max,+)-automata with partial observations

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F18%3A00491959" target="_blank" >RIV/67985840:_____/18:00491959 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1016/j.ifacol.2018.06.300" target="_blank" >http://dx.doi.org/10.1016/j.ifacol.2018.06.300</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.ifacol.2018.06.300" target="_blank" >10.1016/j.ifacol.2018.06.300</a>

Result language
angličtina
Original language name
(Max,+)-automata with partial observations
Original language description
Max,+ -automata are weighted automata over the (max,+) semiring. In this paper we investigate simulation like equivalences between (max,+)-automata. Since (max,+)-automata are nondeterministic (weighted) automata, there exist extensions of bisimilarity properties that are weaker than equality of their weighted languages (formal power series). The main advantage of bisimulation like properties is that they can be checked in polynomial time, while equality (as well as inequality) of formal power series is undecidable. We show that a form of weak simulation can be used as a sufficient condition for comparing the formal power series.
Czech name
—
Czech description
—

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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

Similar results(10)