Pages that link to "Item:Q5282031"
From MaRDI portal
The following pages link to Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems (Q5282031):
Displayed 29 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Optimistic optimization for model predictive control of \(\max\)-plus linear systems (Q340616) (← links)
- Shrinking of time Petri nets (Q378906) (← links)
- Tropical linear-fractional programming and parametric mean payoff games (Q435971) (← links)
- On just-in-time control of timed event graphs with input constraints: a semimodule approach (Q503033) (← links)
- Compromise approach for predictive control of timed event graphs with specifications defined by P-time event graphs (Q513816) (← links)
- On the complexity of strongly connected components in directed hypergraphs (Q517789) (← links)
- On the control of max-plus linear system subject to state restriction (Q540185) (← links)
- The number of extreme points of tropical polyhedra (Q616447) (← links)
- Modeling and control of switching max-plus-linear systems with random and deterministic switching (Q692382) (← links)
- The set of realizations of a max-plus linear sequence is semi-polyhedral (Q716317) (← links)
- The Minkowski theorem for max-plus convex sets (Q869905) (← links)
- An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system (Q901223) (← links)
- The tropical analogue of polar cones (Q1030724) (← links)
- Duality and interval analysis over idempotent semirings (Q1758449) (← links)
- Conditional reachability of uncertain max plus linear systems (Q1797147) (← links)
- Computing the vertices of tropical polyhedra using directed hypergraphs (Q1943657) (← links)
- Analysis and control of max-plus linear discrete-event systems: an introduction (Q2177779) (← links)
- Min-plus realizable control design for partially observable timed event graphs under marking constraints (Q2220055) (← links)
- Predictive control of timed event graphs with specifications defined by P-time event graphs (Q2256886) (← links)
- On max-plus linear dynamical system theory: the observation problem (Q2280814) (← links)
- On max-plus linear dynamical system theory: the regulation problem (Q2374488) (← links)
- Max-plus approximation for reinforcement learning (Q2665124) (← links)
- Algebraic approaches for designing control laws of time-constrained networked conflicting timed event graphs (Q2676095) (← links)
- Measurement feedback disturbance decoupling in discrete-event systems (Q2804458) (← links)
- TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES (Q2882394) (← links)
- Analysis of P-time event graphs in (max,+) and (min,+) semirings (Q5028000) (← links)
- Towards geometric control of max-plus linear systems with applications to queueing networks (Q5172418) (← links)
- Approximating the volume of tropical polytopes is difficult (Q5742783) (← links)