Medical Devices

Hybrid Automata Mining from Input/Output Traces of Cyber-Physical Systems

Co-Simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata

Smart needle systems: delivering drug or recovering tissue biopsies by steering through ultrasound tracking, force and shape sensing, image processing, control and manipulation

Soft Wearable Device to Aid in Hemiparetic Gait

System for Increased Control of Cochlear Implant

Inflatable Soft Actuator for Ankle-Foot Orthosis Exosuits

Encapsulation Strategy for Creating Engineered 3D Cellular Models

Model to Restore Degraded Speech

Systems and Methods for Assessing Hydration Status

Laser induced fluorescence (LIF) measurement of 40Ca/48Ca calcium ratio in bones