Research

Papers

Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
{Andreas Gittis, Eric Vin} *, Daniel Fremont
CAV 2022, (34th International Conference on Computer-Aided Verification)
Conference Paper
* The two first authors contributed equally to the paper.
A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings
Sachin Rangarajan, Young Lee, Vinith Johnson, Kaelan Schorger, Hanmin Lee, Dung Nguyen, Mohammad H. Behfar, Elina Jansson, Jari Rekila, Jussi Hiltunen, Eric Vin, Katia Obraczka
PerCom 2022, (IEEE International Conference on Pervasive Computing and Communications)
WIP Paper
Labelled Control Improvisation
Eric Vin (Advised by Daniel Fremont)
University of California Santa Cruz 2021
Bachelor's Thesis
An IoT System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
Sam Mansfield, Eric Vin, Katia Obraczka
ICDH 2021, (IEEE International Conference on Digital Health)
Conference Paper
An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
Sam Mansfield, Eric Vin, Katia Obraczka
DCOSS 2021, (IEEE International Conference on Distributed Computing in Sensor Systems)
Poster Paper
Note: Extended in conference paper above.

Projects and Tools

Control Improvisation Toolkit
A Python 3 library containing tools to create and solve instances of the Control Improvisation problem and its extensions.