Model checking of hybrid systems: From reachability towards stability

被引：0
|
作者：
Podelski, A [1 ]
Wagner, S [1 ]
机构：
[1] Max Planck Inst Informat, Saarbrucken, Germany
来源：
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS | 2006年 / 3927卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We call a hybrid system stable if every trajectory inevitably ends up in a given region. Our notion of stability deviates from classical definitions in control theory. In this paper, we present a model checking algorithm for stability in the new sense. The idea of the algorithm is to reduce the stability proof for the whole system to a set of (smaller) proofs for several one-mode systems.
引用
收藏
页码：507 / 521
页数：15
相关论文
共 50 条
  • [41] On the reachability problem for uncertain hybrid systems
    Gao, Yan
    Lygeros, John
    Quincampoix, Marc
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (09) : 1572 - 1586
  • [42] Bounded reachability checking of asynchronous systems using decision diagrams
    Yu, Andy Jinqing
    Ciardo, Gianfranco
    Luettgen, Gerald
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 648 - +
  • [43] Towards probabilistic model checking on P systems using PRISM
    Romero-Campero, Francisco J.
    Gheorghe, Marian
    Bianco, Luca
    Pescini, Dario
    Perez-Jimenez, Mario J.
    Ceterchi, Rodica
    MEMBRANE COMPUTING, 2006, 4361 : 477 - +
  • [44] Symbolic reachability analysis of hybrid systems
    Wong-Toi, H
    MOTION CONTROL (MC'98), 1999, : 271 - 276
  • [45] On stability and reachability of perturbed positive systems
    Begoña Cantó
    Carmen Coll
    Elena Sánchez
    Advances in Difference Equations, 2014
  • [46] On stability and reachability of perturbed positive systems
    Canto, Begona
    Coll, Carmen
    Sanchez, Elena
    ADVANCES IN DIFFERENCE EQUATIONS, 2014,
  • [47] Reachability Games for Linear Hybrid Systems
    Benerecetti, Massimo
    Faella, Marco
    Minopoli, Stefano
    HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 65 - 74
  • [48] REACHABILITY AND VERIFICATION PROBLEMS OF HYBRID SYSTEMS
    Alibek, A.
    Altayeva, A. B.
    Kulpeshov, B. Sh.
    BULLETIN OF THE NATIONAL ACADEMY OF SCIENCES OF THE REPUBLIC OF KAZAKHSTAN, 2014, (02): : 3 - 7
  • [49] On reachability analysis of uncertain hybrid systems
    Jönsson, UT
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 2397 - 2402
  • [50] Towards SMT model checking of array-based systems
    Ghilardi, Silvio
    Nicolini, Enrica
    Ranise, Silvio
    Zucchelli, Daniele
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 67 - +
12345