Minimal Conjunctive Normal Expression of Continuous Piecewise Affine Functions

DOI10.1109/TAC.2015.2465212MaRDI QIDQ2980570zbMATH OpenWikidataFDO

Authors Jun Xu, Bart De Schutter, Ton van den Boom, Xionglin Luo

Publication date 3 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2015.2465212

Mathematics Subject Classification ID

Minimax problems in mathematical programming (90C47) General systems (93A10) Applications of design theory to circuits and networks (94C30)

Cited in

(2)

• Irredundant lattice representations of continuous piecewise affine functions
• More is less: adding polynomials for faster explanations in NLSAT

This page was built for publication: Minimal Conjunctive Normal Expression of Continuous Piecewise Affine Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980570)