Showing 1–19 of 19 results for author: Katz, R D

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games

Authors: Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra

Abstract: We develop value iteration-based algorithms to solve in a unified manner different classes of combinatorial zero-sum games with mean-payoff type rewards. These algorithms rely on an oracle, evaluating the dynamic programming operator up to a given precision. We show that the number of calls to the oracle needed to determine exact optimal (positional) strategies is, up to a factor polynomial in the… ▽ More We develop value iteration-based algorithms to solve in a unified manner different classes of combinatorial zero-sum games with mean-payoff type rewards. These algorithms rely on an oracle, evaluating the dynamic programming operator up to a given precision. We show that the number of calls to the oracle needed to determine exact optimal (positional) strategies is, up to a factor polynomial in the dimension, of order R/sep, where the "separation" sep is defined as the minimal difference between distinct values arising from strategies, and R is a metric estimate, involving the norm of approximate sub and super-eigenvectors of the dynamic programming operator. We illustrate this method by two applications. The first one is a new proof, leading to improved complexity estimates, of a theorem of Boros, Elbassioni, Gurvich and Makino, showing that turn-based mean-payoff games with a fixed number of random positions can be solved in pseudo-polynomial time. The second one concerns entropy games, a model introduced by Asarin, Cervelle, Degorre, Dima, Horn and Kozyakin. The rank of an entropy game is defined as the maximal rank among all the ambiguity matrices determined by strategies of the two players. We show that entropy games with a fixed rank, in their original formulation, can be solved in polynomial time, and that an extension of entropy games incorporating weights can be solved in pseudo-polynomial time under the same fixed rank condition. △ Less

Submitted 17 June, 2022; originally announced June 2022.

Comments: 41 pages, 7 figures

Formalizing the Face Lattice of Polyhedra

Authors: Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub

Abstract: Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra, including projections, convex hulls and images under linear maps. Moreover, we design a special mechan… ▽ More Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra, including projections, convex hulls and images under linear maps. Moreover, we design a special mechanism which automatically introduces an appropriate representation of a polyhedron or a face, depending on the context of the proof. We demonstrate the usability of this approach by establishing some of the most important combinatorial properties of faces, namely that they constitute a family of graded atomistic and coatomistic lattices closed under interval sublattices. We also prove a theorem due to Balinski on the $d$-connectedness of the adjacency graph of polytopes of dimension $d$. △ Less

Submitted 17 May, 2022; v1 submitted 30 April, 2021; originally announced April 2021.

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 2 (May 18, 2022) lmcs:7436

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra

Authors: Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi

Abstract: {log} ('setlog') is a satisfiability solver for formulas of the theory of finite sets and finite set relation algebra (FSTRA). As such, it can be used as an automated theorem prover (ATP) for this theory. {log} is able to automatically prove a number of FSTRA theorems, but not all of them. Nevertheless, we have observed that many theorems that {log} cannot automatically prove can be divided into a… ▽ More {log} ('setlog') is a satisfiability solver for formulas of the theory of finite sets and finite set relation algebra (FSTRA). As such, it can be used as an automated theorem prover (ATP) for this theory. {log} is able to automatically prove a number of FSTRA theorems, but not all of them. Nevertheless, we have observed that many theorems that {log} cannot automatically prove can be divided into a few subgoals automatically dischargeable by {log}. The purpose of this work is to present a prototype interactive theorem prover (ITP), called {log}-ITP, providing evidence that a proper integration of {log} into world-class ITP's can deliver a great deal of proof automation concerning FSTRA. An empirical evaluation based on 210 theorems from the TPTP and Coq's SSReflect libraries shows a noticeable reduction in the size and complexity of the proofs with respect to Coq. △ Less

Submitted 19 January, 2021; originally announced January 2021.

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

Authors: Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra

Abstract: Semidefinite programming can be considered over any real closed field, including fields of Puiseux series equipped with their nonarchimedean valuation. Nonarchimedean semidefinite programs encode parametric families of classical semidefinite programs, for sufficiently large values of the parameter. Recently, a correspondence has been established between nonarchimedean semidefinite programs and sto… ▽ More Semidefinite programming can be considered over any real closed field, including fields of Puiseux series equipped with their nonarchimedean valuation. Nonarchimedean semidefinite programs encode parametric families of classical semidefinite programs, for sufficiently large values of the parameter. Recently, a correspondence has been established between nonarchimedean semidefinite programs and stochastic mean payoff games with perfect information. This correspondence relies on tropical geometry. It allows one to solve generic nonarchimedean semidefinite feasibility problems, of large scale, by means of stochastic game algorithms. In this paper, we show that the mean payoff of these games can be interpreted as a condition number for the corresponding nonarchimedean feasibility problems. This number measures how close a feasible instance is from being infeasible, and vice versa. We show that it coincides with the maximal radius of a ball in Hilbert's projective metric, that is included in the feasible set. The geometric interpretation of the condition number relies in particular on a duality theorem for tropical semidefinite feasibility programs. Then, we bound the complexity of the feasibility problem in terms of the condition number. We finally give explicit bounds for this condition number, in terms of the characteristics of the stochastic game. As a consequence, we show that the simplest algorithm to decide whether a stochastic mean payoff game is winning, namely value iteration, has a pseudopolynomial complexity when the number of random positions is fixed. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Comments: 14 pages, 2 figures

