Structures for Reachability Problems of Multirate Hybrid Systems
Structures for Reachability Problems of Multirate Hybrid Systems
复制标题
DOI：
10.4028/www.scientific.net/amr.466-467.754
复制
发表时间：
2012-02
期刊：
影响因子：
--
通讯作者：
Hai Bin Zhang;L. Yang
中科院分区：
文献类型：
--
作者：
Hai Bin Zhang;L. Yang
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.
