Junxing Yang

A survey on unmanned aerial vehicle collision avoidance systems

Hung Pham, Scott A. Smolka, Scott D. Stoller et al. · arXiv (Cornell University) · 2015 · 67 citations · Full text

Collision Avoidance System, Engineering, Aerial Robotics +11

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

Dung Phan, Junxing Yang, Matthew Clark et al. · 2017 · 35 citations · Full text

Engineering, Verification, Computer Architecture +19

Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles

Dung Phan, Junxing Yang, Radu Grosu et al. · Formal Methods in System Design · 2017 · 23 citations

Path Planning, Trajectory Planning, Engineering +8

Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control.

Junxing Yang, Radu Grosu, Scott A. Smolka et al. · International Conference on Concurrency Theory · 2016 · 11 citations

Control Strategy, Engineering, Control Science +6

Verification of quasi-synchronous systems with Uppaal

Siddhartha Bhattacharyya, Steven M. Miller, Junxing Yang et al. · 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) · 2014 · 10 citations