scholarly journals A Canonical Form for Weighted Automata and Applications to Approximate Minimization

2015 ◽  
Author(s):  
Borja Balle ◽  
Prakash Panangaden ◽  
Doina Precup
Keyword(s):  
Canonical Form ◽  
Weighted Automata ◽  
Approximate Minimization

scholarly journals Singular value automata and approximate minimization

2019 ◽  
Vol 29 (9) ◽  
pp. 1444-1478 ◽  
Author(s):  
Borja Balle ◽  
Prakash Panangaden ◽  
Doina Precup
Keyword(s):  
Singular Value Decomposition ◽  
Finite Rank ◽  
Singular Value ◽  
Linear Operators ◽  
Hankel Matrices ◽  
Weighted Automata ◽  
Approximate Minimization ◽  
Value Decomposition ◽  
Svd Decomposition

AbstractThe present paper uses spectral theory of linear operators to construct approximatelyminimal realizations of weighted languages. Our new contributions are: (i) a new algorithm for the singular value decomposition (SVD) decomposition of finite-rank infinite Hankel matrices based on their representation in terms of weighted automata, (ii) a new canonical form for weighted automata arising from the SVD of its corresponding Hankelmatrix, and (iii) an algorithmto construct approximateminimizations of given weighted automata by truncating the canonical form.We give bounds on the quality of our approximation.

The canonical form of invariant matrices

1970 ◽  
Vol 68 (1) ◽  
pp. 21-25 ◽  
Author(s):  
D. B. Hunter
Keyword(s):  
Canonical Form ◽  
General Matrix ◽  
Invariant Matrices

1. Introduction. Let A[λ] be the irreducible invariant matrix of a general matrix of order n × n, corresponding to a partition (λ) = (λ1, λ2, …, λr) of some integer m. The problem to be discussed here is that of determining the canonical form of A[λ] when that of A is known.

scholarly journals Modeling of safe time Petri nets by interval weighted automata

2020 ◽  
Vol 53 (4) ◽  
pp. 187-192
Author(s):  
Jan Komenda ◽  
Aiwen Lai ◽  
José Godoy Soto ◽  
Sébastien Lahaye ◽  
Jean-louis Boimond
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Weighted Automata

scholarly journals Open associahedra and scattering forms

2020 ◽  
Vol 2020 (12) ◽  
Author(s):  
Aidan Herderschee ◽  
Fei Teng
Keyword(s):  
Scattering Amplitudes ◽  
Canonical Form ◽  
Recursion Relations ◽  
Fiber Product ◽  
New Phenomena

Abstract We continue the study of open associahedra associated with bi-color scattering amplitudes initiated in ref. [1]. We focus on the facet geometries of the open associahedra, uncovering many new phenomena such as fiber-product geometries. We then provide novel recursion procedures for calculating the canonical form of open associahedra, generalizing recursion relations for bounded polytopes to unbounded polytopes.

scholarly journals Nested Weighted Automata

2017 ◽  
Vol 18 (4) ◽  
pp. 1-44 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger ◽  
Jan Otop
Keyword(s):  
Weighted Automata
Sign in / Sign up

Export Citation Format

Share Document