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…

Profile photo of Nathan Lazarus
Nathan Lazarus, Ph.D.
PRECISE Seminar: Creating a Soft and Stretchable Wireless Power System
November 26, 2019

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 transfer of power and data signals, with physical wiring easily pulled out or damaged.  In my talk, I will be discussing all aspects of creating inductors and power circuits for wireless power transfer to stretchable systems.  I will focus on the use of room temperature liquid metals and stretchable magnetic materials to…