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 |
| _version_ | 1826192415254380544 |
|---|---|
| author | Sacks, Elisha, Peretz |
| author2 | Sussman, Gerald Jay |
| author_facet | Sussman, Gerald Jay Sacks, Elisha, Peretz |
| author_sort | Sacks, Elisha, Peretz |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T09:12:08Z |
| id | mit-1721.1/149672 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T09:12:08Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1496722023-03-30T04:12:55Z Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations Sacks, Elisha, Peretz Sussman, Gerald Jay Patil, Ramesh 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. 2023-03-29T15:15:54Z 2023-03-29T15:15:54Z 1988-03 https://hdl.handle.net/1721.1/149672 18432044 MIT-LCS-TR-416 application/pdf |
| spellingShingle | Sacks, Elisha, Peretz Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations |
| title | Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations |
| title_full | Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations |
| title_fullStr | Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations |
| title_full_unstemmed | Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations |
| title_short | Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations |
| title_sort | automatic qualitative analysis of ordinary differential equations using piecewise linear approximations |
| url | https://hdl.handle.net/1721.1/149672 |
| work_keys_str_mv | AT sackselishaperetz automaticqualitativeanalysisofordinarydifferentialequationsusingpiecewiselinearapproximations |