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 · 68 citations · Full text

Engineering, Aerospace Engineering, Robotics Engineering +14

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

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

Engineering, Computer Science, Systems Engineering +16

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

Engineering, Mechanical Engineering, Robotics Engineering +17

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

Engineering, Mathematics, Systems Engineering +11

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

Engineering, Computer Engineering, Systems Engineering +17