Event Listing

17 NOV 2022
@ 10:15 am
PRECISE's Safe Autonomy Seminar: MCUNet: Tiny Deep Learning on IoT Devices
Machine learning on tiny IoT devices based on microcontroller units (MCU) is appealing but challenging: the memory of microcontrollers is 2-3 orders of magnitude smaller even than mobile phones. I’ll present the … Read more
21 OCT 2022
@ 1:00 pm
PRECISE's Safe Autonomy Seminar: Routing with Privacy for drone package delivery systems
Uncrewed aerial vehicles (UAVs), or drones, are increasingly being used to deliver goods from vendors to customers. To safely conduct these operations at scale, drones are required to broadcast position information as codified in remote identification (remote ID) regulations… Read more
18 OCT 2022
@ 1:30 pm
PRECISE's Safe Autonomy Seminar: Towards Verifiable Machine Learning
Machine learning models are increasingly being incorporated into real-world systems, targeting domains such as robotics, healthcare, and software systems. A key challenge is ensuring that such systems are trustworthy. I will describe two strategies for verifying correctness… Read more
11 OCT 2022
@ 2:00 pm
PRECISE's Safe Autonomy Seminar: Provably-Correct Neurosymbolic Controllers for Autonomous Cyber-Physical Systems
While conventional reinforcement learning focuses on designing agents that can perform one task, meta-learning aims, instead, to solve the problem of designing agents that can generalize to different tasks (e.g., environments, obstacles, and goals) that were not considered… Read more
30 SEP 2022
@ 12:00 pm
PRECISE Seminar: Investigate and Mitigate the Attacks Caused by Out-of-Band Signals
Sensing and actuation systems are entrusted with increasing intelligence to perceive the environment and react to it. Their reliability often relies on the trustworthiness of sensors. As process automation and robotics keep evolving, sensing methods such as… Read more
28 FEB 2020
@ 12:00 pm
PostDoc Candidate Talk: Wearable Technology for Healthcare and Athletic Performance
Traditionally, in healthcare, records are kept with pencil and paper. Now we have healthcare IT, and with the introduction of wearable technology, we can automatically record health data in clinical settings and at a patient’s home. In sport, wearable devices are removing the… Read more
27 FEB 2020
@ 10:30 am
PostDoc Candidate Talk: Sherlock - A Tool For Verification Of Neural Network Feedback Systems
Neural networks have become ubiquitous when it comes to learning enabled cyber-physical systems, like autonomous cars and closed loop medical devices.  Such safety critical applications, lead to a compelling use case for formal verification approaches.  In this talk I will be… Read more
26 FEB 2020
@ 11:00 am
PRECISE Seminar: Co-Regulation of Cyber and Physical Resources in Controllers for Single- and Multi-Agent Unmanned Aircraft Systems
Onboard resources continue to be stretched to maximize performance while accommodating more advanced algorithms. Computation, communication, and control resources must be carefully allocated to achieve mission objectives. Traditionally, this allocation is fixed and designed… Read more
11 FEB 2020
@ 10:30 am
PostDoc Candidate Talk: Data-Driven Modeling and Verification for Artificial Pancreas Systems
Artificial Pancreas (AP) systems refer to a set of increasingly closed-loop biomedical devices which seek to automate blood glucose regulation in individuals with type-1 diabetes mellitus (T1DM). While incredibly promising for the treatment of T1DM, these systems present a… Read more
26 NOV 2019
@ 3:00 pm
PRECISE Seminar: Creating a Soft and Stretchable Wireless Power System
Soft biomaterials such as human skin have very different mechanical properties from conventional electronics, requiring unusual materials and geometries to match the behavior of the skin.  One of the biggest challenges in stretchable electronics is the… Read more