障碍验证相关论文
随机混成系统是一类离散、连续与随机动态交织的复杂动力系统。作为信息物理融合系统的数学模型,随机混成系统在能源、医疗、交通......
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方......