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 条
  • [11] An algorithmic approach to stability verification of polyhedral switched systems
    Prabhakar, Pavithra
    Soto, Miriam Garcia
    2014 AMERICAN CONTROL CONFERENCE (ACC), 2014,
  • [12] ALGORITHMIC VERIFICATION OF HOME SPACES IN P/T SYSTEMS
    JOHNEN, C
    MODELLING AND SIMULATION OF SYSTEMS, 1989, 3 : 107 - 109
  • [13] Discrete-continuous systems: an algorithmic aspect
    Inst Problem Peredachi Informatsii, Moscow, Russia
    Avt Telemekh, 5 (124-137):
  • [14] DISCRETE-CONTINUOUS SYSTEMS - AN ALGORITHMIC ASPECT
    ASARIN, EA
    MALER, O
    AUTOMATION AND REMOTE CONTROL, 1995, 56 (05) : 715 - 726
  • [15] Symbolic Algorithmic Analysis of Rectangular Hybrid Systems
    Zhang, Hai-Bin
    Duan, Zhen-Hua
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 24 (03) : 534 - 543
  • [16] Symbolic Algorithmic Analysis of Rectangular Hybrid Systems
    张海宾
    段振华
    Journal of Computer Science & Technology, 2009, 24 (03) : 534 - 543
  • [17] An algorithmic estimation scheme for hybrid stochastic systems
    Malcolm, W. P.
    Elliott, R. J.
    Dufour, F.
    Arulampalam, M. S.
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 6097 - 6102
  • [18] Symbolic Algorithmic Analysis of Rectangular Hybrid Systems
    Hai-Bin Zhang
    Zhen-Hua Duan
    Journal of Computer Science and Technology, 2009, 24 : 534 - 543
  • [19] Verification Techniques for Hybrid Systems
    Prabhakar, Pavithra
    Soto, Miriam Garcia
    Lal, Ratan
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 833 - 842
  • [20] Benchmarks for hybrid systems verification
    Fehnker, A
    Ivancic, R
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 326 - 341
12345