Photo of Xiali (Sharon) Hei
Xiali (Sharon) Hei
PRECISE Seminar: Investigate and Mitigate the Attacks Caused by Out-of-Band Signals
September 30, 2022

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 pressure/temperature/motion sensing are extensively used in conventional systems and rapidly emerging applications. This talk aims to investigate the threats incurred by the out-of-band signals and discuss the low-cost defense methods against physical injection attacks on sensors. Dr. Hei will present the results from…

Photo of Amanda Watson
Amanda Watson
PostDoc Candidate Talk: Wearable Technology for Healthcare and Athletic Performance
February 28, 2020

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 need for video analysis and making skill development automated and portable.  These advances have also opened up a market of intelligent feedback systems that provide quality insights directly to the user. This presentation focuses on how I advance research in healthcare and athletic performance by designing wearable…

Souradeep Dutta photo
Souradeep Dutta
PostDoc Candidate Talk: Sherlock - A Tool For Verification Of Neural Network Feedback Systems
February 27, 2020

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 presenting  an approach for verification of neural network controllers for closed loop dynamical systems.  Given a neural network and a set of possible inputs to the network described by polyhedral constraints, the aim would be to compute a safe over-approximation of the set of possible output values.  I would present…

Justin Bradley's profile photo
Justin Bradley, Ph.D.
PRECISE Seminar: Co-Regulation of Cyber and Physical Resources in Controllers for Single- and Multi-Agent Unmanned Aircraft Systems
February 26, 2020

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 for worst-case anticipated conditions despite the dynamic environment in which it operates. To address this, I have developed a strategy for co-designing single and multi-agent controllers that co-regulate cyber and physical effectors corresponding to system needs and performance. Single-agent controllers dynamically…

Photo of Taisa Sima Kushner
Taisa Sima Kushner
PostDoc Candidate Talk: Data-Driven Modeling and Verification for Artificial Pancreas Systems
February 11, 2020

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 one-sided control problem, able to dose insulin to decrease blood glucose levels, but unable to counteract the effects of too high a dose. Additionally, safety is critical: too high a dose leading to long-term organ damage, coma, and potentially death to an individual. Thus, the need to test and formally guarantee the…