The theory of hybrid automata

被引：859
|
作者：
Henzinger, TA [1 ]
机构：
[1] UNIV CALIF BERKELEY,BERKELEY,CA 94720
来源：
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/LICS.1996.561342
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：278 / 292
页数：15
相关论文
共 50 条
  • [41] Lazy rectangular hybrid automata
    Agrawal, M
    Thiagarajan, PS
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 1 - 15
  • [42] Polyhedral flows in hybrid automata
    Alur, R
    Kannan, S
    La Torre, S
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 24 (03) : 261 - 280
  • [43] Hybrid automata with finite bisimulations
    Henzinger, TA
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1995, 944 : 324 - 335
  • [44] Relating Chi to hybrid automata
    van Beek, B
    Jansen, NG
    Rooda, KE
    Schiffelers, RRH
    Man, KL
    Reniers, MA
    PROCEEDINGS OF THE 2003 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2003, : 632 - 640
  • [45] Towards Cancer Hybrid Automata
    Loohuis, Loes Olde
    Witzel, Andreas
    Mishra, Bud
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (92): : 137 - 151
  • [46] Hybrid I/O automata
    Lynch, N
    Segala, R
    Vaandrager, F
    INFORMATION AND COMPUTATION, 2003, 185 (01) : 105 - 157
  • [47] Hybrid tree automata and the yield theorem for constituent tree automata
    Drewes, Frank
    Moerbitz, Richard
    Vogler, Heiko
    THEORETICAL COMPUTER SCIENCE, 2023, 979
  • [48] Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata
    Drewes, Frank
    Moerbitz, Richard
    Vogler, Heiko
    IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2022), 2022, 13266 : 93 - 105
  • [49] Series of abstractions for hybrid automata
    Tiwari, A
    Khanna, G
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2002, 2289 : 465 - 478
  • [50] Dynamical properties of hybrid automata
    Lygeros, J
    Johansson, KH
    Simic, SN
    Zhang, J
    Sastry, SS
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (01) : 2 - 17
12345