Mathematical Tools for Discontinuous Dynamical Systems
Nonsmooth equations and discontinuous dynamical systems can be used to model systems in a variety of applications, including modeling of certain physical systems and optimization problems. However, theoretical results are somewhat limited for these classes of problems, restricting their use in pract...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Published: |
Massachusetts Institute of Technology
2023
|
| Online Access: | https://hdl.handle.net/1721.1/150134 |
| _version_ | 1826212618027663360 |
|---|---|
| author | Billingsley, Matthew Ryan |
| author2 | Barton, Paul I. |
| author_facet | Barton, Paul I. Billingsley, Matthew Ryan |
| author_sort | Billingsley, Matthew Ryan |
| collection | MIT |
| description | Nonsmooth equations and discontinuous dynamical systems can be used to model systems in a variety of applications, including modeling of certain physical systems and optimization problems. However, theoretical results are somewhat limited for these classes of problems, restricting their use in practical applications. In order to develop the necessary theory, existing theoretical results for other nonsmooth systems can be extended to these important classes of problems.
In this thesis, theoretical results and software implementations are developed for certain classes of nonsmooth and discontinuous systems. A method for evaluating lexicographical directional derivatives of functional programs is developed, extending existing methods to programs containing conditional branches and loops. A software implementation of the theoretical results is also developed. Next, well-posedness and sensitivity results are established for a class of discontinuous ordinary differential equations, which are derived from overarching differential-algebraic equations using directional differentiation. Next, a new nonsmooth formulation of Hamiltonian dynamics for Hamiltonian systems with nonsmooth potential energy is developed, using lexicographic differentiation to derive a system of discontinuous differential equations, and theoretical results are developed. Using this nonsmooth formulation of Hamiltonian dynamics, a new Hamiltonian Monte Carlo method is developed for systems with nonsmooth target probability densities. A software implementation of this method has been developed in Julia. |
| first_indexed | 2024-09-23T15:30:06Z |
| format | Thesis |
| id | mit-1721.1/150134 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:30:06Z |
| publishDate | 2023 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/1501342023-04-01T03:09:10Z Mathematical Tools for Discontinuous Dynamical Systems Billingsley, Matthew Ryan Barton, Paul I. Massachusetts Institute of Technology. Department of Chemical Engineering Nonsmooth equations and discontinuous dynamical systems can be used to model systems in a variety of applications, including modeling of certain physical systems and optimization problems. However, theoretical results are somewhat limited for these classes of problems, restricting their use in practical applications. In order to develop the necessary theory, existing theoretical results for other nonsmooth systems can be extended to these important classes of problems. In this thesis, theoretical results and software implementations are developed for certain classes of nonsmooth and discontinuous systems. A method for evaluating lexicographical directional derivatives of functional programs is developed, extending existing methods to programs containing conditional branches and loops. A software implementation of the theoretical results is also developed. Next, well-posedness and sensitivity results are established for a class of discontinuous ordinary differential equations, which are derived from overarching differential-algebraic equations using directional differentiation. Next, a new nonsmooth formulation of Hamiltonian dynamics for Hamiltonian systems with nonsmooth potential energy is developed, using lexicographic differentiation to derive a system of discontinuous differential equations, and theoretical results are developed. Using this nonsmooth formulation of Hamiltonian dynamics, a new Hamiltonian Monte Carlo method is developed for systems with nonsmooth target probability densities. A software implementation of this method has been developed in Julia. Ph.D. 2023-03-31T14:34:49Z 2023-03-31T14:34:49Z 2023-02 2023-01-27T18:06:57.067Z Thesis https://hdl.handle.net/1721.1/150134 In Copyright - Educational Use Permitted Copyright MIT http://rightsstatements.org/page/InC-EDU/1.0/ application/pdf Massachusetts Institute of Technology |
| spellingShingle | Billingsley, Matthew Ryan Mathematical Tools for Discontinuous Dynamical Systems |
| title | Mathematical Tools for Discontinuous Dynamical Systems |
| title_full | Mathematical Tools for Discontinuous Dynamical Systems |
| title_fullStr | Mathematical Tools for Discontinuous Dynamical Systems |
| title_full_unstemmed | Mathematical Tools for Discontinuous Dynamical Systems |
| title_short | Mathematical Tools for Discontinuous Dynamical Systems |
| title_sort | mathematical tools for discontinuous dynamical systems |
| url | https://hdl.handle.net/1721.1/150134 |
| work_keys_str_mv | AT billingsleymatthewryan mathematicaltoolsfordiscontinuousdynamicalsystems |