Addendum to Vertex adjacencies in the set covering polyhedron

Authors: Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei

Abstract: We study the relationship between the vertices of an up-monotone polyhedron $R$ and those of the polytope $P$ obtained by truncating $R$ with the unit hypercube. When $R$ has binary vertices, we characterize the vertices of $P$ in terms of the vertices of $R$, show their integrality, and prove that the 1-skeleton of $R$ is an induced subgraph of the 1-skeleton of $P$. We conclude by applying our f… ▽ More We study the relationship between the vertices of an up-monotone polyhedron $R$ and those of the polytope $P$ obtained by truncating $R$ with the unit hypercube. When $R$ has binary vertices, we characterize the vertices of $P$ in terms of the vertices of $R$, show their integrality, and prove that the 1-skeleton of $R$ is an induced subgraph of the 1-skeleton of $P$. We conclude by applying our findings to settle a claim in the original paper. △ Less

Submitted 4 January, 2018; v1 submitted 6 October, 2017; originally announced October 2017.

Comments: 7 pages, minor revision

MSC Class: 90C57; 52B05; 05C65

A formalization of convex polyhedra based on the simplex method

Authors: Xavier Allamigeon, Ricardo D. Katz

Abstract: We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define the basic predicates over polyhedra in an effective way (i.e., as programs), and relate them with the corresponding usual logical counterparts. To this end, we… ▽ More We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define the basic predicates over polyhedra in an effective way (i.e., as programs), and relate them with the corresponding usual logical counterparts. To this end, we make an extensive use of the Boolean reflection methodology. The benefit of this approach is that we can easily derive the proof of several fundamental results on polyhedra, such as Farkas' Lemma, the duality theorem of linear programming, and Minkowski's Theorem. △ Less

Submitted 10 August, 2018; v1 submitted 30 June, 2017; originally announced June 2017.

Comments: 18 pages, 2 figures, extended version

Tropicalization of facets of polytopes

Authors: Xavier Allamigeon, Ricardo D. Katz

Abstract: It is known that any tropical polytope is the image under the valuation map of ordinary polytopes over the Puiseux series field. The latter polytopes are called lifts of the tropical polytope. We prove that any pure tropical polytope is the intersection of the tropical half-spaces given by the images under the valuation map of the facet-defining half-spaces of a certain lift. We construct this lif… ▽ More It is known that any tropical polytope is the image under the valuation map of ordinary polytopes over the Puiseux series field. The latter polytopes are called lifts of the tropical polytope. We prove that any pure tropical polytope is the intersection of the tropical half-spaces given by the images under the valuation map of the facet-defining half-spaces of a certain lift. We construct this lift explicitly, taking into account geometric properties of the given polytope. Moreover, when the generators of the tropical polytope are in general position, we prove that the above property is satisfied for any lift. This solves a conjecture of Develin and Yu. △ Less

Submitted 23 December, 2015; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 18 pages, 6 figures; v2: major revision

MSC Class: 14T05 (Primary); 52A01 (Secondary)

Vertex adjacencies in the set covering polyhedron

Authors: Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei

Abstract: We describe the adjacency of vertices of the (unbounded version of the) set covering polyhedron, in a similar way to the description given by Chvatal for the stable set polytope. We find a sufficient condition for adjacency, and characterize it with similar conditions in the case where the underlying matrix is row circular. We apply our findings to show a new infinite family of minimally nonideal… ▽ More We describe the adjacency of vertices of the (unbounded version of the) set covering polyhedron, in a similar way to the description given by Chvatal for the stable set polytope. We find a sufficient condition for adjacency, and characterize it with similar conditions in the case where the underlying matrix is row circular. We apply our findings to show a new infinite family of minimally nonideal matrices. △ Less

Submitted 9 October, 2017; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: Minor revision, 22 pages, 3 figures

