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 条
  • [1] PHAVer: Algorithmic verification of hybrid systems past HyTech
    Frehse G.
    International Journal on Software Tools for Technology Transfer, 2008, 10 (3) : 263 - 279
  • [2] PHAVer: Algorithmic verification of hybrid systems past HyTech
    Frehse, G
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 258 - 273
  • [3] An assessment of the current status of algorithmic approaches to the verification of hybrid systems
    Silva, BI
    Stursberg, O
    Krogh, BH
    Engell, S
    PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 2867 - 2874
  • [4] An Algorithmic Approach to Global Asymptotic Stability Verification of Hybrid Systems
    Prabhakar, Pavithra
    Garcia Soto, Miriam
    2016 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2016,
  • [5] Constraints for continuous reachability in the verification of hybrid systems
    Ratschan, Stefan
    She, Zhikun
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2006, 4120 : 196 - 210
  • [6] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    HALBWACHS, N
    HENZINGER, TA
    HO, PH
    NICOLLIN, X
    OLIVERO, A
    SIFAKIS, J
    YOVINE, S
    THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) : 3 - 34
  • [7] Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification
    de Alfaro, L
    Kapur, A
    Manna, Z
    STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 153 - 164
  • [8] Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
    Sogokon, Andrew
    Jackson, Paul B.
    FM 2015: FORMAL METHODS, 2015, 9109 : 514 - 531
  • [9] Algorithmic analysis of nonlinear hybrid systems
    Henzinger, TA
    Ho, PH
    Wong-Toi, H
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 540 - 554
  • [10] Algorithmic analysis of nonlinear hybrid systems
    Henzinger, TA
    Ho, PH
    COMPUTER AIDED VERIFICATION, 1995, 939 : 225 - 238
12345