Browsing University of Waterloo by Supervisor "Rayside, Derek"
Now showing items 1-11 of 11
-
Debugging Relational Declarative Models with Discriminating Examples
(University of Waterloo, 2017-02-01)Models, especially those with mathematical or logical foundations, have proven valuable to engineering practice in a wide range of disciplines, including software engineering. Models, sometimes also referred to as logical ... -
Environment Modeling, Action Classification, and Control for Urban Automated Driving
(University of Waterloo, 2022-12-23)This thesis discusses the design and implementation of WATonomous' Automated Driving Stack (ADS), which is capable of performing robo-taxi services in specific operational domains when deployed to WATonomous' research ... -
Expanding the Microfluidic Design Automation Capabilities of Manifold: Electrophoretic Cross and Time-Domain Simulation
(University of Waterloo, 2019-09-19)Lab-on-a-chip devices are finding applications in several different fields, from point-of-care diagnostics to genome sequencing. However, lab-on-a-chip is a multidimensional field that makes it difficult for designers to ... -
Exploring Microfluidic Design Automation: Thin-wall Membrane Regulator
(University of Waterloo, 2017-05-19)Microfluidics and lab-on-a-chip are a growing technology, influential in many areas of engineering. This project focuses on the necessity for better computer aided design tools for this area. Specifically, it focuses on ... -
Measuring and Visualizing Integrated Project Interface Status
(University of Waterloo, 2020-04-14)The overall goal of this thesis is to develop and validate ways to effectively measure and visualize integrated project interface status in terms of interface health, workload, and engineering progress. Collaboration, ... -
Predictive Runtime Verification of Stochastic Systems
(University of Waterloo, 2019-08-13)Runtime Verification (RV) is the formal analysis of the execution of a system against some properties at runtime. RV is particularly useful for stochastic systems that have a non-zero probability of failure at runtime. ... -
Simultaneous Local Motion Planning and Control, Adjustable Driving Behavior, and Obstacle Representation for Autonomous Driving
(University of Waterloo, 2020-10-08)The evolving autonomous driving technology has been attracting significant research efforts in both academia and industry because of its promising potentials. Eliminating the human intervention in driving will drastically ... -
A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation
(University of Waterloo, 2016-05-11)Microfluidic circuits are currently designed by hand, using a combination of the designer’s domain knowledge and educated intuition to determine unknown design parameters. As no microfluidic circuit design software exists ... -
Towards Learning Feasible Hierarchical Decision-Making Policies in Urban Autonomous Driving
(University of Waterloo, 2022-09-29)Modern learning-based algorithms, powered by advanced deep structured neural nets, have multifacetedly facilitated automated driving platforms, spanning from scene characterization and perception to low-level control and ... -
Towards Microfluidic Design Automation
(University of Waterloo, 2016-01-25)Microfluidic chips, lab-on-a-chip devices that have channels transporting liquids instead of wires carrying electrons, have attracted considerable attention recently from the bio-medical industry because of their application ... -
Virtual Assistant Design for Water Systems Operation
(University of Waterloo, 2020-01-23)Water management systems such as wastewater treatment plants and water distributions systems are big systems which include a multitude of variables and performance indicators that drive the decision making process for ...