混成系统论文

基于深度优先搜索的混成系统有界可达性分析
论文摘要混成系统是一类有广泛应用的系统,目前主要用混成自动机对其进行建模,对混成自动机进行可达性检验是保障混成系统质量的主要手段。目前对于混成系统的可达性分析主要有两类主要方法...
基于归纳不变式的混成系统安全性验证
论文摘要随着嵌入式系统在安全攸关领域的广泛应用，嵌入式系统的研究也逐步升温。由于混成系统既可以描述嵌入式系统离散的控制逻辑，又可以描述其连续的硬件行为，因此成为嵌入式系统理想的...
混成电力系统及其静态电压稳定性研究
论文摘要伴随着科学技术的发展,计算机、信息处理技术、自动化与数字设备的应用范围更加广泛,在通讯、制造、电力等领域人们建立起了日益复杂的大规模系统。这些复杂大规模系统由多个子系统...