Model checking multirate hybrid systems

被引：0
|
作者：
Zhang, Hai-Bin [1 ]
Duan, Zhen-Hua [1 ]
机构：
[1] School of Computer Science and Technology, Xidian Univ., Xi'an 710071, China
来源：
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University | 2008年 / 35卷 / 01期
关键词：
7;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：60 / 64
相关论文
共 50 条
  • [1] Approximated model checking for multirate hybrid ZIA
    Li, Guozheng (leebug38@foxmail.com), 1600, Science and Engineering Research Support Society (09):
  • [2] Model Checking Hybrid Systems
    Clarke, Edmund M.
    Gao, Sicun
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 385 - 386
  • [3] STL Model Checking of Continuous and Hybrid Systems
    Roehm, Hendrik
    Oehlerking, Jens
    Heinz, Thomas
    Althoff, Matthias
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 412 - 427
  • [4] Bounded Model Checking of Hybrid Systems for Control
    Kwon, YoungMin
    Kim, Eunhee
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (11) : 2961 - 2976
  • [5] Improving HyLTL model checking of hybrid systems
    Bresolin, Davide
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (119): : 79 - 92
  • [6] Approximate Model Checking of Stochastic Hybrid Systems
    Abate, Alessandro
    Katoen, Joost-Pieter
    Lygeros, John
    Prandini, Maria
    EUROPEAN JOURNAL OF CONTROL, 2010, 16 (06) : 624 - 641
  • [7] Dara: Hybrid Model Checking of Distributed Systems
    Anand, Vaastav
    ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 977 - 979
  • [8] Statistical Model Checking for Stochastic Hybrid Systems
    David, Alexandre
    Larsen, Kim G.
    Mikucionis, Marius
    Poulsen, Danny Bogsted
    Legay, Axel
    Sedwards, Sean
    Du, Dehui
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (92): : 122 - 136
  • [9] Bounded model checking of hybrid dynamical systems
    Giorgetti, Nicolo
    Pappas, George J.
    Beraporad, Alberto
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 672 - 677
  • [10] Symbolic model checking for rectangular hybrid systems
    Henzinger, TA
    Majumdar, R
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 142 - 156
12345