UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Applied Mathematics by Supervisor "Liu, Jun"
Now showing items 1-11 of 11
-
Bidirectional TopK Sparsification for Distributed Learning
(University of Waterloo, 2022-05-27)Training large neural networks requires a large amount of time. To speed up the process, distributed training is often used. One of the largest bottlenecks in distributed training is communicating gradients across different ... -
Bifurcation and Robust Control of Instabilities in the Presence of Uncertainties
(University of Waterloo, 2022-10-06)In real-world applications, nominal mathematical models that are used to describe the state behaviors of dynamical systems are usually less robust to deal with environmental disruptions. Uncertainties, such as imprecision ... -
Control of Non-deterministic Transition Systems for Linear Temporal Logic Specifications
(University of Waterloo, 2021-02-01)Consider the formal synthesis problem in the continuous dynamical systems. A systematic approach is the abstraction-based method: constructing an abstraction of the original continuous system in the discrete space, and ... -
Data-Driven Methods for System Identification and Lyapunov Stability
(University of Waterloo, 2023-01-27)This thesis focuses on data-driven methods applied to system identification and stability analysis of dynamical systems. In the first major contribution of the theorem we propose a learning framework to simultaneously ... -
Invariant manifold theory for impulsive functional differential equations with applications
(University of Waterloo, 2019-07-03)The primary contribution of this thesis is a development of invariant manifold theory for impulsive functional differential equations. We begin with an in-depth analysis of linear systems, immersed in a nonautonomous ... -
Kinodynamic Planning with μ-Calculus Specifications
(University of Waterloo, 2018-09-19)Motion planning problems involve determining appropriate control inputs to guide a system towards a desired endpoint. Sampling-based motion planning was developed as a technique for discretizing the state space of systems ... -
Model-based Reinforcement Learning of Nonlinear Dynamical Systems
(University of Waterloo, 2022-01-25)Model-based Reinforcement Learning (MBRL) techniques accelerate the learning task by employing a transition model to make predictions. In this dissertation, we present novel techniques for online learning of unknown dynamics ... -
On Enabling Layer-Parallelism for Graph Neural Networks using IMEX Integration
(University of Waterloo, 2024-06-20)Graph Neural Networks (GNNs) are a type of neural networks designed to perform machine learning tasks with graph data. Recently, there have been several works to train differential equation-inspired GNN architectures, ... -
Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems
(University of Waterloo, 2019-12-18)Modern systems such as spacecrafts and autonomous vehicles are complex yet safety-critical, and therefore the control methods that can deal with different dynamics and constraints while being provably correct are sought ... -
Safety-Critical Control for Dynamical Systems under Uncertainties
(University of Waterloo, 2024-02-15)Control barrier functions (CBFs) and higher-order control barrier functions (HOCBFs) have shown great success in addressing control problems with safety guarantees. These methods usually find the next safe control input ... -
Stability Analysis and Formally Guaranteed Tracking Control of Quadrotors
(University of Waterloo, 2024-06-19)Reach-avoid tasks are among the most common challenges in autonomous aerial vehicle (UAV) applications. Despite the significant progress made in the research of aerial vehicle control during recent decades, the task of ...