Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations
This thesis explores automating the qualitative analysis of physical systems. Scientists and engineers model many physical systems with ordinary differential equations. They deduce the behavior of the system by analyzing the equations. Most realistic models are nonlinear, hence difficult or impos...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149672 |
| Summary: | This thesis explores automating the qualitative analysis of physical systems. Scientists and engineers model many physical systems with ordinary differential equations. They deduce the behavior of the system by analyzing the equations. Most realistic models are nonlinear, hence difficult or impossible to solve explicitly. |
|---|