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

zbMATH Keywords

discrete event system; reachability; max-plus algebra; geometric control; Presburger arithmetic; invariant space; rational set

Mathematics Subject Classification ID

93B27: Geometric methods

93C65: Discrete event control/observation systems

93B07: Observability

93B25: Algebraic methods

93B03: Attainable sets, reachability

Related Items

Unnamed Item, The tropical analogue of polar cones, Supertropical algebra

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