Event Listing

15 MAR 2023
@ 10:00 am
Seminar
PRECISE's Safe Autonomy Seminar: Autonomous Driving under Adverse Weather Conditions - Sensor Performance and Perception Enhancement
The goal of autonomous driving systems (ADS) research is to give safer and economical mobility options. However, the operational design domains (ODD) of state-of-the-art ADS constraints the deployment under sunny to cloudy conditions. The weather phenomena impair the… Read more
29 NOV 2022
@ 1:30 pm
Seminar
PRECISE's Safe Autonomy Seminar: Hardware-Software Interface for Neuromorphic Computers
Neuromorphic computers are emerging computing systems that operate on the principles of the central nervous system. They implement neurons and synapses in hardware, supporting biology-inspired synaptic… Read more
17 NOV 2022
@ 10:15 am
Seminar
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
Seminar
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
Seminar
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
Seminar
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
Seminar
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
Seminar
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
Seminar
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
Seminar
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