Closed-loop Verification of Pacemaker Software

Publications

Contributors

Citation

Latest Posts

AutoPlug: Hardware-in-the-loop Electronic Controller Unit Testing
AutoPlug: Hardware-in-the-loop Electronic Controller Unit Testing

Insert Description

Published: Jan 17, 2026

Fly-by-Logic: Safe-planning for Drone Fleets
Fly-by-Logic: Safe-planning for Drone Fleets

My team has designed safe and efficient Learning-based decentralized collision avoidance for scalable urban air mobility.

Published: Jan 16, 2026

Protodrive: Peak Power Reduction for Hybrid Energy Storage Systems with Limited Load Forecasts
Protodrive: Peak Power Reduction for Hybrid Energy Storage Systems with Limited Load Forecasts

Insert Description