Structures for Reachability Problems of Multirate Hybrid Systems

摘要：

　　This paper investigates symbolic reachability issue of multirate hybrid systems.To this end,a constraint system called multirate zone is formalized for the representation and manipulation of multirate automata.To represent multirate zones,a data structure difference bound matrix for multirate zones is defined.In addition,to handle unions of multirate zones and data sharing,a BDD-like data structure multirate hybrid diagram is also defined.These enable us to do symbolic reachability analysis of multirate automata in an efficient way.

关键词： hybrid systems multirate automata teachability analysis

作者: Haibin Zhang Liya Yang

作者单位: School of Computer Science and Technology,Xidian University,Xian 710071,P.R.China Heze University,Heze 274015,P.R.China

会议类型: 国际会议

会议名称: 2012 International Conference on Intelligent System and Applied Material(2012智能系统与应用材料国际会议)(GSAM2012)

会议地点: 太原

会议语种:英文

页码: 754-758

在线出版日期: 2012-01-13（万方平台首次上网日期，不代表论文的发表时间）