Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
CAV 2022, (34th International Conference on Computer-Aided Verification)
* The two first authors contributed equally to the paper.
A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings
PerCom 2022, (IEEE International Conference on Pervasive Computing and Communications)
Labelled Control Improvisation
University of California Santa Cruz 2021
An IoT System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
ICDH 2021, (IEEE International Conference on Digital Health)
An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
DCOSS 2021, (IEEE International Conference on Distributed Computing in Sensor Systems)
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.