Analytic methods for reachability problems
From MaRDI portal
Publication:2037188
DOI10.1016/j.jcss.2021.02.007zbMath1477.68159OpenAlexW3134505533MaRDI QIDQ2037188
Publication date: 30 June 2021
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2021.02.007
contractionfunctional equationPerron-Frobenius theoryprimitive matrixsynchronizing automatareachability problemsaffine operator
Formal languages and automata (68Q45) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Positive matrices and their generalizations; cones of matrices (15B48)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combinatorial properties of irreducible semigroups of nonnegative matrices
- Asymptotics of products of nonnegative random matrices
- Primitive digraphs with large exponents and slowly synchronizing automata
- Lower and upper bounds for the largest Lyapunov exponent of matrices
- Sets of nonnegative matrices without positive products
- A polynomial matrix approach to the structural properties of 2D positive systems
- On primitivity of sets of matrices
- Combinatorial properties of entire semigroups of nonnegative matrices
- 2D Markov chains
- Generalized exponents of primitive two-colored digraphs
- Uniform refinement of curves
- Sets of nonnegative matrices with positive inhomogeneous products
- The concepts of irreducibility and full indecomposability of a matrix in the works of Frobenius, König and Markov
- Directed graphs, 2D state models, and characteristic polynomials of irreducible matrix pairs
- Limit theorems for products of positive random matrices
- Generalized primitivity of labeled digraphs
- Exponents of tuples of nonnegative matrices
- Algebraic synchronization criterion and computing reset words
- A new proof of the Protasov-Voynov theorem on semigroups of nonnegative matrices
- Extremal \(L_p\)-norms of linear operators and self-similar functions
- Shortest positive products of nonnegative matrices
- An Expansion Property of Boolean Linear Maps
- LOWER BOUNDS FOR THE LENGTH OF RESET WORDS IN EULERIAN AUTOMATA
- Classification of $k$-Primitive Sets of Matrices
- Efficient Algorithms for the Consensus Decision Problem
- Semigroups of non-negative matrices
- Primitive Sets of Nonnegative Matrices and Synchronizing Automata
- Compact noncontraction semigroups of affine operators
- Reset Sequences for Monotonic Automata
- Synchronizing Automata and the Černý Conjecture
- Stationary subdivision
- On products of non-negative matrices
- On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs
- Definite and Quasidefinite Sets of Stochastic Matrices
- Inhomogeneous Markov Chains
This page was built for publication: Analytic methods for reachability problems