障碍验证生成相关硕士博士期刊学术论文 - 信丰网

障碍验证生成相关论文

基于障碍函数生成的混成系统安全验证研究

混成系统是一类复杂的动力系统,其中既包含了连续演变行为又含有离散变迁行为,并且两者又交织发生.连续演变状态可用于描述各个独......

学位

混成系统安全性验证障碍验证生成符号计算达布多项式双线性矩阵不等式抽象解释多项式优化

看过本文同时还关注