Discrete Dynamics
Discrete Dynamics is a modeling construct in hybrid systems verification that captures state transitions occurring at distinct, isolated time points, distinguished from continuous dynamics by its reliance on abrupt, event-driven changes rather than evolution over infinitesimal time intervals.
586
Publications
27.5K
Citations
1.3K
Authors
657
Institutions
Publications per year
2017–2026
94
Parents
586
Sliding mode control of a discrete system
Katsuhisa Furuta · Systems & Control Letters · 1990 · 858 citations
Discrete abstractions of hybrid systems
Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere et al. · Proceedings of the IEEE · 2000 · 816 citations · Full text
1–5 of 586
1.3K
University of North Carolina at Chapel Hill, United States
10 publications · 875 citations
10
h-index
8
h-index
6
h-index
5
h-index
5
h-index
1–5 of 1.3K
657

Centre National de la Recherche Scientifique
Paris, France
16 h-index
42 publications
1.2K citations
University of North Carolina at Chapel Hill
Chapel Hill, United States
10 h-index
27 publications
1.6K citations

Harbin Institute of Technology
Harbin, China
9 h-index
19 publications
687 citations
University of Illinois Urbana-Champaign
Urbana, United States
9 h-index
15 publications
1.2K citations
Massachusetts Institute of Technology
Cambridge, United States
8 h-index
15 publications
1.3K citations
University of California, Berkeley
Berkeley, United States
8 h-index
16 publications
2K citations
Universitat Politècnica de Catalunya
Barcelona, Spain
7 h-index
22 publications
1.2K citations
Tsinghua University
Beijing, China
7 h-index
11 publications
404 citations
1–8 of 657
27 publications · 2.4K citations
23
h-index
12 publications · 357 citations
11
h-index
PRE · 9 publications · 969 citations
9
h-index
PRL · 8 publications · 533 citations
8
h-index
PRE · 7 publications · 362 citations
7
h-index
1–5