Concepedia

Hybrid Reachability

Hybrid Reachability is a formal method in hybrid systems verification that characterizes the set of states reachable by continuous evolution and discrete transitions over time, distinguishing it from purely discrete or continuous reachability through its integrated modeling of mixed dynamical behavior.

60

Publications

3.3K

Citations

141

Authors

97

Institutions

Publications per year

2017–2026

11

Parents

Publications

60

Controllers for reachability specifications for hybrid systems

John Lygeros, Claire J. Tomlin, Shankar Sastry · Automatica · 1999 · 610 citations

, , +14

Verisig

Radoslav Ivanov, James Weimer, Rajeev Alur et al. · 2019 · 219 citations

, , +17

Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes

Matthias Althoff, Olaf Stursberg, Martin Buss · Nonlinear Analysis Hybrid Systems · 2009 · 184 citations · Full text

, , +8

Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem

Sean Summers, John Lygeros · Automatica · 2010 · 165 citations

, , +14

Lecture Notes on Hybrid Systems

John Lygeros · 2004 · 150 citations

, , +15

1–5 of 60

Authors

141

  1. JL
    John Lygeros

    ETH Zurich, Switzerland

    5 publications · 962 citations

    5

    h-index

  2. GF
    Goran Frehse

    Université Grenoble Alpes, France

    4 publications · 118 citations

    4

    h-index

  3. PC
    Pieter Collins

    Centrum Wiskunde & Informatica, Netherlands

    4 publications · 116 citations

    4

    h-index

  4. CJ
    Claire J. Tomlin

    University of California, Berkeley, United States

    4 publications · 827 citations

    4

    h-index

  5. TD
    Thao Dang

    Verimag, France

    3 publications · 46 citations

    3

    h-index

1–5 of 141

Institutions

97

  1. University of California, Berkeley

    Berkeley, United States

    7 h-index

    16 publications

    2.5K citations

  2. Verimag

    Gières, France

    7 h-index

    11 publications

    327 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    12 publications

    276 citations

  4. Université Grenoble Alpes

    Saint-Martin-d'Hères, France

    5 h-index

    7 publications

    264 citations

  5. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    3 h-index

    4 publications

    83 citations

  6. University of Patras

    Pátrai, Greece

    3 h-index

    4 publications

    204 citations

  7. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    2 h-index

    5 publications

    85 citations

  8. Purdue University West Lafayette

    West Lafayette, United States

    2 h-index

    2 publications

    82 citations

1–8 of 97

Venues

  1. IEEE Transactions on Automatic Control

    3 publications · 138 citations

    3

    h-index

  2. 3

    h-index

  3. IFAC Proceedings Volumes

    3 publications · 86 citations

    3

    h-index

  4. Nonlinear Analysis Hybrid Systems

    3 publications · 263 citations

    3

    h-index

  5. Automatica

    2 publications · 775 citations

    2

    h-index

1–5