Minimal Conjunctive Normal Expression of Continuous Piecewise Affine Functions

Continuous piecewise affine (PWA) functions arise in many aspects of control. For this kind of function, we propose the minimal conjunctive normal expression (CNE). The CNE can be expressed as the minimum of a collection of terms, each of which is the maximum of a set of affine functions. The minimal CNE is defined to contain the smallest number of parameters. Analogous to Boolean algebra, we propose implicants and prime implicants for continuous PWA functions. After obtaining all prime implicants, the problem of finding minimal CNEs can then be cast as a binary programming problem. A sharp bound on the number of boolean variables in the binary programming problem is given. In two worked examples, minimal CNEs are derived for given continuous PWA functions.

[1]  Christos H. Papadimitriou,et al.  On the complexity of integer programming , 1981, JACM.

[2]  Leon O. Chua,et al.  Canonical piecewise-linear modeling , 1986 .

[3]  M. Morari,et al.  Efficient evaluation of piecewise control laws defined over a large number of polyhedra , 2007, 2007 European Control Conference (ECC).

[4]  Marco Storace,et al.  Piecewise linear implementation of nonlinear dynamical systems: from theory to practice , 2009 .

[5]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[6]  Alberto Bemporad,et al.  Min-max control of constrained uncertain discrete-time linear systems , 2003, IEEE Trans. Autom. Control..

[7]  Bart De Schutter,et al.  MPC for continuous piecewise-affine systems , 2004, Syst. Control. Lett..

[8]  J. Xu,et al.  Minimization of the k-th maximum and its application on LMS regression and VaR optimization , 2012, J. Oper. Res. Soc..

[9]  D. Mayne,et al.  Optimal control of constrained, piecewise affine systems with bounded disturbances , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[10]  Peter L. Hammer,et al.  Boolean Functions - Theory, Algorithms, and Applications , 2011, Encyclopedia of mathematics and its applications.

[11]  Shuning Wang,et al.  Generalization of hinging hyperplanes , 2005, IEEE Transactions on Information Theory.

[12]  Marco Storace,et al.  Piecewise-linear approximation of nonlinear dynamical systems , 2004, IEEE Transactions on Circuits and Systems I: Regular Papers.

[13]  Sven G. Bartels,et al.  Continuous selections of linear functions and nonsmooth critical point theory , 1995 .

[14]  Sergei Ovchinnikov,et al.  Discrete piecewise linear functions , 2008, Eur. J. Comb..

[15]  Manfred Morari,et al.  Multi-Parametric Toolbox 3.0 , 2013, 2013 European Control Conference (ECC).

[16]  Leo Breiman,et al.  Hinging hyperplanes for regression, classification, and function approximation , 1993, IEEE Trans. Inf. Theory.

[17]  Bart De Schutter,et al.  Irredundant lattice piecewise affine representations and their applications in explicit model predictive control , 2014, 53rd IEEE Conference on Decision and Control.

[18]  Alberto Bemporad,et al.  Convexity recognition of the union of polyhedra , 2001, Comput. Geom..

[19]  Mato Baotic,et al.  Stabilizing low complexity feedback control of constrained piecewise affine systems , 2005, Autom..

[20]  E. Sperner.  Ein Satz über Untermengen einer endlichen Menge , 1928 .

[21]  J. M. Tarela,et al.  Minimization of lattice polynomials on piecewise linear functions (Part II) , 1975 .

[22]  Tor Arne Johansen,et al.  Flexible Piecewise Function Evaluation Methods Based on Truncated Binary Search Trees and Lattice Representation in Explicit MPC , 2012, IEEE Transactions on Control Systems Technology.

[23]  John N. Tsitsiklis,et al.  Introduction to Probability , 2002 .

[24]  Alberto Bemporad,et al.  A survey on explicit model predictive control , 2009 .

[25]  Manfred Morari,et al.  Optimal complexity reduction of polyhedral piecewise affine systems , 2008, Autom..

[26]  Robert H. Wilkinson,et al.  A Method of Generating Functions of Several Variables Using Analog Diode Logic , 1963, IEEE Trans. Electron. Comput..

[27]  P. Julián,et al.  High-level canonical piecewise linear representation using a simplicial partition , 1999 .

[28]  I. Anderson.  Combinatorics of Finite Sets , 1987 .

[29]  Ton J.J. van den Boom,et al.  Min-Max Model Predictive Control for Uncertain Max-Min-Plus-Scaling Systems , 2006 .

[30]  Xiaoyan Ma,et al.  Analytical expression of explicit MPC solution via lattice piecewise-affine function , 2009, Autom..

[31]  Leon O. Chua,et al.  Canonical piecewise-linear representation , 1988 .

[32]  Charles M. Grinstead,et al.  Introduction to probability , 1999, Statistics for the Behavioural Sciences.