MSC Class: 90C57; 52B05; 05C65

Journal ref: Discrete Applied Mathematics, Volume 218, Pages 40-56, 2017

Tropical Fourier-Motzkin elimination, with an application to real-time verification

Authors: Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo D. Katz, Axel Legay

Abstract: We introduce a generalization of tropical polyhedra able to express both strict and non-strict inequalities. Such inequalities are handled by means of a semiring of germs (encoding infinitesimal perturbations). We develop a tropical analogue of Fourier-Motzkin elimination from which we derive geometrical properties of these polyhedra. In particular, we show that they coincide with the tropically c… ▽ More We introduce a generalization of tropical polyhedra able to express both strict and non-strict inequalities. Such inequalities are handled by means of a semiring of germs (encoding infinitesimal perturbations). We develop a tropical analogue of Fourier-Motzkin elimination from which we derive geometrical properties of these polyhedra. In particular, we show that they coincide with the tropically convex union of (non-necessarily closed) cells that are convex both classically and tropically. We also prove that the redundant inequalities produced when performing successive elimination steps can be dynamically deleted by reduction to mean payoff game problems. As a complement, we provide a coarser (polynomial time) deletion procedure which is enough to arrive at a simply exponential bound for the total execution time. These algorithms are illustrated by an application to real-time systems (reachability analysis of timed automata). △ Less

Submitted 25 June, 2014; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 29 pages, 8 figures

MSC Class: 14T05; 52A01; 52B55

Journal ref: International Journal of Algebra and Computation, 24(5) :569-607, 2014

Characterization of tropical hemispaces by (P,R)-decompositions

Authors: Ricardo D. Katz, Viorel Nitica, Sergei Sergeev

Abstract: We consider tropical hemispaces, defined as tropically convex sets whose complements are also tropically convex, and tropical semispaces, defined as maximal tropically convex sets not containing a given point. We introduce the concept of $(P,R)$-decomposition. This yields (to our knowledge) a new kind of representation of tropically convex sets extending the classical idea of representing convex s… ▽ More We consider tropical hemispaces, defined as tropically convex sets whose complements are also tropically convex, and tropical semispaces, defined as maximal tropically convex sets not containing a given point. We introduce the concept of $(P,R)$-decomposition. This yields (to our knowledge) a new kind of representation of tropically convex sets extending the classical idea of representing convex sets by means of extreme points and rays. We characterize tropical hemispaces as tropically convex sets that admit a (P,R)-decomposition of certain kind. In this characterization, with each tropical hemispace we associate a matrix with coefficients in the completed tropical semifield, satisfying an extended rank-one condition. Our proof techniques are based on homogenization (lifting a convex set to a cone), and the relation between tropical hemispaces and semispaces. △ Less

Submitted 26 October, 2013; v1 submitted 29 September, 2012; originally announced October 2012.

Comments: 29 pages, 3 figures

MSC Class: 15A80; 14T05; 52A01

Journal ref: Linear Algebra and its Applications, 440, 2014, 131-163

Minimal external representations of tropical polyhedra

Authors: Xavier Allamigeon, Ricardo D. Katz

Abstract: Tropical polyhedra are known to be representable externally, as intersections of finitely many tropical half-spaces. However, unlike in the classical case, the extreme rays of their polar cones provide external representations containing in general superfluous half-spaces. In this paper, we prove that any tropical polyhedral cone in R^n (also known as "tropical polytope" in the literature) admits… ▽ More Tropical polyhedra are known to be representable externally, as intersections of finitely many tropical half-spaces. However, unlike in the classical case, the extreme rays of their polar cones provide external representations containing in general superfluous half-spaces. In this paper, we prove that any tropical polyhedral cone in R^n (also known as "tropical polytope" in the literature) admits an essentially unique minimal external representation. The result is obtained by establishing a (partial) anti-exchange property of half-spaces. Moreover, we show that the apices of the half-spaces appearing in such non-redundant external representations are vertices of the cell complex associated with the polyhedral cone. We also establish a necessary condition for a vertex of this cell complex to be the apex of a non-redundant half-space. It is shown that this condition is sufficient for a dense class of polyhedral cones having "generic extremities". △ Less

Submitted 13 February, 2013; v1 submitted 29 May, 2012; originally announced May 2012.

Comments: v1: 32 pages, 10 figures; v2: minor revision, 34 pages, 10 figures

MSC Class: 14T05; 52B05; 52A01

Journal ref: Journal of Combinatorial Theory, Series A, Volume 120, Issue 4, May 2013, Pages 907-940

Tropical linear-fractional programming and parametric mean payoff games

