​
Login / Signup
Junxing Yang
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 19
Top Topics
Mpc Algorithm
Predictive Control
Collision Avoidance
Spatial Features
Top Venues
CoRR
IGARSS
SAC
Sensors
</>
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)