24 citations · 125 across the 32 of their papers we have counts for
3 papers · 1 filter
A Safety Constrained Control Framework for UAVs in GPS Denied Environment
Wenbin Wan, Hunmin Kim, Naira Hovakimyan +2
Unmanned aerial vehicles (UAVs) suffer from sensor drifts in GPS denied environments, which can lead to potentially dangerous situations. To avoid intolerable sensor drifts in the…
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving the effectiveness and safety of patient care is the ultimate objective for medical cyber-physical systems. Many medical best practice guidelines exist, but most of the ex…
Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift
Hyung-Jin Yoon, Wenbin Wan, Hunmin Kim +3
This paper considers a resilient state estimation framework for unmanned aerial vehicles (UAVs) that integrates a Kalman filter-like state estimator and an attack detector. When an…