Kai-Yuan Cai

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 69

Top Venues

CoRR

IEEE Trans. Reliab.

COMPSAC Workshops

IEEE Trans. Ind. Electron.

Publications

Yuechen Li, Hanyu Pei, Linzhi Huang, Beibei Yin, Kai-Yuan Cai
Automatic Repair of Quantum Programs via Unitary Operation. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
Yuge Nie, Yulei Chen, Yujia Jiang, Huayao Wu, Beibei Yin, Kai-Yuan Cai
A method of multidimensional software aging prediction based on ensemble learning: A case of Android OS. Inf. Softw. Technol. 170 (2024)
Quan Quan, Rao Fu, Kai-Yuan Cai
How Far Two UAVs Should be Subject to Communication Uncertainties. IEEE Trans. Intell. Transp. Syst. 24 (1) (2023)
Rao Fu, Quan Quan, Mengxin Li, Kai-Yuan Cai
Practical Distributed Control for Cooperative Multicopters in Structured Free Flight Concepts. IEEE Trans. Intell. Transp. Syst. 24 (4) (2023)
Hanyu Pei, Beibei Yin, Linzhi Huang, Kai-Yuan Cai
A dynamic random testing strategy in the context of cloud computing. Softw. Qual. J. 31 (1) (2023)
Chenxu Ke, Kai-Yuan Cai, Quan Quan
Uniform Passive Fault-Tolerant Control of a Quadcopter With One, Two, or Three Rotor Failure. IEEE Trans. Robotics 39 (6) (2023)
Quan Quan, Kai-Yuan Cai
A Control with Patterns Approach for the Stability Issue of Dynamical Systems Operating in Data-Rich Environments. CoRR (2022)
Kai-Yuan Cai
Towards Research on Information Gravitation. QRS Companion (2022)
Quan Quan, Rao Fu, Kai-Yuan Cai
Practical Control for Multicopters to Avoid Non-Cooperative Moving Obstacles. IEEE Trans. Intell. Transp. Syst. 23 (8) (2022)
Xunhua Dai, Quan Quan, Kai-Yuan Cai
Design Automation and Optimization Methodology for Electric Multicopter Unmanned Aerial Robots. IEEE Trans Autom. Sci. Eng. 19 (3) (2022)
Quan Quan, Rao Fu, Mengxin Li, Donghui Wei, Yan Gao, Kai-Yuan Cai
Practical Distributed Control for VTOL UAVs to Pass a Virtual Tube. IEEE Trans. Intell. Veh. 7 (2) (2022)
Chang-Ai Sun, Hepeng Dai, Guan Wang, Dave Towey, Tsong Yueh Chen, Kai-Yuan Cai
Dynamic Random Testing of Web Services: A Methodology and Evaluation. IEEE Trans. Serv. Comput. 15 (2) (2022)
Ya-Jing Ma, Feng Wang, Xian-Yuan Wu, Kai-Yuan Cai
Minimal Joint Entropy and Order-Preserving Couplings. CoRR (2022)
Chang-Ai Sun, Hepeng Dai, Guan Wang, Dave Towey, Tsong Yueh Chen, Kai-Yuan Cai
An Extended Abstract of "Dynamic Random Testing of Web Services: A Methodology and Evaluation". SERVICES (2022)
Quan Quan, Kai-Yuan Cai
Repetitive control for nonlinear systems: an actuator-focussed design method. Int. J. Control 94 (5) (2021)
Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin
S-ADA: Software as an Autonomous, Dependable and Affordable System. DSN (Supplements) (2021)
Quan Quan, Rao Fu, Kai-Yuan Cai
Practical Control for Multicopters to Avoid Non-Cooperative Moving Obstacles. CoRR (2021)
Hanyu Pei, Beibei Yin, Min Xie, Kai-Yuan Cai
Dynamic random testing with test case clustering and distance-based parameter adjustment. Inf. Softw. Technol. 131 (2021)
Quan Quan, Rao Fu, Kai-Yuan Cai
How Far Two UAVs Should Be subject to Communication Uncertainties. CoRR (2021)
Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai
Simulation Credibility Assessment Methodology With FPGA-based Hardware-in-the-Loop Platform. IEEE Trans. Ind. Electron. 68 (4) (2021)
Jinrui Ren, Quan Quan, Haibiao Ma, Kai-Yuan Cai
Additive-state-decomposition-based station-keeping control for autonomous aerial refueling. Sci. China Inf. Sci. 64 (11) (2021)
Quan Quan, Rao Fu, Mengxin Li, Donghui Wei, Yan Gao, Kai-Yuan Cai
Practical Distributed Control for VTOL UAVs to Pass a Tunnel. CoRR (2021)
Rao Fu, Quan Quan, Mengxin Li, Kai-Yuan Cai
Practical Distributed Control for Cooperative Multicopters in Structured Free Flight Concepts. CoRR (2021)
Quan Quan, Kai-Yuan Cai
Sampled-data repetitive control for a class of non-minimum phase nonlinear systems subject to period variation. Int. J. Syst. Sci. 51 (4) (2020)
Xunhua Dai, Zi-Bo Wei, Quan Quan, Kai-Yuan Cai
Hose-Drum-Unit Modeling and Control for Probe-and-Drogue Autonomous Aerial Refueling. IEEE Trans. Aerosp. Electron. Syst. 56 (4) (2020)
Heng Deng, Qiang Fu, Quan Quan, Kun Yang, Kai-Yuan Cai
Indoor Multi-Camera-Based Testbed for 3-D Tracking and Control of UAVs. IEEE Trans. Instrum. Meas. 69 (6) (2020)
Siqian Gong, Beibei Yin, Zheng Zheng, Kai-Yuan Cai
An Adaptive Control Method for Resource Provisioning with Resource Utilization Constraints in Cloud Computing. Int. J. Comput. Intell. Syst. 12 (2) (2019)
Yu Qiao, Zheng Zheng, Yunyu Fang, Fangyun Qin, Kishor S. Trivedi, Kai-Yuan Cai
Two-Level Rejuvenation for Android Smartphones and Its Optimization. IEEE Trans. Reliab. 68 (2) (2019)
Xunhua Dai, Quan Quan, Kai-Yuan Cai
Design Automation and Optimization Methodology for Electric Multicopter UAVs. CoRR (2019)
Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai
Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles. CoRR (2019)
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Trans. Reliab. 68 (4) (2019)
Hanyu Pei, Beibei Yin, Kai-Yuan Cai, Min Xie
A Distance-Based Dynamic Random Testing with Test Case Clustering. QRS (2019)
Chang-Ai Sun, Hepeng Dai, Huai Liu, Tsong Yueh Chen, Kai-Yuan Cai
Adaptive Partition Testing. IEEE Trans. Computers 68 (2) (2019)
Siqian Gong, Bei-Bei Yin, Zheng Zheng, Kai-Yuan Cai
Adaptive Multivariable Control for Multiple Resource Allocation of Service-Based Systems in Cloud Computing. IEEE Access 7 (2019)
Xunhua Dai, Quan Quan, Jinrui Ren, Kai-Yuan Cai
Efficiency Optimization and Component Selection for Propulsion Systems of Electric Multicopters. IEEE Trans. Ind. Electron. 66 (10) (2019)
Hanyu Pei, Kai-Yuan Cai, Beibei Yin, Aditya P. Mathur, Min Xie
Dynamic Random Testing: Technique and Experimental Evaluation. IEEE Trans. Reliab. 68 (3) (2019)
Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai
Simulation Credibility Assessment Methodology with FPGA-based Hardware-in-the-loop Platform. CoRR (2019)
Heng Deng, Usman Arif, Qiang Fu, Zhiyu Xi, Quan Quan, Kai-Yuan Cai
Visual-inertial estimation of velocity for multicopters based on vision motion constraint. Robotics Auton. Syst. 107 (2018)
Xiaoyi Zhang, Zheng Zheng, Kai-Yuan Cai
A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms. IEEE Trans. Reliab. 67 (1) (2018)
Zhi Quan Zhou, Arnaldo Sinaga, Willy Susilo, Lei Zhao, Kai-Yuan Cai
A cost-effective software testing strategy employing online feedback information. Inf. Sci. 422 (2018)
Xunhua Dai, Quan Quan, Jinrui Ren, Zhiyu Xi, Kai-Yuan Cai
Terminal Iterative Learning Control for Autonomous Aerial Refueling under Aerodynamic Disturbances. CoRR (2018)
Xiaoyi Zhang, Zheng Zheng, Kai-Yuan Cai
Exploring the usefulness of unlabelled test cases in software fault localization. J. Syst. Softw. 136 (2018)
Quan Quan, Kai-Yuan Cai
Saturated repetitive control for a class of nonlinear systems: A contraction mapping method. Syst. Control. Lett. 122 (2018)
Xunhua Dai, Quan Quan, Jinrui Ren, Kai-Yuan Cai
An Analytical Design Optimization Method for Electric Propulsion Systems of Multicopter UAVs with Desired Hovering Endurance. CoRR (2018)
Wenlong Zhu, Hanqin Qin, Jianbo Wang, Kai-Yuan Cai
QoS-Based Web Service Selection for Multiple Users by Genetic Algorithm. ICNC-FSKD (2018)
Siqian Gong, Beibei Yin, Kai-Yuan Cai
An Adaptive PID Control for QoS Management in Cloud Computing System. ISSRE Workshops (2018)
Wenlong Zhu, Beibei Yin, Siqian Gong, Kai-Yuan Cai
An Approach to Web Services Selection for Multiple Users. IEEE Access 5 (2017)
Yunyu Fang, Bei-Bei Yin, Gao-Rong Ning, Zheng Zheng, Kai-Yuan Cai
A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control. PRDC (2017)
Zhiyao Zhao, Quan Quan, Kai-Yuan Cai
A health performance prediction method of large-scale stochastic linear hybrid systems with small failure probability. Reliab. Eng. Syst. Saf. 165 (2017)
Zi-Bo Wei, Quan Quan, Kai-Yuan Cai
Output Feedback ILC for a Class of Nonminimum Phase Nonlinear Systems With Input Saturation: An Additive-State-Decomposition-Based Method. IEEE Trans. Autom. Control. 62 (1) (2017)
Zhiyao Zhao, Quan Quan, Kai-Yuan Cai
A modified profust-performance-reliability algorithm and its application to dynamic systems. J. Intell. Fuzzy Syst. 32 (1) (2017)
Guangxun Du, Quan Quan, Zhiyu Xi, Yang Liu, Kai-Yuan Cai
A Control Performance Index for Multicopters Under Off-nominal Conditions. CoRR (2017)
Quan Quan, Zhiyao Zhao, Liyong Lin, Peng Wang, Walter Murray Wonham, Kai-Yuan Cai
Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory. CoRR (2017)
Siqian Gong, Beibei Yin, Wenlong Zhu, Kai-Yuan Cai
Adaptive Resource Allocation of Multiple Servers for Service-Based Systems in Cloud Computing. COMPSAC (2) (2017)
Qiang Fu, Quan Quan, Kai-Yuan Cai
Robust Pose Estimation for Multirotor UAVs Using Off-Board Monocular Vision. IEEE Trans. Ind. Electron. 64 (10) (2017)
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective. ISSRE (2017)
Quan Quan, Kai-Yuan Cai
A New Continuous-Time Equality-Constrained Optimization to Avoid Singularity. IEEE Trans. Neural Networks Learn. Syst. 27 (2) (2016)
Gao-Rong Ning, Jing Zhao, Yunlong Lou, Javier Alonso, Rivalino Matias, Kishor S. Trivedi, Bei-Bei Yin, Kai-Yuan Cai
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process. IEEE Trans. Reliab. 65 (4) (2016)
Peng Wang, Kai-Yuan Cai
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. CoRR (2016)
Bin Wang, Bei-Bei Yin, Kai-Yuan Cai
Event Handler Tree Model for GUI Test Case Generation. COMPSAC Workshops (2016)
Zi-Bo Wei, Xunhua Dai, Quan Quan, Kai-Yuan Cai
Drogue dynamic model under bow wave in probe-and-drogue refueling. IEEE Trans. Aerosp. Electron. Syst. 52 (4) (2016)
Ye Li, Bei-Bei Yin, Junpeng Lv, Kai-Yuan Cai
Approach for Test Profile Optimization in Dynamic Random Testing. COMPSAC Workshops (2015)
Zhongxing Yu, Chenggang Bai, Kai-Yuan Cai
Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests. ICSE (1) (2015)
Quan Quan, Kai-Yuan Cai
Repetitive control for TORA benchmark: An additive-state-decomposition-based approach. Int. J. Autom. Comput. 12 (3) (2015)
Guangxun Du, Quan Quan, Kai-Yuan Cai
Controllability Analysis and Degraded Control for a Class of Hexacopters Subject to Rotor Failures. J. Intell. Robotic Syst. 78 (1) (2015)
Yun-Fei Jia, Zhi Quan Zhou, Ke-Xian Xue, Lei Zhao, Kai-Yuan Cai
Using Neural Networks to Forecast Available System Resources: An Approach and Empirical Investigation. Int. J. Softw. Eng. Knowl. Eng. 25 (4) (2015)
Qiang Fu, Quan Quan, Kai-Yuan Cai
Calibration of multiple fish-eye cameras using a wand. IET Comput. Vis. 9 (3) (2015)
Siqian Gong, Beibei Yin, Wenlong Zhu, Kai-Yuan Cai
An Adaptive Control Strategy for Resource Allocation of Service-Based Systems in Cloud Environment. QRS Companion (2015)
Xiaoyi Zhang, Dave Towey, Tsong Yueh Chen, Zheng Zheng, Kai-Yuan Cai
Using Partition Information to Prioritize Test Cases for Fault Localization. COMPSAC (2015)
Zijiang Yang, Bei-Bei Yin, Junpeng Lv, Kai-Yuan Cai, Stephen S. Yau, Jia Yu
Dynamic Random Testing with Parameter Adjustment. COMPSAC Workshops (2014)
Junpeng Lv, Bei-Bei Yin, Kai-Yuan Cai
On the Asymptotic Behavior of Adaptive Testing Strategy for Software Reliability Assessment. IEEE Trans. Software Eng. 40 (4) (2014)
Lin Tie, Kai-Yuan Cai, Yan Lin
On small-controllability of a class of Hammerstein-nonlinear systems - an implicit function approach. Int. J. Syst. Sci. 45 (9) (2014)
Quan Quan, Lu Jiang, Kai-Yuan Cai
Discrete-Time Output-Feedback Robust Repetitive Control for a Class of Nonlinear Systems by Additive State Decomposition. CoRR (2014)
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang
Software Maintenance Optimization Based on Stackelberg Game Methods. ISSRE Workshops (2014)
Qiang Fu, Quan Quan, Kai-Yuan Cai
Calibration of Multiple Fish-Eye Cameras Using a Wand. CoRR (2014)
Lei Zhang, Bei-Bei Yin, Junpeng Lv, Kai-Yuan Cai, Stephen S. Yau, Jia Yu
A History-Based Dynamic Random Software Testing. COMPSAC Workshops (2014)
Junpeng Lv, Hai Hu, Kai-Yuan Cai, Tsong Yueh Chen
Adaptive and Random Partition Software Testing. IEEE Trans. Syst. Man Cybern. Syst. 44 (12) (2014)
Quan Quan, Hai Lin, Kai-Yuan Cai
Output feedback tracking control by additive state decomposition for a class of uncertain systems. Int. J. Syst. Sci. 45 (9) (2014)
Quan Quan, Kai-Yuan Cai
A New Causal Ideal Internal Dynamics Generator. CoRR (2014)
Xiaohua Li, Zhao Dong, Huayao Wu, Changhai Nie, Kai-Yuan Cai
Refining a Randomized Post-optimization Method for Covering Arrays. ICST Workshops (2014)
Zhiyao Zhao, Quan Quan, Kai-Yuan Cai
A Profust Reliability Based Approach to Prognostics and Health Management. IEEE Trans. Reliab. 63 (1) (2014)
Junpeng Lv, Bei-Bei Yin, Kai-Yuan Cai
Estimating confidence interval of software reliability with adaptive testing strategy. J. Syst. Softw. 97 (2014)
Xiaoyi Zhang, Zheng Zheng, Yueni Zhu, Kai-Yuan Cai
Protection issues for supply systems involving random attacks. Comput. Oper. Res. 43 (2014)
Guangxun Du, Quan Quan, Binxian Yang, Kai-Yuan Cai
Controllability Analysis for a Class of Multirotors Subject to Rotor Failure/Wear. CoRR (2014)
Wenlong Zhu, Bei-Bei Yin, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau
An Adaptive Control Strategy for Managing Concurrent Service Requests in Service-Based Systems. COMPSAC Workshops (2013)
Ping Cao, Zhao Dong, Ke Liu, Kai-Yuan Cai
Quantitative effects of software testing on reliability improvement in the presence of imperfect debugging. Inf. Sci. 218 (2013)
Changhai Nie, Hareton Leung, Kai-Yuan Cai
Adaptive Combinatorial Testing. QSIC (2013)
Xiaoyi Zhang, Zheng Zheng, Yueni Zhu, Kai-Yuan Cai
A Distributed Protective Approach for Multiechelon Supply Systems. COMPSAC Workshops (2013)
Ping Cao, Zhao Dong, Ke Liu, Kai-Yuan Cai
Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability. CoRR (2013)
Zhongxing Yu, Chenggang Bai, Kai-Yuan Cai
Mutation-oriented test data augmentation for GUI software fault localization. Inf. Softw. Technol. 55 (12) (2013)
Junpeng Lv, Bei-Bei Yin, Kai-Yuan Cai
On the Gain of Measuring Test Case Prioritization. COMPSAC (2013)
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Kishor S. Trivedi, Rivalino Matias Jr., Kai-Yuan Cai
A comprehensive approach to optimal software rejuvenation. Perform. Evaluation 70 (11) (2013)
Peifeng Rao, Zheng Zheng, Tsong Yueh Chen, Nan Wang, Kai-Yuan Cai
Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques. QSIC (2013)
Guangxun Du, Quan Quan, Kai-Yuan Cai
Attitude Controllability Analysis and Degraded Attitude Control Scheme for a class of Hexacopters Subject to One Rotor Failure. CoRR (2013)
Wei Liu, Zheng Zheng, Kai-Yuan Cai
Bi-level programming based real-time path planning for unmanned aerial vehicles. Knowl. Based Syst. 44 (2013)
Yueni Zhu, Zheng Zheng, Xiaoyi Zhang, Kai-Yuan Cai
The r-interdiction median problem with probabilistic protection and its solution algorithm. Comput. Oper. Res. 40 (1) (2013)
Changhai Nie, Siyang Chen, Hareton Leung, Kai-Yuan Cai
A Case Study of Adaptive Combinatorial Testing. COMPSAC Workshops (2013)
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong, Aditya P. Mathur
Enhancing software reliability estimates using modified adaptive testing. Inf. Softw. Technol. 55 (2) (2013)
Lin Tie, Kai-Yuan Cai, Yan Lin
A linear algebraic criterion for controllability of both continuous-time and discrete-time symmetric bilinear systems. J. Frankl. Inst. 350 (4) (2013)
Quan Quan, Kai-Yuan Cai
Additive-output-decomposition-based dynamic inversion tracking control for a class of uncertain linear time-invariant systems. CDC (2012)

Kai-Yuan Cai.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kai-Yuan Cai