...
机译:不确定非线性的屏障证书生成有效框架
Formal verification; Uncertain hybrid systems; Barrier certificates; Sum of squares programming; Interval verification;
机译:不确定非线性的屏障证书生成有效框架
机译:具有不确定非平稳执行器非线性的非线性设备的鲁棒镇定的VSC方法-统一框架
机译:自动机理论符合障碍证书:非线性系统的时间逻辑验证
机译:使用屏障证书验证不确定的POMDP
机译:Alxga1-XAS材料系统中通过二阶非线性高效的太赫兹波产生
机译:紧凑型光纤集成铌酸锂纳米波导中模式混合和非线性模式介导的高效宽带二次谐波产生
机译:不确定非线性系统的计算高效的鲁棒模型预测控制框架