scientific article; zbMATH DE number 6026978
From MaRDI portal
Publication:5389748
zbMath1249.93125arXivmath/0208014MaRDI QIDQ5389748
Stéphane Gaubert, Ricardo D. Katz
Publication date: 23 April 2012
Full work available at URL: https://arxiv.org/abs/math/0208014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
discrete event systemreachabilitymax-plus algebrageometric controlPresburger arithmeticinvariant spacerational set
Geometric methods (93B27) Discrete event control/observation systems (93C65) Observability (93B07) Algebraic methods (93B25) Attainable sets, reachability (93B03)
Related Items (4)
Unnamed Item ⋮ Supertropical algebra ⋮ The tropical analogue of polar cones ⋮ Weak Cost Register Automata are Still Powerful
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Minimax algebra and applications
- Moduloïds and pseudomodules. I: Dimension theory
- A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
- Strong regularity of matrices -- a survey of results
- Some consequences of a Fatou property of the tropical semiring
- A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring
- Duality and separation theorems in idempotent semimodules.
- The equation \(A \otimes x = B \otimes y\) over \((\max,+)\)
- A solution to the problem of (\(A\),\(B\))-invariance for series
- Semigroups, Presburger formulas, and languages
- Rational sets in commutative monoids
- The duality theorem for min-max functions
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- A graphical approach of the spectral theory in the (max,+) algebra
- Performance evaluation of (max,+) automata
- A constructive fixed point theorem for min-max functions
- Idempotency
- REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
- Idempotent functional analysis: An algebraic approach
This page was built for publication:
