SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems
A series of sufficient conditions for proving forward invariance in continuous dynamical systems are presented. The conditions are based on Nagumo's Theorem, and their applicability, computability, and robustness are demonstrated through a series of examples.
Authors
- Michael Livesay (ORCID: https://orcid.org/0000-0002-2594-3772)
- Blake C. Rawlings (ORCID: https://orcid.org/0000-0002-2668-3693)
Institutions
- Sandia National Laboratories California (US)
- Sandia National Laboratories (US)
Publication Details
- Published
- 2025-05-06
- DOI
- https://doi.org/10.1145/3716863.3725205
- Primary Topic
- Numerical methods for differential equations
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- U.S. Department of Energy
- National Nuclear Security Administration
- Sandia National Laboratories