有向矩形壳相关论文
混杂系统是连续变量动态系统和离散事件动态系统相结合,并且二者相互影响相互作用的一类系统。混杂系统形式验证是混杂系统的一个研......
混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一......