Junxing Yang
Junxing Yang
cs.stonybrook.edu의 이메일 확인됨
제목
인용
인용
연도
A survey on unmanned aerial vehicle collision avoidance systems
H Pham, SA Smolka, SD Stoller, D Phan, J Yang
arXiv preprint arXiv:1508.07723, 2015
592015
ARES: adaptive receding-horizon synthesis of optimal plans
A Lukina, L Esterle, C Hirsch, E Bartocci, J Yang, A Tiwari, SA Smolka, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
222017
Using statistical model checking for measuring systems
R Grosu, D Peled, CR Ramakrishnan, SA Smolka, SD Stoller, J Yang
International Symposium On Leveraging Applications of Formal Methods …, 2014
222014
A component-based simplex architecture for high-assurance cyber-physical systems
D Phan, J Yang, M Clark, R Grosu, J Schierman, S Smolka, S Stoller
2017 17th International Conference on Application of Concurrency to System …, 2017
202017
Statistical model checking
A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu
Computing and Software Science, 478-504, 2019
182019
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
D Phan, J Yang, R Grosu, SA Smolka, SD Stoller
Formal Methods in System Design 51 (1), 62-86, 2017
142017
Love thy neighbor: V-formation as a problem of model predictive control
J Yang, R Grosu, SA Smolka, A Tiwari
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
142016
Declarative vs rule-based control for flocking dynamics
U Mehmood, N Paoletti, D Phan, R Grosu, S Lin, SD Stoller, A Tiwari, ...
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 816-823, 2018
102018
Attacking the V: on the resiliency of adaptive-horizon MPC
A Tiwari, SA Smolka, L Esterle, A Lukina, J Yang, R Grosu
International Symposium on Automated Technology for Verification and …, 2017
102017
Collision avoidance for mobile robots with limited sensing and limited information about the environment
D Phan, J Yang, D Ratasich, R Grosu, SA Smolka, SD Stoller
Runtime Verification, 201-215, 2015
102015
Verification of quasi-synchronous systems with Uppaal
S Bhattacharyya, S Miller, J Yang, S Smolka, B Meng, C Sticksel, C Tinelli
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 8A4-1-8A4-12, 2014
102014
Formal verification of quasi-synchronous systems
SP Miller, S Bhattacharyya, C Tinelli, S Smolka, C Sticksel, B Meng, ...
ROCKWELL COLLINS INC CEDAR RAPIDS IA, 2015
62015
V-Formation as Optimal Control
J Yang, R Grosu, SA Smolka, A Tiwari
the 4th Workshop on Biological Distributed Algorithms, 2016
42016
Resilient control and safety for cyber-physical systems
A Lukina, A Tiwari, SA Smolka, L Esterle, J Yang, R Grosu
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
22018
Attacking the v: On the resiliency of adaptive-horizon mpc
SA Smolka, A Tiwari, L Esterle, A Lukina, J Yang, R Grosu
arXiv preprint arXiv:1702.00290, 2017
22017
Compositional branching-time measurements
R Grosu, D Peled, CR Ramakrishnan, SA Smolka, SD Stoller, J Yang
From Programs to Systems. The Systems perspective in Computing, 118-128, 2014
22014
A Simplex Architecture for Hybrid Systems Using Barrier Certificates
J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller
International Conference on Computer Safety, Reliability, and Security, 117-131, 2017
12017
Model Checking Cyber-Physical Systems using Particle Swarm Optimization
D Phan, SA Smolka, R Grosu, U Mehmood, SD Stoller, J Yang
arXiv preprint arXiv:1703.01257, 2017
12017
Optimal Safe Planning and Control for Collective Autonomous Systems
J Yang
State University of New York at Stony Brook, 2017
2017
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–19