{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/150134"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/150134","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Mathematical Tools for Discontinuous Dynamical Systems","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Billingsley, Matthew Ryan"],"institution":"Massachusetts Institute of Technology","degree_name":"Doctoral","degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Chemical Engineering","school":null,"contributors":[],"advisors":["Barton, Paul I."],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-02","date_published":"2023-02","updated_at":"2026-07-22T22:22:13Z","subjects":[],"languages":[],"rights":["In Copyright - Educational Use Permitted","Copyright MIT"],"rights_urls":["http://rightsstatements.org/page/InC-EDU/1.0/"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1721.1/150134","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Barton, Paul I."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Chemical Engineering"]},{"key":"dc:creator","label":"Author","values":["Billingsley, Matthew Ryan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2023-03-31T14:34:49Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2023-03-31T14:34:49Z"]},{"key":"dc:date.issued","label":"Date","values":["2023-02"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctoral","Doctor of Philosophy"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["In Copyright - Educational Use Permitted","Copyright MIT"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/page/InC-EDU/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1721.1/150134"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:title","label":"Title","values":["Mathematical Tools for Discontinuous Dynamical Systems"]}]}],"canonical_facts":{"dc:contributor.advisor":["Barton, Paul I."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Chemical Engineering"],"dc:creator":["Billingsley, Matthew Ryan"],"dc:date.accessioned":["2023-03-31T14:34:49Z"],"dc:date.available":["2023-03-31T14:34:49Z"],"dc:date.issued":["2023-02"],"dc:description.abstract":["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."],"dc:description.degree":["Ph.D."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/150134"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["In Copyright - Educational Use Permitted","Copyright MIT"],"dc:rights.uri":["http://rightsstatements.org/page/InC-EDU/1.0/"],"dc:title":["Mathematical Tools for Discontinuous Dynamical Systems"],"dc:type":["Thesis"],"thesis:degree_name":["Doctoral","Doctor of Philosophy"]},"updated_at":"2026-07-22T22:22:13Z"}