您当前所在位置: 首页 > 学者

段振华

  • 16浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 78下载

  • 0评论

  • 引用

期刊论文

TIMED INTERVAL TEMPORAL LOGIC AND MODELLING OF HYBRID SYSTEMSL

段振华Z.H. Duan and W.M. Holcombe D.A. Linkens

,-0001,():

URL:

摘要/描述

We generalize Interval Temporal Logic to include absolute time and are motivated to model Hybrid systems consisting of discrete, continuous, and heuristic components. The syntax and semantics of Timed Interval Temporal Logic (TITL) are presented, a visual notation, the extended Statecharts with combine TITL, guarded language, and time constraints in a unified manner, is introduced, and an example for the modelling of soaking pits in a steelworks is employed to illustrate how the formalism operates.

版权说明:以下全部内容由段振华上传于   2005年10月13日 23时43分25秒,版权归本人所有。

我要评论

全部评论 0

本学者其他成果

    同领域成果