Michal Podhradský

A Formal Approach to Constructing Secure Air Vehicle Software

Darren Cofer, Andrew Gacek, John Backes et al. · Computer · 2018 · 34 citations

Computing, Computer Science, Cybersecurity +17

Battery State-Of-Charge Based Altitude Controller for Small, Low Cost Multirotor Unmanned Aerial Vehicles

Michal Podhradský, Calvin Coopmans, Austin M. Jensen · Journal of Intelligent & Robotic Systems · 2013 · 24 citations

Engineering, Aerospace Engineering, Robotics Engineering +14

Improving communication security of open source UAVs: Encrypting radio control link

Michal Podhradský, Calvin Coopmans, Nathan V. Hoffer · 2017 · 24 citations

Computing, Computer Science, Cybersecurity +9

Software- and hardware-in-the-loop verification of flight dynamics model and flight control simulation of a fixed-wing unmanned aerial vehicle

Calvin Coopmans, Michal Podhradský, Nathan V. Hoffer · 2015 · 23 citations

Engineering, Aerospace Engineering, Systems Engineering +15

Battery model-based thrust controller for a small, low cost multirotor Unmanned Aerial Vehicles

Michal Podhradský, Jarret Bone, Calvin Coopmans et al. · 2013 · 20 citations

Engineering, Aerospace Engineering, Robotics Engineering +15