scientific article; zbMATH DE number 5244590

zbMath1132.93029MaRDI QIDQ5446614

Mourad Ahmane, Laurent Truffet

Publication date: 6 March 2008

Full work available at URL: https://eudml.org/doc/33864

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

controldualitymax-plus algebrapositive invarianceresiduationnonotonicity

Mathematics Subject Classification ID

Inequalities; stochastic orderings (60E15) Geometric methods (93B27) Discrete event control/observation systems (93C65) Quantales (06F07)

Related Items

Computational techniques for reachability analysis of Max-Plus-Linear systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A linear programming algorithm for invariant polyhedral sets of discrete-time linear systems
• New bounds for timed event graphs inspired by stochastic majorization results
• Duality and separation theorems in idempotent semimodules.
• Comparison and aggregation of max-plus linear systems
• The equation \(A \otimes x = B \otimes y\) over \((\max,+)\)
• A solution to the problem of (\(A\),\(B\))-invariance for series
• On the minimax reachability of target sets and target tubes
• The duality theorem for min-max functions
• Exploring positively invariant sets by linear systems over idempotent semirings
• A constructive fixed point theorem for min-max functions
• Computer Aided Verification
• Viability theory