Algorithmic Verification of Continuous and Hybrid Systems

被引：2
|
作者：
Maler, Oded [1 ]
机构：
[1] Univ Grenoble, CNRS, VERIMAG, Grenoble, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 140期
关键词：
D O I：
10.4204/EPTCS.140.4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes replace an infinite number of simulations.
引用
收藏
页码：48 / 69
页数：22
相关论文
共 50 条
  • [21] Verification of clocked and hybrid systems
    Kesten, Y
    Manna, Z
    Pnueli, A
    ACTA INFORMATICA, 2000, 36 (11) : 837 - 912
  • [22] Verification of clocked and hybrid systems
    Yonit Kesten
    Zohar Manna
    Amir Pnueli
    Acta Informatica, 2000, 36 : 837 - 912
  • [23] Verification of timed and hybrid systems
    Larsen, KG
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 39 - 42
  • [24] Dynamic verification of hybrid systems
    Pakulin, Nikolay
    2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 71 - 77
  • [25] On the formal verification of hybrid systems
    Guéguen, H
    Zaytoon, J
    CONTROL ENGINEERING PRACTICE, 2004, 12 (10) : 1253 - 1267
  • [26] On the algorithmic unsolvability of some stability problems for hybrid systems
    Toker, O
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (01) : 165 - 168
  • [27] AVERIST: Algorithmic Verifier for Stability of Linear Hybrid Systems
    Garcia Soto, Miriam
    Prabhakar, Pavithra
    HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 259 - 264
  • [28] Hybrid systems: From verification to falsification
    Plaku, Erion
    Kavraki, Lydia E.
    Vardi, Moshe Y.
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 463 - +
  • [29] Hybrid systems verification by location elimination
    Nonnengart, A
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 352 - 365
  • [30] Computational techniques for the verification of hybrid systems
    Tomlin, CJ
    Mitchell, I
    Bayen, AM
    Oishi, M
    PROCEEDINGS OF THE IEEE, 2003, 91 (07) : 986 - 1001
12345