(Max,+)-automata with partial observations

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

(Max,+)-automata with partial observations

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

(Max,+)-automata with partial observations

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

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

6

Strana od-do

192-197

Název nakladatele

Elsevier

Místo vydání

Amsterdam

Místo konání akce

Sorrento Coast

Datum konání akce

29. 5. 2018

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

WRD - Celosvětová akce

Kód UT WoS článku

000439161000032