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

段振华

  • 19浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 96下载

  • 0评论

  • 引用

期刊论文

Specification of a Soaking Pit Furnace System in Parallel Hybrid Mochines*

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

,-0001,():

URL:

摘要/描述

A computational model for hybrid systems consisting of a non-trivial mixture of discreta cvents and continuous activities is presented. Based on this model, a spedcification language, Parallel Hybrid Machine (PHM), which allous us to specify a complex hybrid system in a paralled wag with a graphic representation, is formalized. As a case study, a graphic representation, is modeled by PHMs. Moreover,the PHMs and Hybrid Projection Temporal Logic (HPTL) share a common computational model. Thes enables us to model, analyze and verify a hybrid system in a uniform manner.

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

我要评论

全部评论 0

本学者其他成果

    同领域成果