State equivalences for rectangular hybrid automata

被引：0
|
作者：
机构：
来源：
Lecture Notes in Computer Science | / 1119卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Lazy rectangular hybrid automata
    Agrawal, M
    Thiagarajan, PS
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 1 - 15
  • [2] Verification of rectangular hybrid automata models
    Kotini, Isabella
    Hassapis, George
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (10) : 1433 - 1443
  • [3] Supervisory control for rectangular hybrid automata
    Spathopoulos, MP
    [J]. PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2000, : 35 - 41
  • [4] Verification and Control of Probabilistic Rectangular Hybrid Automata
    Sproston, Jeremy
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 1 - 9
  • [5] Monitoring of dynamic processes by rectangular hybrid automata
    Karoui, Mohamed Fathi
    Alla, Hassane
    Chatti, Abderrazak
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2010, 4 (04) : 766 - 774
  • [6] Hybrid automata-based CEGAR for rectangular hybrid systems
    Pavithra Prabhakar
    Parasara Sridhar Duggirala
    Sayan Mitra
    Mahesh Viswanathan
    [J]. Formal Methods in System Design, 2015, 46 : 105 - 134
  • [7] Hybrid automata-based CEGAR for rectangular hybrid systems
    Prabhakar, Pavithra
    Duggirala, Parasara Sridhar
    Mitra, Sayan
    Viswanathan, Mahesh
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2015, 46 (02) : 105 - 134
  • [8] Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
    Prabhakar, Pavithra
    Duggirala, Parasara Sridhar
    Mitra, Sayan
    Viswanathan, Mahesh
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 48 - 67
  • [9] A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
    Kucera, A
    Mayr, R
    [J]. EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS, 2004, 155 : 395 - 408
  • [10] A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
    Kucera, Antonin
    Mayr, Richard
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2018, 91 : 82 - 103
12345