1) real-time calculus
实时演算
2) timed refinement calculus
实时精化演算
5) duration calculi
时段演算
1.
As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi.
采用的手段是时段演算技术及其扩展。
2.
This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension.
在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。
6) temporal calculus
时态演算
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条