Approximate bisimulation; Feedback refinement relation; Switched systems; Aperiodic sampling; Incremental stability;
机译:具有非周期性时间采样的渐进稳定切换系统的符号模型
机译:符号型号互换稳定交换系统符号模型的最佳多速率抽样
机译:增量稳定交换系统的多速率符号模型
机译:具有非周期性时间采样的渐象稳定交换系统的符号模型
机译:无限维连续时间系统的采样数据卡尔曼滤波和多模型自适应估计。
机译:开放采样系统中使用MOX传感器估算气体浓度的增强切换线性动力学系统模型
机译:符号模型中的最佳多用途采样,用于递增稳定的交换系统
机译:使用连续时间和采样数据模型控制时滞系统