Explore projects

LION code

Code for "Data-driven Approach for Disturbance Rejection for Dual-Stage Actuator Hard Disk Drives"

Proof assistant based on first-order logic and set theory