**Contact Info**

Department of Applied Mathematics

University of Waterloo

Waterloo, Ontario

Canada N2L 3G1

Phone: 519-888-4567, ext. 32700

Fax: 519-746-4319

PDF files require Adobe Acrobat Reader

Friday, December 1, 2023 2:30 PM EST

MC 6460 and MS Teams (please email amgrad@uwaterloo.ca for the meeting link)

Max Fitzsimmons | Applied Mathematics, University of Waterloo

Properties of difference inclusions with computable reachable set

Dynamical systems have important applications in science and engineering. For example, if a dynamical system describes the motion of a drone, it is important to know if the drone can reach a desired location; the dual problem of safety is also important: if an area is unsafe, it is important to know that the drone cannot reach the unsafe area. These types of problems fall under the area of reachability analysis and are important problems to solve whenever something is moving.

Computer algorithms have been used to solve these reachability problems. These algorithms are primarily viewed from a numerical simulation perspective, where guarantees about the dynamical system are made only in the short-term (i.e. on a finite time horizon). Yet, the important properties of dynamical systems often arise from their long-term (asymptotic) behaviours. Furthermore, in sensitive applications it may be important to determine if the system is provably safe or unsafe instead of approximately safe or unsafe. The theory of computation (or computability theory) can be used to investigate whether computer algorithms can determine weather a dynamical system is provably safe. Computability theory, broadly speaking, is a field of computer science that studies what kind of problems a computer can solve (or cannot solve).

For difference inclusions, a characterization of when the reachable set is computable was found by Pieter Collins. Difference inclusions, are one way of modelling discrete time dynamical systems with control. This thesis is an investigation into this characterization. Broadly, it is argued that this characterization is far to restrictive on the dynamical system to be of general practical use. For example, a continuous function f which maps the real line to itself, has a computable reachable set if and only if there is a metric d on the real line (which is equivalent to the standard metric) for which f is a contraction map with respect to d.

Event tags

**Contact Info**

Department of Applied Mathematics

University of Waterloo

Waterloo, Ontario

Canada N2L 3G1

Phone: 519-888-4567, ext. 32700

Fax: 519-746-4319

PDF files require Adobe Acrobat Reader

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1

The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is co-ordinated within the Office of Indigenous Relations.