Bemporad, Alberto; Torrisi, Fabio Danilo; Morari, Manfred Optimization-based verification and stability characterization of piecewise affine and hybrid systems. (English) Zbl 0939.93523 Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 45-58 (2000). For the entire collection see [Zbl 0934.00029]. Cited in 9 Documents MSC: 93D20 Asymptotic stability in control theory Software:HyTech; cdd PDFBibTeX XMLCite \textit{A. Bemporad} et al., Lect. Notes Comput. Sci. 1790, 45--58 (2000; Zbl 0939.93523)