位置：成果数据库 > 期刊 > 期刊详情页
Stability Analysis of Switched Fuzzy Systems via Model Checking
  • ISSN号：1063-6706
  • 期刊名称：IEEE Transactions on Fuzzy Systems
  • 时间：2014
  • 页码：1503-1514
  • 相关项目：基于微分方程的软件自适应控制模型研究
作者： 丁佐华|Yuan Zhou|Mengchu Zhou|
同期刊论文项目
基于微分方程的软件自适应控制模型研究
期刊论文 23 会议论文 20
同项目期刊论文
Hypergraph partitioning for the parallel computing of fuzzy differential equations
Online reliability computing of composite services based on program invariants
A Polynomial Algorithm to Performance Analysis of Concurrent Systems via Petri Nets and Ordinary Di
基于在线故障定位及自主适应提高软件可靠性
A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems
Modeling Self-Adaptive Software Systems with Learning Petri Nets
Servcie Slection Based On Behavior Matching
Petri Net Representation of Switched Fuzzy Systems
基于GCL语言的测试用例生成方法
基于二次定位策略的软件故障定位
基于程序不变量计算软件可靠性
基于架构的服务组合可靠性预测
基于神经网络集成的软件故障预测及实验分析