Thus, by using the model checking algorithms for ITL and the translating rules defined in this paper, the model checking problem for initialized multirate hybrid systems can be solved.

 
  • 利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题。
今日热词
目录 附录 查词历史