离散化验证相关硕士博士期刊学术论文

摘要：混合系统是同时包含有相互作用的连续性子系统和离散性子系统的一类动态系统。混合自动机是目前混合系统验证研究中最常用的一......