Differential Invariants

Differential Invariants is a formal method in hybrid systems verification that constitutes a logical technique for deducing sets of states invariant under the continuous dynamics of a system, enabling the sound reasoning about differential equations within a discrete-continuous state transition framework.

359

Publications

22.1K

Citations

516

Authors

325

Institutions

Publications per year

2017–2026

34

Authors

516

  1. PJ
    Peter J. Olver

    University of Minnesota, United States

    11 publications · 463 citations

    10

    h-index

  2. HR
    Harry R. Lewis

    Los Alamos National Laboratory, United States

    7 publications · 982 citations

    7

    h-index

  3. GM
    Gloria Marı́ Beffa

    University of Wisconsin–Madison, United States

    6 publications · 142 citations

    6

    h-index

  4. VG
    Valérie Gouet

    Orange (France), France

    5 publications · 194 citations

    5

    h-index

  5. TT
    Thang T. Q. Lê

    Georgia Institute of Technology, United States

    5 publications · 142 citations

    5

    h-index

1–5 of 516

Venues

  1. ArXiv.org

    Repository · 14 publications · 372 citations

    13

    h-index

  2. Journal of Mathematical Physics

    14 publications · 1.2K citations

    12

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 11 publications · 336 citations

    11

    h-index

  4. arXiv (Cornell University)

    Repository · 12 publications · 277 citations

    11

    h-index

  5. Journal of Physics A Mathematical and General

    7 publications · 242 citations

    7

    h-index

1–5