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 条
  • [21] Polyhedral flows in hybrid automata
    Alur, R
    Kannan, S
    La Torre, S
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1999, 1569 : 5 - 18
  • [22] A composition of open hybrid automata
    Kolesov, YB
    Senichenkov, YB
    IEEE REGION 8 EUROCON 2003, VOL B, PROCEEDINGS: COMPUTER AS A TOOL, 2003, : 327 - 331
  • [23] Reachability Problems for Hybrid Automata
    Raskin, Jean-Francois
    REACHABILITY PROBLEMS, 2011, 6945 : 28 - 30
  • [24] Reachability verification for hybrid automata
    Henzinger, TA
    Rusu, V
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 190 - 204
  • [25] Continuity and invariance in hybrid automata
    Lygeros, J
    Johansson, KH
    Simic, SN
    Zhang, J
    Sastry, S
    PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 340 - 345
  • [26] Timed and Hybrid Automata in SAL
    Suman, P. Vijay
    Pandya, Paritosh K.
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 480 - 486
  • [27] Observability of hybrid automata by abstraction
    D'Innocenzo, A.
    Di Benedetto, M. D.
    Di Gennaro, S.
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 169 - +
  • [28] Discreteness, hybrid automata, and biology
    Casagrande, Alberto
    Piazza, Carla
    Policriti, Alberto
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 281 - +
  • [29] Continuity controlled hybrid automata
    Bergstra, JA
    Middelburg, CA
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 68 (1-2): : 5 - 53
  • [30] Inclusion dynamics hybrid automata
    Casagrande, Alberto
    Piazza, Carla
    Policriti, Alberto
    Mishra, Bud
    INFORMATION AND COMPUTATION, 2008, 206 (12) : 1394 - 1424
12345