Optimal complexity reduction of polyhedral piecewise affine systems

Automatica

Volumn 44, Issue 7, 2008, Pages 1728-1740

  Geyer, Tobias ^a   Torrisi, Fabio D ^a   Morari, Manfred ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Boolean minimization; Controller reduction; Hybrid system; Hyperplane arrangement; Model reduction; Optimal complexity reduction; Piecewise affine system

Indexed keywords

ALGORITHMS; CELLS; COMPUTER NETWORKS; EQUIVALENCE CLASSES; EVOLUTIONARY ALGORITHMS; FEEDBACK; NUMERICAL METHODS; PAPER; SET THEORY; STATE FEEDBACK;

#P HARD; (ALGORITHMIC) COMPLEXITY; BRANCH AND BOUND SEARCH; COMPUTATIONALLY ATTRACTIVE; ELSEVIER (CO); GENERAL (CO); HYPERPLANE ARRANGEMENT; INDUSTRIAL PROBLEMS; LOGIC MINIMIZATION; OPTIMAL COMPLEXITY; ORDER-OF MAGNITUDES; PIECEWISE AFFINE (PWA) SYSTEMS; STATE-FEEDBACK CONTROL;

COMPUTATIONAL COMPLEXITY;

ALGORITHMS; FEEDBACK CONTROL; MATHEMATICAL MODELS; PAPER; PROBLEM SOLVING;

EID: 45849089509     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2007.11.027     Document Type: Article

References (22)

1. Avis D., and Fukuda K. Reverse search for enumeration. Discrete Applied Mathematics 65 (1996) 21-46
2. Baotić, M., Christophersen, F., & Morari, M. (2003). Infinite time optimal control of hybrid systems with a linear performance index. In Proc. 42nd IEEE conf. on decision and control (pp. 3191-3196)
3. Bemporad A., Fukuda K., and Torrisi F. Convexity recognition of the union of polyhedra. Computational Geometry: Theory and Applications 18 (2001) 141-154
4. Borrelli F. Constrained optimal control of linear and hybrid systems. LNCIS Vol. 290 (2003), Springer
5. Borrelli F., Baotić M., Bemporad A., and Morari M. Dynamic programming for constrained optimal control of discrete-time linear hybrid systems. Automatica 41 10 (2005) 1709-1721
6. Brayton R., Hachtel G., McMullen C., and Sangiovanni-Vincentelli A. Logic minimization algorithms for VLSI synthesis (1984), Kluwer Academic Publishers
7. Brungger A., Marzetta A., Fukuda K., and Nievergelt J. The parallel search bench zram and its applications. Annals of Operations-Research 90 (1999) 45-63
8. Buck R. Partition of space. American Mathematical Monthly 50 (1943) 541-544
9. Chazelle B. Convex partitions of polyhedra: A lower bound and worst-case optimal algorithm. SIAM Journal of Computing 13 (1984) 488-507
10. Departement of EECS, University of California, Berkeley, 1982, webpage of ESPRESSO-II. online document,http://www-cad.eecs.berkeley.edu/Software/software.html
11. Edelsbrunner H. Algorithms in combinatorial geometry (1987), Springer
12. Ferrez, J., & Fukuda, K. (2002). Implementations of lp-based reverse search algorithms for the zonotope construction and the fixed-rank convex quadratic maximization in binary variables using the ZRAM and the cddlib libraries. Tech. rep., Mcgill
13. Ferrez, J., Fukuda, K., & Liebling, T. (2001). Cuts, zonotopes and arrangements. Tech. rep. EPF Lausanne, Switzerland
14. Geyer, T. (2005). Low complexity model predictive control in power electronics and power systems. Dr. sc. tech. thesis, Automatic Control Laboratory ETH Zurich
15. Geyer T., Torrisi F., and Morari M. Efficient mode enumeration of compositional hybrid systems. In: Pnueli A., and Maler O. (Eds). Hybrid systems: Computation and control. LNCS Vol. 2623 (2003), Springer 216-232
16. Heemels W., Schutter B.D., and Bemporad A. Equivalence of hybrid dynamical models. Automatica 37 7 (2001) 1085-1091
17. Karnaugh M. A map method for synthesis of combinational logic circuits. AIEE Transactions on Communications and Electronics 72 (1953) 593-599
18. Kvasnica M., Grieder P., Baotić M., and Morari M. Multi parametric toolbox (MPT). In: Alur R., and Pappas G. (Eds). Hybrid systems: Computation and control. LNCS Vol. 2993 (2004), Springer 448-462. http://control.ee.ethz.ch/~mpt
19. Sontag E. Nonlinear regulation: The piecewise linear approach. IEEE Transactions on Automatic Control 26 2 (1981) 346-358
20. Tøndel P., Johansen T., and Bemporad A. Evaluation of piecewise affine control via binary search tree. Automatica 39 5 (2003) 945-950
21. Torrisi F., and Bemporad A. Hysdel - a tool for generating computational hybrid models for analysis and synthesis problems. IEEE Transactions on Control Systems Technology 12 2 (2004) 235-249
22. Veitch, E. (1952). A chart method for simplifying boolean functions. In Proceedings of the association for computing machinery (pp. 127-133)