Authors: Stephane Gaubert, Ricardo D. Katz, Sergei Sergeev

Abstract: Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This motivation leads us to study the tropical analogue of the classical linear-fractional programming problem. We construct an associated parametric mean payoff game problem, and show that th… ▽ More Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This motivation leads us to study the tropical analogue of the classical linear-fractional programming problem. We construct an associated parametric mean payoff game problem, and show that the optimality of a given point, or the unboundedness of the problem, can be certified by exhibiting a strategy for one of the players having certain infinitesimal properties (involving the value of the game and its derivative) that we characterize combinatorially. We use this idea to design a Newton-like algorithm to solve tropical linear-fractional programming problems, by reduction to a sequence of auxiliary mean payoff game problems. △ Less

Submitted 20 October, 2011; v1 submitted 18 January, 2011; originally announced January 2011.

Comments: 34 pages, 9 figures, minor corrections, additions and improvements

MSC Class: 15A80; 90C05; 90C30; 90C32; 90C53; 91A05; 91A20

Journal ref: Journal of Symbolic Computation, Volume 47, Issue 12, Pages 1447-1478, 2012

On commuting matrices in max algebra and in classical nonnegative algebra

Authors: Ricardo D. Katz, Hans Schneider, Sergei Sergeev

Abstract: This paper studies commuting matrices in max algebra and nonnegative linear algebra. Our starting point is the existence of a common eigenvector, which directly leads to max analogues of some classical results for complex matrices. We also investigate Frobenius normal forms of commuting matrices, particularly when the Perron roots of the components are distinct. For the case of max algebra, we sho… ▽ More This paper studies commuting matrices in max algebra and nonnegative linear algebra. Our starting point is the existence of a common eigenvector, which directly leads to max analogues of some classical results for complex matrices. We also investigate Frobenius normal forms of commuting matrices, particularly when the Perron roots of the components are distinct. For the case of max algebra, we show how the intersection of eigencones of commuting matrices can be described, and we consider connections with Boolean algebra which enables us to prove that two commuting irreducible matrices in max algebra have a common eigennode. △ Less

Submitted 9 May, 2010; originally announced May 2010.

Comments: 18 pages

MSC Class: 15A80; 15B48 (Primary) 15A27; 15A18 (Secondary)

Journal ref: Linear Algebra and its Applications, Volume 436, Issue 2, Pages 276-292, 2012

Tropical polar cones, hypergraph transversals, and mean payoff games

Authors: Xavier Allamigeon, Stephane Gaubert, Ricardo D. Katz

Abstract: We discuss the tropical analogues of several basic questions of convex duality. In particular, the polar of a tropical polyhedral cone represents the set of linear inequalities that its elements satisfy. We characterize the extreme rays of the polar in terms of certain minimal set covers which may be thought of as weighted generalizations of minimal transversals in hypergraphs. We also give a trop… ▽ More We discuss the tropical analogues of several basic questions of convex duality. In particular, the polar of a tropical polyhedral cone represents the set of linear inequalities that its elements satisfy. We characterize the extreme rays of the polar in terms of certain minimal set covers which may be thought of as weighted generalizations of minimal transversals in hypergraphs. We also give a tropical analogue of Farkas lemma, which allows one to check whether a linear inequality is implied by a finite family of linear inequalities. Here, the certificate is a strategy of a mean payoff game. We discuss examples, showing that the number of extreme rays of the polar of the tropical cyclic polyhedral cone is polynomially bounded, and that there is no unique minimal system of inequalities defining a given tropical polyhedral cone. △ Less

Submitted 29 October, 2010; v1 submitted 16 April, 2010; originally announced April 2010.

Comments: 27 pages, 6 figures, revised version

MSC Class: 14T05 (Primary) 15A80; 52A01; 16Y60; 06A07 (Secondary)

Journal ref: Linear Algebra and its Applications, Volume 435, Issue 7, 1 October 2011, Pages 1549-1574

Minimal half-spaces and external representation of tropical polyhedra

Authors: Stephane Gaubert, Ricardo D. Katz

Abstract: 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 minimal half-spaces can be infinite, contradicting some statements which appeared in the tropical literature, and disproving a conjecture of F. Block and J. Yu. We also establish an analogue of the Minkowski-Weyl theorem, show… ▽ More 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 minimal half-spaces can be infinite, contradicting some statements which appeared in the tropical literature, and disproving a conjecture of F. Block and J. Yu. We also establish an analogue of the Minkowski-Weyl theorem, showing that a tropical polyhedron can be equivalently represented internally (in terms of extreme points and rays) or externally (in terms of half-spaces containing it). A canonical external representation of a polyhedron turns out to be provided by the extreme elements of its tropical polar. We characterize these extreme elements, showing in particular that they are determined by support vectors. △ Less

