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...

Full description

Bibliographic Details
Main Author: Sacks, Elisha, Peretz
Other Authors: Sussman, Gerald Jay
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149672