Symbolic reachability analysis of multirate hybrid systems

被引：0
|
作者：
Zhang, Haibin [1 ]
Duan, Zhenhua [1 ]
机构：
[1] Institute of Computing Theory and Technology, Xidian University, Xi'an 710071, China
来源：
Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University | 2007年 / 41卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：412 / 415
相关论文
共 50 条
  • [41] SYMBOLIC BACKWARDS-REACHABILITY ANALYSIS FOR HIGHER-ORDER PUSHDOWN SYSTEMS
    Hague, Matthew
    Ong, Luke
    LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (04)
  • [42] Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
    Bouajjani, A
    Habermehl, P
    THEORETICAL COMPUTER SCIENCE, 1999, 221 (1-2) : 211 - 250
  • [43] Symbolic backwards-reachability analysis for higher-order pushdown systems
    Hague, Matthew
    Ong, C. -H. Luke
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2007, 4423 : 213 - +
  • [44] Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems
    Mufid, Muhammad Syifa'ul
    Adzkiya, Dieky
    Abate, Alessandro
    IFAC PAPERSONLINE, 2020, 53 (04): : 459 - 465
  • [45] Reachability for Continuous and Hybrid Systems
    Maler, Oded
    REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 24 - 25
  • [46] Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
    Bouajjani, A
    Habermehl, P
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 560 - 570
  • [47] Discrete reachability of hybrid systems
    Lunze, J
    Nixdorf, B
    INTERNATIONAL JOURNAL OF CONTROL, 2003, 76 (14) : 1453 - 1468
  • [48] Reachability of a class of hybrid systems
    Wang, YJ
    Xie, GM
    Nang, L
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 312 - 316
  • [49] Multirate Symbolic Models for Incrementally Stable Switched Systems
    Saoud, Adnane
    Girard, Antoine
    IFAC PAPERSONLINE, 2017, 50 (01): : 9278 - 9284
  • [50] Symbolic Algorithmic Analysis of Rectangular Hybrid Systems
    Zhang, Hai-Bin
    Duan, Zhen-Hua
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 24 (03) : 534 - 543
12345