

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…
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…
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…
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…
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…