Hybrid cc, hybrid automata, and program verification

被引：0
|
作者：
Gupta, V.
Jagadeesan, R.
Saraswat, V.
机构：
来源：
Lecture Notes in Computer Science | / 1066卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Reachability verification for hybrid automata
    Henzinger, TA
    Rusu, V
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 190 - 204
  • [2] Diagnosability verification for hybrid automata
    Di Benedetto, Maria Domenica
    Di Germaro, Stefano
    D'Innocenzo, Alessandro
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 684 - +
  • [3] (Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program
    Bortolussi, Luca
    Policriti, Alberto
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (04) : 761 - 798
  • [4] Hybrid automata: from verification to implementation
    Bak, Stanley
    Beg, Omar Ali
    Bogomolov, Sergiy
    Johnson, Taylor T.
    Luan Viet Nguyen
    Schilling, Christian
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (01) : 87 - 104
  • [5] Verification of rectangular hybrid automata models
    Kotini, Isabella
    Hassapis, George
    JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) : 1433 - 1443
  • [6] Hybrid automata: from verification to implementation
    Stanley Bak
    Omar Ali Beg
    Sergiy Bogomolov
    Taylor T. Johnson
    Luan Viet Nguyen
    Christian Schilling
    International Journal on Software Tools for Technology Transfer, 2019, 21 : 87 - 104
  • [7] Verification of Hybrid Automata Diagnosability by Abstraction
    Di Benedetto, Maria D.
    Di Gennaro, Stefano
    D'Innocenzo, Alessandro
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (09) : 2050 - 2061
  • [8] Diagnosability verification for hybrid automata and durational graphs
    Di Benedetto, M. D.
    Di Gennaro, S.
    D'Innocenzo, A.
    PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 6322 - 6327
  • [9] Verification of Bounded Discrete Horizon Hybrid Automata
    Vladimerou, Vladimeros
    Prabhakar, Pavithra
    Viswanathan, Mahesh
    Dullerud, Geir
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (06) : 1445 - 1455
  • [10] Verification and Control of Probabilistic Rectangular Hybrid Automata
    Sproston, Jeremy
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 1 - 9
12345