Submitted 11 April, 2011; v1 submitted 12 August, 2009; originally announced August 2009.

Comments: 19 pages, 4 figures, example added with a new figure, figures improved, references updated

MSC Class: 52A01 (Primary); 16Y60; 06A07 (Secondary)

Journal ref: Journal of Algebraic Combinatorics, Volume 33, Number 3, 325-348, 2011

The number of extreme points of tropical polyhedra

Authors: Xavier Allamigeon, Stephane Gaubert, Ricardo D. Katz

Abstract: The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the cyclic polytope. We show that the same bound is valid in the tropical setting, up to a trivial modification. Then, we study the natural candidates to be the… ▽ More The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the cyclic polytope. We show that the same bound is valid in the tropical setting, up to a trivial modification. Then, we study the natural candidates to be the maximizing polyhedra, which are the polars of a family of cyclic polytopes equipped with a sign pattern. We construct bijections between the extreme points of these polars and lattice paths depending on the sign pattern, from which we deduce explicit bounds for the number of extreme points, showing in particular that the upper bound is asymptotically tight as the dimension tends to infinity, kee** the number of constraints fixed. When transposed to the classical case, the previous constructions yield some lattice path generalizations of Gale's evenness criterion. △ Less

Submitted 18 June, 2009; originally announced June 2009.

Comments: 26 pages, 4 figures, 1 table

MSC Class: 52B05; 52A01

Journal ref: Journal of Combinatorial Theory, Series A, Volume 118, Issue 1, January 2011, Pages 162-189

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

Authors: Michael Di Loreto, Stephane Gaubert, Ricardo D. Katz, Jean-Jacques Loiseau

Abstract: 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 both notions, which we use to construct dynamic observers. These are useful in situations in which some of the system coefficients may vary within certain intervals. The results are illustrated by an application to a manu… ▽ More 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 both notions, which we use to construct dynamic observers. These are useful in situations in which some of the system coefficients may vary within certain intervals. The results are illustrated by an application to a manufacturing system. △ Less

Submitted 19 January, 2009; originally announced January 2009.

Comments: 22 pages, 3 figures (6 eps files)

MSC Class: 93B27 (primary); 06F05 (secondary)

Journal ref: SIAM J. Control Optim. Volume 48, Issue 8, pp. 5606-5628 (2010)

The tropical analogue of polar cones

Authors: Stéphane Gaubert, Ricardo D. Katz

Abstract: We study the max-plus or tropical analogue of the notion of polar: the polar of a cone represents the set of linear inequalities satisfied by its elements. We establish an analogue of the bipolar theorem, which characterizes all the inequalities satisfied by the elements of a tropical convex cone. We derive this characterization from a new separation theorem. We also establish variants of these… ▽ More We study the max-plus or tropical analogue of the notion of polar: the polar of a cone represents the set of linear inequalities satisfied by its elements. We establish an analogue of the bipolar theorem, which characterizes all the inequalities satisfied by the elements of a tropical convex cone. We derive this characterization from a new separation theorem. We also establish variants of these results concerning systems of linear equalities. △ Less

Submitted 23 July, 2009; v1 submitted 23 May, 2008; originally announced May 2008.

Comments: 21 pages, 3 figures, example added, figures improved, notation changed

MSC Class: 52A01; 16Y60; 46A55

Journal ref: Linear Algebra and its Applications, Volume 431, pages 608-625, 2009

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

Authors: Ricardo David Katz

Abstract: 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 presents several difficulties, which are similar to those encountered in the same kind of extension to linear dynamical systems over rings, it appears capable of providing solutions to many control problems like in the ca… ▽ More 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 presents several difficulties, which are similar to those encountered in the same kind of extension to linear dynamical systems over rings, it appears capable of providing solutions to many control problems like in the cases of linear systems over fields or rings. Sufficient conditions are given for computing the maximal (A,B)-invariant subspace contained in a given space and the existence of linear state feedbacks is discussed. An application to the study of transportation networks which evolve according to a timetable is considered. △ Less

Submitted 6 April, 2007; v1 submitted 22 March, 2005; originally announced March 2005.

Comments: 24 pages, 1 Postscript figure, proof of Lemma 1 and some references added

Report number: INRIA-RR-5521 MSC Class: 93B27 (Primary) 06F05 (Secondary)

Journal ref: IEEE Transactions on Automatic Control, volume 52 (2007), number 2, pages 229--241