机译:使用线性矩阵Inequality的设置出口时的界限
Hybridswitched systems modellingreachability analysisverificationabstraction of hybrid systems;
机译:
机译:具有静态输出反馈的非线性系统的正式电源序列
机译:关于非线性分布式参数系统平衡谱的局部指数稳定性
机译:有界扰动的分段仿射离散时间系统不变集的计算
机译:具有线性矩阵不等式的线性系统的时变稳定性分析。
机译:通过新的不等式具有多主题不确定性的线性时滞系统可达集边界的新结果
机译:通过新的不等式,对具有多面不确定性的线性时滞系统的可达集界的新结果