阿尔贝托·本普拉德;托里西，法比奥·达尼洛;曼弗雷德·莫拉里 分段仿射和混合系统的基于优化的验证和稳定性表征。 （英语） Zbl 0939.93523号 Lynch，Nancy（编辑）等人，《混合系统：计算与控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1790, 45-58 (2000). 关于整个系列，请参见[Zbl 0934.00029号]. 引用于9文件 MSC公司： 93D20型 控制理论中的渐近稳定性 软件：高超声速;cdd（光盘） PDF格式BibTeX公司 XML格式引用 \textit{A.Bemporad}等人，Lect。注释计算。科学。1790年，45-58年（2000年；Zbl 0939.93523）