Revisiting reachability in Polynomial Interrupt Timed Automata

被引：0
|
作者：
Bérard, Béatrice [1 ]
Haddad, Serge [2 ]
机构：
[1] Sorbonne Université, CNRS, LIP6, Paris,F-75005, France
[2] LSV, ENS Paris-Saclay, CNRS, Inria, Université Paris, Saclay, France
来源：
Information Processing Letters | 2022年 / 174卷
关键词：
14;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Checking reachability properties for timed automata via SAT
    Wozna, B
    Zbrzezny, A
    Penczek, W
    FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 223 - 241
  • [32] Lazy Reachability Checking for Timed Automata Using Interpolants
    Toth, Tamas
    Majzik, Istvan
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017), 2017, 10419 : 264 - 280
  • [33] Improving Search Order for Reachability Testing in Timed Automata
    Herbreteau, Frederic
    Thanh-Tung Tran
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 124 - 139
  • [34] Reachability analysis for timed automata using partitioning algorithms
    Pólrola, A
    Penczek, W
    Szreter, M
    FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 203 - 221
  • [35] Reachability results for timed automata with unbounded data structures
    Lanotte, Ruggero
    Maggiolo-Schettini, Andrea
    Troina, Angelo
    ACTA INFORMATICA, 2010, 47 (5-6) : 279 - 311
  • [36] Backward Symbolic Optimal Reachability in Weighted Timed Automata
    Parrot, Remi
    Lime, Didier
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020, 2020, 12288 : 41 - 57
  • [37] Reachability Preservation Based Parameter Synthesis for Timed Automata
    Andre, Etienne
    Lipari, Giuseppe
    Hoang Gia Nguyen
    Sun, Youcheng
    NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 50 - 65
  • [38] Model checking via reachability testing for timed automata
    Aceto, L
    Burgueno, A
    Larsen, KG
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 263 - 280
  • [39] Optimal reachability for multi-priced timed automata
    Larsen, Kim Guldstrand
    Rasmussen, Jacob Blum
    THEORETICAL COMPUTER SCIENCE, 2008, 390 (2-3) : 197 - 213
  • [40] Control synthesis for parametric timed automata under reachability
    Gol, Ebru A. Y. D. I. N.
    TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2021, 29 (03) : 1751 - 1764
12345