Junxing Yang

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 19

Top Topics

Predictive Control

Collision Avoidance

Spatial Features

Top Venues

Publications

Junxing Yang, Lu Lu, Ge Peng, He Huang, Jian Wang, Fei Deng
Texture-Mapping Error Removal Based on the BRIEF Operator in Image-Based Three-Dimensional Reconstruction. Remote. Sens. 15 (2) (2023)
Junxing Yang, Lulu Liu, Qingsong Yan, Fei Deng
Efficient Seamline Network Generation for Large-Scale Orthoimage Mosaicking. IEEE Geosci. Remote. Sens. Lett. 19 (2022)
Fei Deng, Junxing Yang
Panoramic Image Generation Using Centerline- Constrained Mesh Parameterization for Arbitrarily Shaped Tunnel Lining. IEEE Access 8 (2020)
Wei Cao, Lin Huang, Yunfeng Hu, Duanyang Xu, Hongyan Ren, Junxing Yang
An Improved Algorithm for Terrain Rendering. IGARSS (2019)
Wei Cao, Lin Huang, Yunfeng Hu, Duanyang Xu, Hongyan Ren, Junxing Yang, Lulu Liu
Temporal and Spatial Features of Urban and Construction Land in Chengdu City, China. IGARSS (2019)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek (2018)
Guodi Zheng, Yuewei Wang, Xiankai Wang, Junxing Yang, Tongbin Chen
Oxygen Monitoring Equipment for Sewage-Sludge Composting and Its Application to Aeration Optimization. Sensors 18 (11) (2018)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs rule-based control for flocking dynamics. SAC (2018)
Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA (2017)
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR (2017)
Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR (2017)
Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR (2017)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) (2017)
Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. 51 (1) (2017)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs Rule-based Control for Flocking Dynamics. CoRR (2017)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR (2016)
Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR (2016)
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
A survey on unmanned aerial vehicle collision avoidance systems. CoRR (2015)
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. RV (2015)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Using Statistical Model Checking for Measuring Systems. ISoLA (2) (2014)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Compositional Branching-Time Measurements. FPS@ETAPS (2014)