Stability Verification is a formal method within hybrid systems verification that establishes the boundedness and convergence properties of system trajectories by rigorously proving that equilibrium points remain stable under both continuous dynamics and discrete transitions.
180
Publications
6.4K
Citations
404
Authors
225
Institutions
Publications per year
2017–2026
49
Parents
Publications
180
1–5 of 180
Authors
404
- ML
6
h-index
- SM
5
h-index
- AD
4
h-index
- LS
4
h-index
- SH
3
h-index
1–5 of 404
Institutions
225
Eindhoven University of Technology
Eindhoven, The Netherlands
8 h-index
11 publications
278 citations
University of California, Berkeley
Berkeley, United States
7 h-index
13 publications
1.2K citations
University of Illinois Urbana-Champaign
Urbana, United States
6 h-index
11 publications
252 citations
California Institute of Technology
Pasadena, United States
6 h-index
9 publications
701 citations
The University of Melbourne
Melbourne, Australia
5 h-index
9 publications
149 citations
Centre National de la Recherche Scientifique
Paris, France
5 h-index
8 publications
165 citations
University of Colorado Boulder
Boulder, United States
4 h-index
7 publications
382 citations
Technical University of Munich
Munich, Germany
4 h-index
4 publications
95 citations
1–8 of 225
Venues
- IEEE Transactions on Automatic Control
18 publications · 1.1K citations
15
h-index
- Automatica
8 publications · 183 citations
8
h-index
- Nonlinear Analysis Hybrid Systems
5 publications · 129 citations
5
h-index
- International Journal of Control
4 publications · 233 citations
4
h-index
- Journal of Mathematical Analysis and Applications
4 publications · 242 citations
4
h-index
1–5