License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICALP.2017.103
URN: urn:nbn:de:0030-drops-73959
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7395/
Go to the corresponding LIPIcs Volume Portal


Balle, Borja ; Gourdeau, Pascale ; Panangaden, Prakash

Bisimulation Metrics for Weighted Automata

pdf-format:
LIPIcs-ICALP-2017-103.pdf (0.5 MB)


Abstract

We develop a new bisimulation (pseudo)metric for weighted finite automata (WFA) that generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on the state space of WFA. Our development is based on spectral properties of sets of linear operators. In particular, the joint spectral radius of the transition matrices of WFA plays a central role. We also study continuity properties of the bisimulation pseudometric, establish an undecidability result for computing the metric, and give a preliminary account of applications to spectral learning of weighted automata.

BibTeX - Entry

@InProceedings{balle_et_al:LIPIcs:2017:7395,
  author =	{Borja Balle and Pascale Gourdeau and Prakash Panangaden},
  title =	{{Bisimulation Metrics for Weighted Automata}},
  booktitle =	{44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)},
  pages =	{103:1--103:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-041-5},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{80},
  editor =	{Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7395},
  URN =		{urn:nbn:de:0030-drops-73959},
  doi =		{10.4230/LIPIcs.ICALP.2017.103},
  annote =	{Keywords: weighted automata, bisimulation, metrics, spectral theory, learning}
}

Keywords: weighted automata, bisimulation, metrics, spectral theory, learning
Seminar: 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)
Issue Date: 2017
Date of publication: 06.07.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI