×

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].

MSC:

93D20 Asymptotic stability in control theory

Software:

HyTech; cdd
PDFBibTeX XMLCite