36 citations · 113 across the 35 of their papers we have counts for
Showing cs.MAShow all
2 papers · 1 filter
cs.MA2022★ 4 cited
Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh, Yubin Koh, Yangge Li +1
Vision-based formation control systems are attractive because they can use inexpensive sensors and can work in GPS-denied environments. The safety assurance for such systems is cha…
cs.MA2020★ 7 cited
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)
Chiao Hsieh, Hussein Sibai, Hebron Taylor +2
The key concept for safe and efficient traffic management for Unmanned Aircraft Systems (UAS) is the notion of operation volume (OV). An OV is a 4-dimensional block of airspace and…