This paper discusses a new approach to representing a finite automaton as a combination of a linear state equation with a smaller set of free binary variables (i.e., input variables) and binary inequalities, in order to reduce the computational time for solving the model predictive control problem of a class of hybrid systems. In particular, this paper is devoted to proving that a system repres...

Multi-valued decision diagrams (MDDs) are a generalization of binary decision diagrams (BDDs). They often allow efficient representation of functions with multi-valued input variables similar to BDDs in the binary case. Therefore they are suitable for several applications in synthesis and verification of integrated circuits. MDD sizes counted in number of nodes vary from linear to exponential d...

This study proposes a deterministic model to solve the two-dimensional cutting stock problem (2DCSP) using a much smaller number of binary variables and thereby reducing the complexity of 2DCSP. Expressing a 2DCSP with m stocks and n cutting rectangles requires 2n2 + n(m + 1) binary variables in the traditional model. In contrast, the proposed model uses n2 + n log2 m binary variables to expres...

We study exponential families of distributions that are multivariate totally positive order 2 (MTP2), show these convex and derive conditions for existence the MLE. Quadratic familes MTP2 contain attractive Gaussian graphical models ferromagnetic Ising as special examples. defined by intersecting space canonical parameters with a polyhedral cone whose faces correspond to conditional independenc...