会议论文《混杂系统验证中商迁移系统迁移关系的简化算法》针对混杂系统验证中的迁移关系复杂问题，提出一种简化算法。该算法通过优化状态空间结构，减少冗余迁移路径，提高验证效率。研究在第29届中国控制会议上发表，为混杂系统的形式化验证提供了有效方法。
文档为pdf格式，0.36MB，总共6页。
举报
