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 条
  • [1] The theory of hybrid automata
    Henzinger, TA
    VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 265 - 292
  • [2] automata, a Hybrid system for computational automata theory
    Sutner, K
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2003, 2608 : 221 - 227
  • [3] Approximate Equivalence of the Hybrid Automata with Taylor Theory
    He, Anping
    Wu, Jinzhao
    Yang, Shihan
    Tan, Hongyan
    JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [4] STUDY OF ANALOG DIGITAL AND HYBRID COMPUTERS USING AUTOMATA THEORY
    DEBACKER, W
    VERBEEK, L
    ICC BULLETIN, 1966, 5 (04): : 215 - &
  • [5] (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
  • [6] 2-by-n hybrid cellular automata with regular configuration:: Theory and application
    Cattell, K
    Zhang, SJ
    Serra, M
    Muzio, JC
    IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (03) : 285 - 295
  • [7] Hybrid Automata as Coalgebras
    Neves, Renato
    Barbosa, Luis S.
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 385 - 402
  • [8] Semismooth hybrid automata
    Yunt, Mehmet
    Barton, Paul I.
    2006 IEEE CONFERENCE ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, VOLS 1 AND 2, 2006, : 336 - 341
  • [9] Hybrid Interface Automata
    Zhang, Yan
    Zhang, Tian
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 624 - 633
  • [10] On transfinite hybrid automata
    Nakamura, K
    Fusaoka, A
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 495 - 510
12345