Hard problems in max-algebra, control theory, hypergraphs and other areas
نویسندگان
چکیده
منابع مشابه
Hard problems in max-algebra, control theory, hypergraphs and other areas
We introduce the max-atom problem (MAP): solving (in Z) systems of inequations of the form max(x, y)+k z, where x, y, z are variables and k ∈ Z. Our initial motivation for MAP was reasoning on delays in circuits using SAT Modulo Theories [10], viewing MAP as a natural extension of Difference Logic, i.e., inequations of the form x+ k y. Here we show that MAP is PTIME-equivalent to several rather...
متن کاملScaling, Modeling and Traffic Control of a Real Railway Network using Max-plus Algebra and Model Predictive Control
Delay time recovery can increase the efficiency of the railway network and increase the attractiveness of railway transport against other transportation systems. This article presents a new dynamical model of railway system. The proposed model is a discrete event systems that is defined based on the deviation of travel time and deviation of stop time of trains. Due to the existence of multiple ...
متن کاملMax-Plus Algebra and Applications to System Theory and Optimal Control
In the modeling of human activities, in contrast to natural phenomena, quite frequently only the operations max (or min) and + are needed. A typical example is the performance evaluation of synchronized processes such as those encountered in manufacturing (dynamic systems made up of storage and queuing networks). Another typical example is the computation of a path of maximum weight in a graph ...
متن کاملMax-Plus algebra on tensors and its properties
In this paper we generalize the max plus algebra system of real matrices to the class of real tensors and derive its fundamental properties. Also we give some basic properties for the left (right) inverse, under the new system. The existence of order 2 left (right) inverses of tensors is characterized.
متن کاملModelling and Control of Computational Processes Using Max-plus Algebra
In this paper we propose a modelling technique for the control of computational processes. The Petri Net model, particularly a Timed Event Graph (TEG) can be used for analyzing. The proposed model enables the determination of state equations. The max-plus algebra represents linear algebraic form of discrete systems and supplies new tools to their modelling. We develop a linear mathematical mode...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2010
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2009.11.007