scientific article; zbMATH DE number 627763

Guy Cohen, François Baccelli, Geert Jan Olsder, Jean-Pierre Quadrat

Publication date: 1 September 1994

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

linear systems Petri nets synchronization dioid discrete event dynamic systems

Deterministic network models in operations research (90B10) Linear systems in control theory (93C05) Dynamic programming (90C39) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Determinant of a matrix over min-plus algebra, On the tightness of bounds for transients of weak CSR expansions and periodicity transients of critical rows and columns of tropical matrix powers, Unnamed Item, Methods and applications of (max,+) linear algebra, A separation between tropical matrix ranks, Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions, Tropical Vandermonde matrices, On the tropical discrete logarithm problem and security of a protocol based on tropical semidirect product, Parametrized relocation of low‐mobility resources, Dynamic matrices and the cost analysis of concurrent programs, Tropical pseudolinear and pseudoquadratic optimization as parametric mean-payoff games, Pseudo-integral and generalized Choquet integral, Modeling and analysis of switching max-plus linear systems with discrete-event feedback, Relatively maximal perturbation bounds for global robustness of max‐plus linear systems, Calculus of meet plus hyperalgebra (tropical semihyperrings), Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs, Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria, Certain congruences on the semiring of normal tropical matrices, Approximately global optimal control for max-plus linear systems and its application on load distribution, Timetable compression using max-plus automata applied to large railway networks, Properties of morphological dilation in max-plus and plus-prod algebra in connection with the Fourier transformation, Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems, Convergent Hahn series and tropical geometry of higher rank, Solving linear equations over maxmin-$\omega$ systems, Ultradiscrete hungry Toda equation and eigenvalues over min-plus algebra, Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra, Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods, Throughput Scalability Analysis of Fork-Join Queueing Networks, Self-stabilization with r-operators, Interval systems of max-separable linear equations, On the index of convergence of a class of Boolean matrices with structural properties, Matrix representation of formal polynomials over max-plus algebra, A survey of computational complexity results in systems and control, Why the logarithmic barrier function in convex and linear programming?, The Unmet Challenge of Timed Systems, Towards geometric control of max-plus linear systems with applications to queueing networks, Performance evaluation of nonlinear weighted T-system, Max-plus convex sets and max-plus semispaces. II, Approximating the volume of tropical polytopes is difficult, Model predictive control for max-plus-linear discrete event systems, Algorithms associated with arithmetic, geometric and harmonic means and integrable systems, A simplex-like method to compute the eigenvalue of an irreducible $(\max,+)$-system, Modifying the power method in max algebra, Model reference control for timed event graphs in diods, Scheduling a wet station for wafer cleaning with multiple job flows and multiple wafer-handling robots, Max-plus convex sets and max-plus semispaces. I, State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints, On the powers of matrices over a distributive lattice, Interval systems of max-separable linear equations, Spectral Lattices of $\mathbb{\overline R}_{\rm max,+}$ -Formal Contexts, Model predictive control for perturbed max-plus-linear systems, Asymptotic behavior in a heap model with two pieces, The singular-value decomposition in the extended max algebra, Model checking for a class of weighted automata, Interval max-plus matrix equations, The bideterminants of matrices over semirings, A note on resolving the inconsistency of one-sided max-plus linear equations, Deficiency Zero Petri Nets and Product Form, A bound for the rank-one transient of inhomogeneous matrix products in special case, Généralisation Max-Plus des bornes de Lageweg, Lenstra et Rinnooy Kan, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Discrete-Event Systems in a Dioid Framework: Modeling and Analysis, Discrete-Event Systems in a Dioid Framework: Control Theory, Comparison of max-plus automata and joint spectral radius of tropical matrices, Linear Programming Formulation of Idle Times for Single-Server Discrete-Event Simulation Models, Tropical semimodules of dimension two, A min-plus analogue of the Jordan canonical form associated with the basis of the generalized eigenspace, An Approximation Method for Blocking Probabilities in M/D/1/K₁→ ⋅/D/1/K₂Queues, Modelling and temporal performances evaluation of networked control systems using (max, +) algebra, Key exchange protocol based upon a modified tropical structure, Non-surjective linear transformations of tropical matrices preserving the cyclicity index, Algebraic solutions of tropical optimization problems, On tropical analysis, Rank functions of tropical matrices, On tropical supereigenvectors, Non-archimedean valuations of eigenvalues of matrix polynomials, A uniform synchronization problem over max-plus algebra, A MAX-plus model of ribosome dynamics during mRNA translation, Model predictive control for discrete event systems with partial synchronization, Max algebraic powers of irreducible matrices in the periodic regime: an application of cyclic classes, $\mathbf{X}$-simple image eigencones of tropical matrices, The tropical commuting variety, Explicit formulae for the greatest least-squares and minimum norm $g$-inverses and the unique group inverse of matrices over commutative residuated dioids, Supervisory control of $(\max,+)$ automata: a behavioral approach, Tight performance bounds in the worst-case analysis of feed-forward networks, Semigroup of matrices acting on the max-plus projective space, Pure dimension and projectivity of tropical polytopes, Strong solvability of interval max-plus systems and applications to optimal control, Towards robust predictive fault-tolerant control for a battery assembly system, Morphological counterparts of linear shift-invariant scale-spaces, Book review of: D. Maclagan and B. Sturmfels, Introduction to tropical geometry, Input signal design for identification of Max-plus-linear systems, Optimistic optimization for model predictive control of $\max$-plus linear systems, Modeling and control of hybrid timed event graphs with multipliers using (Min,+) algebra, Networked conflicting timed event graphs representation in (Max,+) algebra, Algebraic analysis of fuzzy systems, An extremal property of the eigenvalue of irreducible matrices in idempotent algebra and solution of the Rawls location problem, Max-plus matrix method and cycle time assignability and feedback stabilizability for min-max-plus systems, Max-plus definite matrix closures and their eigenspaces, On matrix powers in max-algebra, Generators, extremals and bases of max cones, A generalized eigenvalue problem in the max algebra, Tandem queues with subexponential service times and finite buffers, Computing an eigenvector of an inverse Monge matrix in max-plus algebra, Fixed zeros in the model matching problem for systems over semirings, When do the $r$-by-$r$ minors of a matrix form a tropical basis?, Fiedler-Pták scaling in max algebra, Generalized spectral radius and its max algebra version, QoS negotiation in service composition, On tropical fractional linear programming, Weak CSR expansions and transience bounds in max-plus algebra, Primitive matrices over polynomial semirings, Bounds on the generalized and the joint spectral radius of Hadamard products of bounded sets of positive operators on sequence spaces, Bases in semilinear spaces over join-semirings, Bases in semilinear spaces over zerosumfree semirings, Tropical linear-fractional programming and parametric mean payoff games, A mixed integer programming model for the cyclic job-shop problem with transportation, Max-plus representation for the fundamental solution of the time-varying differential Riccati equation, Stability and convergence in discrete convex monotone dynamical systems, Container of (min,+)-linear systems, State estimation and detection of changes in time interval models, On commuting matrices in max algebra and in classical nonnegative algebra, Geometrically minimal realizations of Boolean controlled systems, Computing the throughput of probabilistic and replicated streaming applications, Exact and approximate approaches to the identification of stochastic MAX-plus-linear systems, Cycle time of a P-time event graph with affine-interdependent residence durations, On steady state of continuous min-plus systems, $L$- and $R$-localized solvabilities of max-separable interval linear equations and its applications, Computing periodic request functions to speed-up the analysis of non-cyclic task models, Minimal realization in the max algebra is an extended linear complementarity problem, Towards railway traffic management using switching max-plus-linear systems, structure analysis and rescheduling, Synchronization of a class of cyclic discrete-event systems describing legged locomotion, On just-in-time control of timed event graphs with input constraints: a semimodule approach, Variational formulas and cocycle solutions for directed polymer and percolation models, Closed form of $L$-localized solution set of MAX-plus interval linear system and its application on optimization problem, Dynamical systems on weighted lattices: general theory, On a generalization of power algorithms over MAX-plus algebra, Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra, Compromise approach for predictive control of timed event graphs with specifications defined by P-time event graphs, Eigenproblems of Latin squares in bipartite $(\min, \max,+)$-systems, Exploring the complexity of the integer image problem in the $\max$-algebra, Strongly connected multivariate digraphs, Robust stability analysis for autonomous min-max systems, On the control of max-plus linear system subject to state restriction, An algorithm to describe the solution set of any tropical linear system $A \odot x = B \odot x$, On the continuity of the generalized spectral radius in max algebra, Modelling routing phenomenon with bounds estimation in dioids, Tropical polar cones, hypergraph transversals, and mean payoff games, Full ordering in the Shorrocks mobility sense of the semiring of monotone doubly stochastic matrices, Multiplicative structure of $2\times 2$ tropical matrices, Spectral properties of matrix polynomials in the max algebra, Tropical linear maps on the plane, Piecewise linear concave dynamical systems appearing in the microscopic traffic modeling, Max-algebraic attraction cones of nonnegative irreducible matrices, The Whitney embedding theorem for tropical torsion modules. Classification of tropical modules, Dynamic resource location with tropical algebra, Separation of circulating tokens, Max-plus stochastic control and risk-sensitivity, Distributed dynamic programming for discrete-time stochastic control, and idempotent algorithms, The set of realizations of a max-plus linear sequence is semi-polyhedral, Best approximation in max-plus semimodules, A survey on fuzzy relational equations. I: Classification and solvability, Calculating the Lyapunov exponent for generalized linear systems with exponentially distributed elements of the transition matrix, On the spectrum in max algebra, Convexity of tropical polytopes, Enumerating Polytropes, Interval robustness of (interval) max-plus matrices, A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs, Mean field systems on networks, with singular interaction through hitting times, Ergodicity conditions for zero-sum games, \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems, Equational theories of tropical semirings, A basis theorem for a class of max-plus eigenproblems., Idempotent and co-idempotent stack filters and min--max operators., Perturbation of eigenvalues of matrix pencils and the optimal assignment problem, Semigroups of max-plus linear operators, Characterization of tropical projective quadratic plane curves in terms of the eigenvalue problem, Supervisory control of extended timed event graphs, Weakly linear systems for matrices over the max-plus quantale, A singularity-free motion control algorithm for robot manipulators -- a hybrid system approach, The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory, Bases in max-algebra, Dioïds and semirings: Links to fuzzy sets and other applications, On max-plus linear dynamical system theory: the regulation problem, A feasible schedule for parallel assembly tasks in flexible manufacturing systems, Carathéodory, Helly and the others in the max-plus world, Semiring induced valuation algebras: exact and approximate local computation algorithms, An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions, Ergodic type Bellman equations of first order with quadratic Hamiltonian, Determinants and limit systems in some idempotent and non-associative algebraic structure, Computing the generalized Lyapunov parameter for teletraffic systems over the $\mathrm{R}_{\max}$ semiring, The level set method for the two-sided max-plus eigenproblem, Computing transience bounds of emergency call centers: a hierarchical timed Petri net approach, On the Burnside problem for semigroups of matrices in the $(\max,+)$ algebra, A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra, Observational and behavioural equivalences for soft concurrent constraint programming, Solution of a tropical optimization problem with linear constraints, A walk on max-plus algebra, Extreme rays of the $\ell^\infty$-nearest ultrametric tropical polytope, Taylor series expansions for Poisson-driven (max,+)-linear systems, Scheduling parallel processors: Structural properties and optimal policies, Analysis of stochastic min-max-plus systems: Results and conjectures, Generic uniqueness of the bias vector of finite zero-sum stochastic games with perfect information, Markovian dynamics of concurrent systems, Analysis and control of max-plus linear discrete-event systems: an introduction, A contribution to the determinization of max-plus automata, Computational techniques for reachability analysis of Max-Plus-Linear systems, Mathematical programming formulations for approximate simulation of multistage production systems, A characterization of bases of tropical kernels in terms of Cramer's rule, On matrices with different tropical and Kapranov ranks, The analytic hierarchy process, max algebra and multi-objective optimisation, An algebraic expression of the number partitioning problem, Modelling and control of periodic time-variant event graphs in dioids, $\mathcal{K}$-formal concept analysis as linear algebra over idempotent semifields, On integer eigenvectors and subeigenvectors in the max-plus algebra, On the maximal solution of a linear system over tropical semirings, Application of an optimization problem in max-plus algebra to scheduling problems, Two cores of a nonnegative matrix, Global optimization for max-plus linear systems and applications in distributed systems, An algorithm for the largest eigenvalue of nonhomogeneous nonnegative polynomials, Steady state analysis of timed event graphs with time window constraints, A new fundamental solution for differential Riccati equations arising in control, Stabilization of max-plus-linear systems using model predictive control: the unconstrained case, Complete solution of tropical vector inequalities using matrix sparsification., On the vectors associated with the roots of max-plus characteristic polynomials., Descartes' rule of signs, Newton polygons, and polynomials over hyperfields, Algorithms for approximate subtropical matrix factorization, Min-plus realizable control design for partially observable timed event graphs under marking constraints, Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control, Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs, Petri net languages and infinite subsets of $\mathbb{N}^m$, On the ultimate behaviour of the sequence of consecutive powers of a matrix in the max-plus algebra, Linear matrix period in max-plus algebra, Matrix roots in the max-plus algebra, A discrete-event model of the train traffic on a linear metro line, QoS-aware management of monotonic service orchestrations, Polytropes and tropical eigenspaces: cones of linearity, Computation of the transient in max-plus linear systems via SMT-solving, Tropical compound matrix identities, Extremal throughputs in free-choice nets, Predictive control of timed event graphs with specifications defined by P-time event graphs, Steady states in the scheduling of discrete-time systems, On $2 \times 2$ tropical commuting matrices, Spectral inequalities for nonnegative tensors and their tropical analogues, On max-plus linear dynamical system theory: the observation problem, Tolerance types of interval eigenvectors in max-plus algebra, AE and EA robustness of interval circulant matrices in max-product algebra, $(K,L)$-eigenvectors in max-min algebra, Sparsity in max-plus algebra and systems, An algorithm for solving two-sided interval system of max-plus linear equations, Solving linear systems over idempotent semifields through $LU$-factorization, Entropy of tropical holonomic sequences, Tropical recurrent sequences, Asymptotic formulae and inequalities for point spectrum in max algebra, Residuation for soft constraints: lexicographic orders and approximation techniques, Optimal assignments with supervisions, Tropical planar networks, Critical subsystems in time interval models. Application to a baking process, Sparse approximate solutions to max-plus equations, Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets, Failure detection and localization for timed event graphs in $(\max,+)$-algebra, Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics, Max-plus automata, Polynomial convolutions in max-plus algebra, Mathematical foundation of artificial intelligence, The ultimate rank of tropical matrices, Extremals of the supereigenvector cone in max algebra: a combinatorial description, New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems, A strongly polynomial method for solving integer max-linear optimization problems in a generic case, Algebras with a negation map, Conditional independence in max-linear Bayesian networks, Large deviations of products of random topical operators., Analytic expansions of max-plus Lyapunov exponents., Max-algebra: The linear algebra of combinatorics?, Periodicity and critical circuits in a generalized max-algebra setting, Min-max functions, A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring, Monotone eigenspace structure in max-min algebra, Stochastic stability in Max-Product and Max-Plus systems with Markovian jumps, A note on the characteristic equation in the max-plus algebra, A congruence on the semiring of normal tropical matrices, Propositional lax logic, An approximation method for computing the expected value of max-affine expressions, Performance regulation in discrete event and hybrid dynamical systems using IPA, Distance-related invariants on polygraphs, Max-plus summation of Fenchel-transformed semigroups for solution of nonlinear Bellman equations, Applications of max-plus algebra to flow shop scheduling problems, Interval strong solutions of interval systems of max-plus linear equations, Tropical linear algebra with the Łukasiewicz t-norm, The spectra of irreducible matrices over completed idempotent semifields, The linear dynamic complementarity problem is a special case of the extended linear complementarity problem, A characterization of realizable behavior in supervisory control of timed event graphs, Just in time control of constrained $(max,+)$-linear systems, Forward-compatible framework with critical-chain project management using a max-plus linear representation, Universal algorithms for solving the matrix Bellman equations over semirings, The geometric structure of max-plus hemispaces, Toward uniform random generation in 1-safe Petri nets, Model approximation for batch flow shop scheduling with fixed batch sizes, Randomized algorithms for finding the shortest negative cost cycle in networks, Blocking a transition in a free choice net and what it tells about its throughput., An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system, Finding all essential terms of a characteristic maxpolynomial., On integer images of max-plus linear mappings, Duality and separation theorems in idempotent semimodules., Inclines and incline matrices: A survey., On two-sided max-linear equations, A max-plus algebra approach to study time disturbance propagation within a robustness improvement context, Numerical analysis of generalised max-plus eigenvalue problems., Closed-form formulae for moment, tail probability, and blocking probability of waiting time in a buffer-sharing deterministic system, Optimization of tandem queue systems with finite buffers, Idempotent analysis and continuous semilattices, A note on tropical linear and integer programs, Evaluation of the growth rate of the state vector in a generalized linear stochastic system, Reachability of eigenspaces for interval circulant matrices in max-algebra, Time separations of cyclic event rule systems with min-max timing constraints, Finding a bounded mixed-integer solution to a system of dual network inequalities, Periodic scheduling of marked graphs using balanced binary words, Duality and interval analysis over idempotent semirings, Topical functions on semimodules and generalizations, Standard orthogonal vectors in semilinear spaces and their applications, Calculating the mean growth rate of the vector of states of a stochastic system with synchronization of events, Tail asymptotics for discrete event systems, Interval analysis and dioid: application to robust controller design for timed event graphs, On max-min linear inequalities and coalitional resource games with sharable resources, Min-max inequalities and the timing verification problem with max and linear constraints, Analytical and simulation-based design space exploration of software defined radios, Explicit expressions for moments of waiting times in Poisson driven deterministic two-node tandem queues with blocking, Log-majorization of the moduli of the eigenvalues of a matrix polynomial by tropical roots, Functional inequalities for max eigenvalues of nonnegative matrices, Solution of a multidimensional tropical optimization problem using matrix sparsification, Tropical totally positive matrices, An optimization problem on the image set of a (max, min) fuzzy operator, Conditional reachability of uncertain max plus linear systems, Output feedback stabilization for a class of nonlinear time-evolution systems, Fixed poles in the model matching problem for systems over semirings, A probabilistic $(\max,+)$ approach for determining railway infrastructure capacity., An algorithmic toolbox for network calculus, On the boolean minimal realization problem in the max-plus algebra, Invertibility of functional Galois connections, The tropical analogue of polar cones, Interval systems over idempotent semiring, Comparison and aggregation of max-plus linear systems, Tensor products of idempotent semimodules. An algebraic approach, Max-algebra and pairwise comparison matrices, On visualization scaling, subeigenvectors and Kleene stars in max algebra, Idempotent version of the Fréchet contingency array problem, A cyclic production problem: An application of max-algebra, Noncommutative and nonassociative pseudo-analysis and its applications on nonlinear partial differential equations, Different interpretations of triangular norms and related operations, Simple image set of (max,+) linear mappings, Special issue: Boolean functions and related problems, Disjunctive and conjunctive normal forms of pseudo-Boolean functions, Decomposable measures and nonlinear equations, Resolving infeasibility in extremal algebras, Idempotent integral as limit of $g$-integrals, Generalized pseudo-convolution in the theory of probabilistic metric spaces, information, fuzzy numbers, optimization, system theory, Stability analysis and optimization of an inventory system with bounded orders, A max version of the Perron-Frobenius theorem, Pseudo-analysis and its application in railway routing, A brief survey and synthesis of the roles of time in Petri nets., Spectral theorem for convex monotone homogeneous maps, and ergodic control, Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets, On stabilization of min-max systems., Separate and carousel type allocations of workers in a U-shaped production line, The equation $A \otimes x = B \otimes y$ over $(\max,+)$, Conditions for the structural existence of an eigenvalue of a bipartite $(\min,\max,+)$-system., Minimax -- or feared value -- $L ^{1}$/$L ^{\infty}$ control, From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems., Application of max-plus algebra to biological sequence comparisons, Self-stabilization with path algebra, The presence of a zero in an integer linear recurrent sequence is NP-hard to decide, Cayley-Hamilton theorem in the min-plus algebra, Densities of idempotent measures and large deviations, Pseudo-Laplace transform, Fast weak–KAM integrators for separable Hamiltonian systems, Idempotent and tropical mathematics; complexity of algorithms and interval analysis, Shrinking timed automata, Optimization problems under (max, min)-linear equations and/or inequality constraints, Pseudo-optimal measures, The Perron-Frobenius theorem for homogeneous, monotone functions, Idempotent Expansions for Continuous-Time Stochastic Control, An algorithm for timing verification of systems constrained by min-max inequalities, Unnamed Item, Unnamed Item, Unnamed Item, Generalized public transportation scheduling using max-plus algebra, Maxmin- $$\omega $$ : A Simple Deterministic Asynchronous Cellular Automaton Scheme, Max-plus approximation for reinforcement learning, Size-based termination of higher-order rewriting, Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra, Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets, The Principle of Least Action and Fundamental Solutions of Mass-Spring and N-Body Two-Point Boundary Value Problems, Local and global robustness with $q$-step delay for max-plus linear systems, Algebraic approaches for designing control laws of time-constrained networked conflicting timed event graphs, Extremality criteria for the supereigenvector space in max-plus algebra, Toward a sparsity theory on weighted lattices, Max-Plus Algebraic Statistical Leverage Scores, Amoeba Techniques for Shape and Texture Analysis, Placement Inference for a Client-Server Calculus, Inferring Min and Max Invariants Using Max-Plus Polyhedra, Weak dual residuations applied to tropical linear equations, Tropical bounds for eigenvalues of matrices, Comparison of the quasi-inverses of the Kronecker sum and product of matrices over complete commutative dioids with applications, On Some Properties of the Max Algebra System Over Tensors, The complexity of tropical matrix factorization, Representation of maxitive measures: An overview, Bisimulations for weighted automata over an additively idempotent semiring, Model predictive control for uncertain max–min-plus-scaling systems, Detecting matrices of combinatorial rank three, Use of path algebra tools for a unified description of a large class of pull control policies, A General Class of Closed Fork and Join Queues with Subexponential Service Times, Max Plus Algebra, Optimization and Game Theory, Transferring progress control policies in scheduling problems for a class of repetitive discrete event systems, Large deviations of semimartingales: A maxingale problem approach i. limits as solutions to a maxingale problem, Supertropical SL_n, On the job rotation problem, A central limit theorem for stochastic recursive sequences of topical operators, Synthesis and Analysis of Product-Form Petri Nets, Solving nonlinear equations by non-additive measures, Complexity reduction in MPC for stochastic max-plus-linear discrete event systems by variability expansion, Permuted max-algebraic eigenvector problem is $NP$-complete, Bounds for the Perron root using max eigenvalues, OPTIMAL REES MATRIX CONSTRUCTIONS FOR ANALYSIS OF DATA, Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture, Bisimulation relations for weighted automata, Max-plus decomposition of supermartingales and convex order. Application to American options and portfolio insurance, Packet reordering in networks with heavy-tailed delays, Generalized matrix period in max-plus algebra, A method for approximating symmetrically reciprocal matrices by transitive matrices, On the problem Ax=\lambda Bx in max algebra: every system of intervals is a spectrum, Cyclic queueing networks with subexponential service times, A strongly polynomial algorithm for solving two-sided linear systems in max-algebra, Control solvability of interval systems of max-separable linear equations, Convergence of numerical methods and parameter dependence of min-plus eigenvalue problems, Frenkel-Kontorova models and homogenization of Hamilton-Jacobi equations, Matrix Invariants over Semirings, A path-transformation for random walks and the Robinson-Schensted correspondence, The balance problem of min-max systems is co-nNP hard, Lattice properties in dioids, Zeros of random tropical polynomials, random polygons and stick-breaking, Modelling of Complex Software Systems: A Reasoned Overview, Feedback control for a class of discrete event systems with critical time, Security and trust for wireless autonomic networks. Systems and control methods, Properties of MPC for max-plus-linear systems, A note on periodic points of order preserving subhomogeneous maps, Spectral analysis for performance evaluation in a bus network, Series which are both max-plus and min-plus rational are unambiguous, Distances on the tropical line determined by two points, On Special Cases of the Generalized Max-Plus Eigenproblem, Semiring and Semimodule Issues in MV-Algebras, OPTIMIZATION OF MATRIX SEMIRINGS FOR CLASSIFICATION SYSTEMS, CSR expansions of matrix powers in max algebra, Eigenvectors of interval matrices over max--plus algebra, Monotonicity and positive invariance of linear systems over dioids, Chain differentials with an application to the mathematical fear operator, Duality for the level sum of quasiconvex functions and applications, Comparison and classification of linear systems over idempotent semirings inspired by total positivity, Powers of matrices over distributive lattices -- a review, Critical Path Statistics of Max-Plus Linear Systems with Gaussian Noise, A Separation Theorem for Expected Value and Feared Value Discrete Time Control, An explanation for the logarithmic connection between linear and morphological system theory, On the Stochastic End-to-End Delay Analysis in Sink Trees Under Independent and Dependent Arrivals, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Z-matrix equations in max-algebra, nonnegative linear algebra and other semirings, Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers*, Control of Petri nets subject to strict temporal constraints using Max-Plus algebra, Analysis of P-time event graphs in (max,+) and (min,+) semirings, Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra