Minimal conjunctive normal expression of continuous piecewise affine functions

Research output: Contribution to journalArticleScientificpeer-review

2 Citations (Scopus)

Abstract

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.
Original languageEnglish
Pages (from-to)1340-1345
JournalIEEE Transactions on Automatic Control
Volume61
Issue number5
DOIs
Publication statusPublished - 2016

Keywords

  • conjunctive normal expression
  • Continuous piecewise affine
  • minimal expression

Fingerprint Dive into the research topics of 'Minimal conjunctive normal expression of continuous piecewise affine functions'. Together they form a unique fingerprint.

  • Cite this