Browsing Electrical and Computer Engineering by Supervisor "Rayside, Derek"
Now showing items 1-9 of 9
-
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 ... -
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. ... -
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 ...