activity
20022026
most citedMax-plus (A,B)-invariant spaces and control of timed discrete event systems

98 citations · 539 across the 20 of their papers we have counts for

collaborators
Showing math.OCShow all

6 papers · 1 filter

math.OC2018

Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming

Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz +1

Semidefinite programming can be considered over any real closed field, including fields of Puiseux series equipped with their nonarchimedean valuation. Nonarchimedean semidefinite…

math.OC2009★ 53 cited

Minimal half-spaces and external representation of tropical polyhedra

Stephane Gaubert, Ricardo D. Katz

We give a characterization of the minimal tropical half-spaces containing a given tropical polyhedron, from which we derive a counter example showing that the number of such minima…

math.OC2009★ 48 cited

Duality between invariant spaces for max-plus linear discrete event systems

Michael Di Loreto, Stephane Gaubert, Ricardo D. Katz +1

We extend the notions of conditioned and controlled invariant spaces to linear dynamical systems over the max-plus or tropical semiring. We establish a duality theorem relating bot…

math.OC2005★ 98 cited

Max-plus (A,B)-invariant spaces and control of timed discrete event systems

Ricardo David Katz

The concept of (A,B)-invariant subspace (or controlled invariant) of a linear dynamical system is extended to linear systems over the max-plus semiring. Although this extension pre…

math.OC2003★ 32 cited

Reachability problems for products of matrices in semirings

Stephane Gaubert, Ricardo Katz

We consider the following matrix reachability problem: given square matrices with entries in a semiring, is there a product of these matrices which attains a prescribed matrix?…

math.OC2002★ 14 cited

Rational semimodules over the max-plus semiring and geometric approach of discrete event systems

Stephane Gaubert, Ricardo Katz

We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete e…