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 条
  • [31] Hybrid extended finite automata
    Bordihn, Henning
    Holzer, Markus
    Kutrib, Martin
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2007, 18 (04) : 745 - 760
  • [32] Hybrid I/O automata
    Lynch, N.
    Segala, R.
    Vaandrager, F.
    Weinberg, H.B.
    Lecture Notes in Computer Science, 1996, 1066
  • [33] Implementation of hybrid automata in scicos
    Najafi, Masoud
    Nikoukhah, Ramine
    PROCEEDINGS OF THE 2007 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-3, 2007, : 220 - 225
  • [34] Denotational semantics of hybrid automata
    Edalat, Abbas
    Pattinson, Dirk
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 3 - 21
  • [35] Diagnosability verification for hybrid automata
    Di Benedetto, Maria Domenica
    Di Germaro, Stefano
    D'Innocenzo, Alessandro
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 684 - +
  • [36] Polyhedral Flows in Hybrid Automata
    Rajeev Alur
    Sampath Kannan
    Salvatore La Torre
    Formal Methods in System Design, 2004, 24 : 261 - 280
  • [37] Denotational semantics of hybrid automata
    Edalat, A
    Pattinson, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 231 - 245
  • [38] On the regularization of Zeno hybrid automata
    Johansson, KH
    Egerstedt, M
    Lygeros, J
    Sastry, S
    SYSTEMS & CONTROL LETTERS, 1999, 38 (03) : 141 - 150
  • [39] Hybrid extended finite automata
    Bordihn, Henning
    Holzer, Markus
    Kutrib, Martin
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 34 - 45
  • [40] Discrete Semantics for Hybrid Automata
    Casagrande, Alberto
    Piazza, Carla
    Policriti, Alberto
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (04): : 471 - 493
12345