Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
From MaRDI portal
Publication:5282031
DOI10.1109/TAC.2006.890478zbMath1366.93351arXivmath/0503448MaRDI QIDQ5282031
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0503448
Discrete-time control/observation systems (93C55) Geometric methods (93B27) Discrete event control/observation systems (93C65)
Related Items
TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES, On max-plus linear dynamical system theory: the regulation problem, Optimistic optimization for model predictive control of \(\max\)-plus linear systems, The Minkowski theorem for max-plus convex sets, Max-plus approximation for reinforcement learning, Shrinking of time Petri nets, Analysis and control of max-plus linear discrete-event systems: an introduction, The number of extreme points of tropical polyhedra, Algebraic approaches for designing control laws of time-constrained networked conflicting timed event graphs, An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system, Computing the vertices of tropical polyhedra using directed hypergraphs, Tropical linear-fractional programming and parametric mean payoff games, Min-plus realizable control design for partially observable timed event graphs under marking constraints, On just-in-time control of timed event graphs with input constraints: a semimodule approach, Compromise approach for predictive control of timed event graphs with specifications defined by P-time event graphs, On the complexity of strongly connected components in directed hypergraphs, Duality and interval analysis over idempotent semirings, Modeling and control of switching max-plus-linear systems with random and deterministic switching, Predictive control of timed event graphs with specifications defined by P-time event graphs, Towards geometric control of max-plus linear systems with applications to queueing networks, On the control of max-plus linear system subject to state restriction, Approximating the volume of tropical polytopes is difficult, The set of realizations of a max-plus linear sequence is semi-polyhedral, On max-plus linear dynamical system theory: the observation problem, Conditional reachability of uncertain max plus linear systems, Measurement feedback disturbance decoupling in discrete-event systems, The tropical analogue of polar cones, Analysis of P-time event graphs in (max,+) and (min,+) semirings, \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
