Kai-Yuan Cai

235 papers A* 1A 2B 11C 8Misc 2Journal 147Unranked 63
YearRankTypeTitle / Venue / Authors
2026 J jnl
Passive Fault-Tolerant Control of Lifting-Wing Quadrotors: Ensuring Nondegraded Flight Under Rotor or Aileron Failure.
IEEE Trans. Ind. Electron.
Xinquan Chen, Kai-Yuan Cai, Quan Quan
2025 J jnl
A degree of flowability for virtual tubes.
Robotics Auton. Syst.
Quan Quan, Shuhan Huang, Kai-Yuan Cai
2025 J jnl
Correspondence-Free Relative Pose Estimation: A Global Approach With Sparse Feature-Guided Directional Embedding.
IEEE Robotics Autom. Lett.
Dun Dai, Quan Quan, Kai-Yuan Cai, Ruoyuan Wang
2025 J jnl
Empirical Studies on Quantum Optimization for Software Engineering: A Systematic Analysis.
CoRR
Man Zhang, Yuechen Li, Tao Yue, Kai-Yuan Cai
2025 J jnl
Fault-Tolerant Control of Lifting-Wing Multicopter Based on Nonlinear MPC.
IEEE Robotics Autom. Lett.
Xinquan Chen, Shuai Wang, Haixin Zhao, Kai-Yuan Cai, Quan Quan
2025 J jnl
Practical Distributed Control for Cooperative VTOL UAVs Within a 3-D Roundabout.
IEEE Trans. Intell. Transp. Syst.
Rao Fu, Pengda Mao, Yangqi Lei, Kai-Yuan Cai, Quan Quan
2025 J jnl
Preparation and Utilization of Mixed States for Testing Quantum Programs.
ACM Trans. Softw. Eng. Methodol.
Yuechen Li, Kai-Yuan Cai, Beibei Yin
2025 C conf
QuAInth: A Code Comment Approach for Application-Oriented Quantum Programs via N-Version LLMs.
QRS
Xiaohan Yu, Yuechen Li, Jinlong Wen, Kai-Yuan Cai, Beibei Yin
2025 J jnl
Quantum Optimization for Software Engineering: A Survey.
CoRR
Man Zhang, Yuechen Li, Tao Yue, Kai-Yuan Cai
2025 J jnl
Self-Organizing Aerial Swarm Robotics for Resilient Load Transportation : A Table-Mechanics-Inspired Approach.
CoRR
Quan Quan, Jiwen Xu, Runxiao Liu, Yi Ding, Jiaxing Che, Kai-Yuan Cai
2024 J jnl
A Degree of Flowability for Virtual Tubes.
CoRR
Quan Quan, Shuhan Huang, Kai-Yuan Cai
2024 C conf
A Strategy of Dynamic Random Testing with Hybrid Distance Metrics for Quantum Programs.
QRS
Linzhi Huang, Hanyu Pei, Yuechen Li, Beibei Yin, Kai-Yuan Cai
2024 J jnl
A method of multidimensional software aging prediction based on ensemble learning: A case of Android OS.
Inf. Softw. Technol.
Yuge Nie, Yulei Chen, YuJia Jiang, Huayao Wu, Beibei Yin, Kai-Yuan Cai
2024 J jnl
Automatic Repair of Quantum Programs via Unitary Operation.
ACM Trans. Softw. Eng. Methodol.
Yuechen Li, Hanyu Pei, Linzhi Huang, Beibei Yin, Kai-Yuan Cai
2024 Misc conf
Control with Patterns: A D-learning Method.
CoRL
Quan Quan, Kai-Yuan Cai, Chenyu Wang
2024 A conf
Sharing Attention Mechanism in V-SLAM: Relative Pose Estimation with Messenger Tokens on Small Datasets.
IROS
Dun Dai, Quan Quan, Kai-Yuan Cai
2023 J jnl
A dynamic random testing strategy in the context of cloud computing.
Softw. Qual. J.
Hanyu Pei, Beibei Yin, Linzhi Huang, Kai-Yuan Cai
2023 J jnl
How Far Two UAVs Should be Subject to Communication Uncertainties.
IEEE Trans. Intell. Transp. Syst.
Quan Quan, Rao Fu, Kai-Yuan Cai
2023 J jnl
Practical Distributed Control for Cooperative Multicopters in Structured Free Flight Concepts.
IEEE Trans. Intell. Transp. Syst.
Rao Fu, Quan Quan, Mengxin Li, Kai-Yuan Cai
2023 J jnl
Uniform Passive Fault-Tolerant Control of a Quadcopter With One, Two, or Three Rotor Failure.
IEEE Trans. Robotics
Chenxu Ke, Kai-Yuan Cai, Quan Quan
2022 J jnl
A Control with Patterns Approach for the Stability Issue of Dynamical Systems Operating in Data-Rich Environments.
CoRR
Quan Quan, Kai-Yuan Cai
2022 B conf
An Extended Abstract of "Dynamic Random Testing of Web Services: A Methodology and Evaluation".
SERVICES
Chang-Ai Sun, Hepeng Dai, Guan Wang, Dave Towey, Tsong Yueh Chen, Kai-Yuan Cai
2022 J jnl
Design Automation and Optimization Methodology for Electric Multicopter Unmanned Aerial Robots.
IEEE Trans Autom. Sci. Eng.
Xunhua Dai, Quan Quan, Kai-Yuan Cai
2022 J jnl
Dynamic Random Testing of Web Services: A Methodology and Evaluation.
IEEE Trans. Serv. Comput.
Chang-Ai Sun, Hepeng Dai, Guan Wang, Dave Towey, Tsong Yueh Chen, Kai-Yuan Cai
2022 J jnl
Minimal Joint Entropy and Order-Preserving Couplings.
CoRR
Ya-Jing Ma, Feng Wang, Xian-Yuan Wu, Kai-Yuan Cai
2022 J jnl
Practical Control for Multicopters to Avoid Non-Cooperative Moving Obstacles.
IEEE Trans. Intell. Transp. Syst.
Quan Quan, Rao Fu, Kai-Yuan Cai
2022 J jnl
Practical Distributed Control for VTOL UAVs to Pass a Virtual Tube.
IEEE Trans. Intell. Veh.
Quan Quan, Rao Fu, Mengxin Li, Donghui Wei, Yan Gao, Kai-Yuan Cai
2022 — conf
Towards Research on Information Gravitation.
QRS Companion
Kai-Yuan Cai
2021 J jnl
Additive-state-decomposition-based station-keeping control for autonomous aerial refueling.
Sci. China Inf. Sci.
Jinrui Ren, Quan Quan, Haibiao Ma, Kai-Yuan Cai
2021 J jnl
Dynamic random testing with test case clustering and distance-based parameter adjustment.
Inf. Softw. Technol.
Hanyu Pei, Beibei Yin, Min Xie, Kai-Yuan Cai
2021 J jnl
How Far Two UAVs Should Be subject to Communication Uncertainties.
CoRR
Quan Quan, Rao Fu, Kai-Yuan Cai
2021 J jnl
Practical Control for Multicopters to Avoid Non-Cooperative Moving Obstacles.
CoRR
Quan Quan, Rao Fu, Kai-Yuan Cai
2021 J jnl
Practical Distributed Control for Cooperative Multicopters in Structured Free Flight Concepts.
CoRR
Rao Fu, Quan Quan, Mengxin Li, Kai-Yuan Cai
2021 J jnl
Practical Distributed Control for VTOL UAVs to Pass a Tunnel.
CoRR
Quan Quan, Rao Fu, Mengxin Li, Donghui Wei, Yan Gao, Kai-Yuan Cai
2021 J jnl
Repetitive control for nonlinear systems: an actuator-focussed design method.
Int. J. Control
Quan Quan, Kai-Yuan Cai
2021 — conf
S-ADA: Software as an Autonomous, Dependable and Affordable System.
DSN (Supplements)
Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin
2021 J jnl
Simulation Credibility Assessment Methodology With FPGA-based Hardware-in-the-Loop Platform.
IEEE Trans. Ind. Electron.
Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai
2020 J jnl
Hose-Drum-Unit Modeling and Control for Probe-and-Drogue Autonomous Aerial Refueling.
IEEE Trans. Aerosp. Electron. Syst.
Xunhua Dai, Zi-Bo Wei, Quan Quan, Kai-Yuan Cai
2020 J jnl
Indoor Multi-Camera-Based Testbed for 3-D Tracking and Control of UAVs.
IEEE Trans. Instrum. Meas.
Heng Deng, Qiang Fu, Quan Quan, Kun Yang, Kai-Yuan Cai
2020 J jnl
Sampled-data repetitive control for a class of non-minimum phase nonlinear systems subject to period variation.
Int. J. Syst. Sci.
Quan Quan, Kai-Yuan Cai
2019 C conf
A Distance-Based Dynamic Random Testing with Test Case Clustering.
QRS
Hanyu Pei, Beibei Yin, Kai-Yuan Cai, Min Xie
2019 J jnl
Adaptive Multivariable Control for Multiple Resource Allocation of Service-Based Systems in Cloud Computing.
IEEE Access
Siqian Gong, Bei-Bei Yin, Zheng Zheng, Kai-Yuan Cai
2019 J jnl
Adaptive Partition Testing.
IEEE Trans. Computers
Chang-Ai Sun, Hepeng Dai, Huai Liu, Tsong Yueh Chen, Kai-Yuan Cai
2019 J jnl
An Adaptive Control Method for Resource Provisioning with Resource Utilization Constraints in Cloud Computing.
Int. J. Comput. Intell. Syst.
Siqian Gong, Beibei Yin, Zheng Zheng, Kai-Yuan Cai
2019 J jnl
An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective.
IEEE Trans. Reliab.
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
2019 J jnl
Design Automation and Optimization Methodology for Electric Multicopter UAVs.
CoRR
Xunhua Dai, Quan Quan, Kai-Yuan Cai
2019 J jnl
Dynamic Random Testing: Technique and Experimental Evaluation.
IEEE Trans. Reliab.
Hanyu Pei, Kai-Yuan Cai, Beibei Yin, Aditya P. Mathur, Min Xie
2019 J jnl
Efficiency Optimization and Component Selection for Propulsion Systems of Electric Multicopters.
IEEE Trans. Ind. Electron.
Xunhua Dai, Quan Quan, Jinrui Ren, Kai-Yuan Cai
2019 J jnl
Simulation Credibility Assessment Methodology with FPGA-based Hardware-in-the-loop Platform.
CoRR
Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai
2019 J jnl
Two-Level Rejuvenation for Android Smartphones and Its Optimization.
IEEE Trans. Reliab.
Yu Qiao, Zheng Zheng, Yunyu Fang, Fangyun Qin, Kishor S. Trivedi, Kai-Yuan Cai
2019 J jnl
Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles.
CoRR
Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai
2018 J jnl
A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms.
IEEE Trans. Reliab.
Xiaoyi Zhang, Zheng Zheng, Kai-Yuan Cai
2018 J jnl
A cost-effective software testing strategy employing online feedback information.
Inf. Sci.
Zhi Quan Zhou, Arnaldo Sinaga, Willy Susilo, Lei Zhao, Kai-Yuan Cai
2018 — conf
An Adaptive PID Control for QoS Management in Cloud Computing System.
ISSRE Workshops
Siqian Gong, Beibei Yin, Kai-Yuan Cai
2018 J jnl
An Analytical Design Optimization Method for Electric Propulsion Systems of Multicopter UAVs with Desired Hovering Endurance.
CoRR
Xunhua Dai, Quan Quan, Jinrui Ren, Kai-Yuan Cai
2018 J jnl
Exploring the usefulness of unlabelled test cases in software fault localization.
J. Syst. Softw.
Xiaoyi Zhang, Zheng Zheng, Kai-Yuan Cai
2018 — conf
QoS-Based Web Service Selection for Multiple Users by Genetic Algorithm.
ICNC-FSKD
Wenlong Zhu, Hanqin Qin, Jianbo Wang, Kai-Yuan Cai
2018 J jnl
Saturated repetitive control for a class of nonlinear systems: A contraction mapping method.
Syst. Control. Lett.
Quan Quan, Kai-Yuan Cai
2018 J jnl
Terminal Iterative Learning Control for Autonomous Aerial Refueling under Aerodynamic Disturbances.
CoRR
Xunhua Dai, Quan Quan, Jinrui Ren, Zhiyu Xi, Kai-Yuan Cai
2018 J jnl
Visual-inertial estimation of velocity for multicopters based on vision motion constraint.
Robotics Auton. Syst.
Heng Deng, Usman Arif, Qiang Fu, Zhiyu Xi, Quan Quan, Kai-Yuan Cai
2017 J jnl
A Control Performance Index for Multicopters Under Off-nominal Conditions.
CoRR
Guangxun Du, Quan Quan, Zhiyu Xi, Yang Liu, Kai-Yuan Cai
2017 C conf
A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control.
PRDC
Yunyu Fang, Bei-Bei Yin, Gao-Rong Ning, Zheng Zheng, Kai-Yuan Cai
2017 J jnl
A health performance prediction method of large-scale stochastic linear hybrid systems with small failure probability.
Reliab. Eng. Syst. Saf.
Zhiyao Zhao, Quan Quan, Kai-Yuan Cai
2017 J jnl
A modified profust-performance-reliability algorithm and its application to dynamic systems.
J. Intell. Fuzzy Syst.
Zhiyao Zhao, Quan Quan, Kai-Yuan Cai
2017 — conf
Adaptive Resource Allocation of Multiple Servers for Service-Based Systems in Cloud Computing.
COMPSAC (2)
Siqian Gong, Beibei Yin, Wenlong Zhu, Kai-Yuan Cai
2017 J jnl
An Approach to Web Services Selection for Multiple Users.
IEEE Access
Wenlong Zhu, Beibei Yin, Siqian Gong, Kai-Yuan Cai
2017 A conf
Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective.
ISSRE
Guanping Xiao, Zheng Zheng, Beibei Yin, Kishor S. Trivedi, Xiaoting Du, Kai-Yuan Cai
2017 J jnl
Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory.
CoRR
Quan Quan, Zhiyao Zhao, Liyong Lin, Peng Wang, Walter Murray Wonham, Kai-Yuan Cai
2017 J jnl
Output Feedback ILC for a Class of Nonminimum Phase Nonlinear Systems With Input Saturation: An Additive-State-Decomposition-Based Method.
IEEE Trans. Autom. Control.
Zi-Bo Wei, Quan Quan, Kai-Yuan Cai
2017 J jnl
Robust Pose Estimation for Multirotor UAVs Using Off-Board Monocular Vision.
IEEE Trans. Ind. Electron.
Qiang Fu, Quan Quan, Kai-Yuan Cai
2016 J jnl
A New Continuous-Time Equality-Constrained Optimization to Avoid Singularity.
IEEE Trans. Neural Networks Learn. Syst.
Quan Quan, Kai-Yuan Cai
2016 J jnl
Drogue dynamic model under bow wave in probe-and-drogue refueling.
IEEE Trans. Aerosp. Electron. Syst.
Zi-Bo Wei, Xunhua Dai, Quan Quan, Kai-Yuan Cai
2016 — conf
Event Handler Tree Model for GUI Test Case Generation.
COMPSAC Workshops
Bin Wang, Bei-Bei Yin, Kai-Yuan Cai
2016 J jnl
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process.
IEEE Trans. Reliab.
Gao-Rong Ning, Jing Zhao, Yunlong Lou, Javier Alonso, Rivalino Matias, Kishor S. Trivedi, Bei-Bei Yin, Kai-Yuan Cai
2016 J jnl
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.
CoRR
Peng Wang, Kai-Yuan Cai
2015 — conf
An Adaptive Control Strategy for Resource Allocation of Service-Based Systems in Cloud Environment.
QRS Companion
Siqian Gong, Beibei Yin, Wenlong Zhu, Kai-Yuan Cai
2015 — conf
Approach for Test Profile Optimization in Dynamic Random Testing.
COMPSAC Workshops
Ye Li, Bei-Bei Yin, Junpeng Lv, Kai-Yuan Cai
2015 J jnl
Calibration of multiple fish-eye cameras using a wand.
IET Comput. Vis.
Qiang Fu, Quan Quan, Kai-Yuan Cai
2015 J jnl
Controllability Analysis and Degraded Control for a Class of Hexacopters Subject to Rotor Failures.
J. Intell. Robotic Syst.
Guangxun Du, Quan Quan, Kai-Yuan Cai
2015 — conf
Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests.
ICSE (1)
Zhongxing Yu, Chenggang Bai, Kai-Yuan Cai
2015 J jnl
Repetitive control for TORA benchmark: An additive-state-decomposition-based approach.
Int. J. Autom. Comput.
Quan Quan, Kai-Yuan Cai
2015 J jnl
Using Neural Networks to Forecast Available System Resources: An Approach and Empirical Investigation.
Int. J. Softw. Eng. Knowl. Eng.
Yun-Fei Jia, Zhi Quan Zhou, Ke-Xian Xue, Lei Zhao, Kai-Yuan Cai
2015 B conf
Using Partition Information to Prioritize Test Cases for Fault Localization.
COMPSAC
Xiaoyi Zhang, Dave Towey, Tsong Yueh Chen, Zheng Zheng, Kai-Yuan Cai
2014 — conf
A History-Based Dynamic Random Software Testing.
COMPSAC Workshops
Lei Zhang, Bei-Bei Yin, Junpeng Lv, Kai-Yuan Cai, Stephen S. Yau, Jia Yu
2014 J jnl
A New Causal Ideal Internal Dynamics Generator.
CoRR
Quan Quan, Kai-Yuan Cai
2014 J jnl
A Profust Reliability Based Approach to Prognostics and Health Management.
IEEE Trans. Reliab.
Zhiyao Zhao, Quan Quan, Kai-Yuan Cai
2014 J jnl
Adaptive and Random Partition Software Testing.
IEEE Trans. Syst. Man Cybern. Syst.
Junpeng Lv, Hai Hu, Kai-Yuan Cai, Tsong Yueh Chen
2014 J jnl
Calibration of Multiple Fish-Eye Cameras Using a Wand.
CoRR
Qiang Fu, Quan Quan, Kai-Yuan Cai
2014 J jnl
Controllability Analysis for a Class of Multirotors Subject to Rotor Failure/Wear.
CoRR
Guangxun Du, Quan Quan, Binxian Yang, Kai-Yuan Cai
2014 J jnl
Discrete-Time Output-Feedback Robust Repetitive Control for a Class of Nonlinear Systems by Additive State Decomposition.
CoRR
Quan Quan, Lu Jiang, Kai-Yuan Cai
2014 — conf
Dynamic Random Testing with Parameter Adjustment.
COMPSAC Workshops
Zijiang Yang, Bei-Bei Yin, Junpeng Lv, Kai-Yuan Cai, Stephen S. Yau, Jia Yu
2014 J jnl
Estimating confidence interval of software reliability with adaptive testing strategy.
J. Syst. Softw.
Junpeng Lv, Bei-Bei Yin, Kai-Yuan Cai
2014 J jnl
On small-controllability of a class of Hammerstein-nonlinear systems - an implicit function approach.
Int. J. Syst. Sci.
Lin Tie, Kai-Yuan Cai, Yan Lin
2014 J jnl
On the Asymptotic Behavior of Adaptive Testing Strategy for Software Reliability Assessment.
IEEE Trans. Software Eng.
Junpeng Lv, Bei-Bei Yin, Kai-Yuan Cai
2014 J jnl
Output feedback tracking control by additive state decomposition for a class of uncertain systems.
Int. J. Syst. Sci.
Quan Quan, Hai Lin, Kai-Yuan Cai
2014 J jnl
Protection issues for supply systems involving random attacks.
Comput. Oper. Res.
Xiaoyi Zhang, Zheng Zheng, Yueni Zhu, Kai-Yuan Cai
2014 — conf
Refining a Randomized Post-optimization Method for Covering Arrays.
ICST Workshops
Xiaohua Li, Zhao Dong, Huayao Wu, Changhai Nie, Kai-Yuan Cai
2014 — conf
Software Maintenance Optimization Based on Stackelberg Game Methods.
ISSRE Workshops
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Cheng-Hong Wang, Kishor S. Trivedi, Kai-Yuan Cai, Zhenyu Zhang
2013 — conf
A Case Study of Adaptive Combinatorial Testing.
COMPSAC Workshops
Changhai Nie, Siyang Chen, Hareton Leung, Kai-Yuan Cai
2013 — conf
A Distributed Protective Approach for Multiechelon Supply Systems.
COMPSAC Workshops
Xiaoyi Zhang, Zheng Zheng, Yueni Zhu, Kai-Yuan Cai
2013 J jnl
A comprehensive approach to optimal software rejuvenation.
Perform. Evaluation
Jing Zhao, Yanbin Wang, Gao-Rong Ning, Kishor S. Trivedi, Rivalino Matias Jr., Kai-Yuan Cai
2013 J jnl
A linear algebraic criterion for controllability of both continuous-time and discrete-time symmetric bilinear systems.
J. Frankl. Inst.
Lin Tie, Kai-Yuan Cai, Yan Lin
2013 — conf
Adaptive Combinatorial Testing.
QSIC
Changhai Nie, Hareton Leung, Kai-Yuan Cai
2013 — conf
An Adaptive Control Strategy for Managing Concurrent Service Requests in Service-Based Systems.
COMPSAC Workshops
Wenlong Zhu, Bei-Bei Yin, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau
2013 J jnl
Attitude Controllability Analysis and Degraded Attitude Control Scheme for a class of Hexacopters Subject to One Rotor Failure.
CoRR
Guangxun Du, Quan Quan, Kai-Yuan Cai
2013 J jnl
Bi-level programming based real-time path planning for unmanned aerial vehicles.
Knowl. Based Syst.
Wei Liu, Zheng Zheng, Kai-Yuan Cai
2013 J jnl
Enhancing software reliability estimates using modified adaptive testing.
Inf. Softw. Technol.
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong, Aditya P. Mathur
2013 — conf
Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques.
QSIC
Peifeng Rao, Zheng Zheng, Tsong Yueh Chen, Nan Wang, Kai-Yuan Cai
2013 J jnl
Mutation-oriented test data augmentation for GUI software fault localization.
Inf. Softw. Technol.
Zhongxing Yu, Chenggang Bai, Kai-Yuan Cai
2013 B conf
On the Gain of Measuring Test Case Prioritization.
COMPSAC
Junpeng Lv, Bei-Bei Yin, Kai-Yuan Cai
2013 J jnl
Quantitative effects of software testing on reliability improvement in the presence of imperfect debugging.
Inf. Sci.
Ping Cao, Zhao Dong, Ke Liu, Kai-Yuan Cai
2013 J jnl
Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability.
CoRR
Ping Cao, Zhao Dong, Ke Liu, Kai-Yuan Cai
2013 J jnl
The r-interdiction median problem with probabilistic protection and its solution algorithm.
Comput. Oper. Res.
Yueni Zhu, Zheng Zheng, Xiaoyi Zhang, Kai-Yuan Cai
2012 — conf
3-Way GUI Test Cases Generation Based on Event-Wise Partitioning.
QSIC
Jing Feng, Bei-Bei Yin, Kai-Yuan Cai, Zhongxing Yu
2012 — conf
A Reputation System for Trustworthy QoS Information in Service-Based Systems.
COMPSAC Workshops
Jun Lin, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Stephen S. Yau, Dazhi Huang
2012 J jnl
A stability theorem of the direct Lyapunov's method for neutral-type systems in a critical case.
Int. J. Syst. Sci.
Quan Quan, Kai-Yuan Cai
2012 J jnl
Additive-State-Decomposition-Based Dynamic Inversion Stabilized Control for a Class of Uncertain Systems and Its Application to Missile Longitudinal Tracking
CoRR
Quan Quan, Kai-Yuan Cai
2012 J jnl
Additive-State-Decomposition-Based Tracking Control for TORA Benchmark
CoRR
Quan Quan, Kai-Yuan Cai
2012 — conf
Additive-output-decomposition-based dynamic inversion tracking control for a class of uncertain linear time-invariant systems.
CDC
Quan Quan, Kai-Yuan Cai
2012 J jnl
Continuous-Time Equality-Constrained Optimization Based on a New Projection Matrix
CoRR
Quan Quan, Kai-Yuan Cai
2012 — conf
Distribution-Aware Mutation Analysis.
COMPSAC Workshops
Chang-Ai Sun, Guan Wang, Kai-Yuan Cai, Tsong Yueh Chen
2012 J jnl
Time-domain analysis of the Savitzky-Golay filters.
Digit. Signal Process.
Quan Quan, Kai-Yuan Cai
2012 B conf
Towards Dynamic Random Testing for Web Services.
COMPSAC
Chang-Ai Sun, Guan Wang, Kai-Yuan Cai, Tsong Yueh Chen
2011 J jnl
A Filtered Repetitive Controller for a Class of Nonlinear Systems.
IEEE Trans. Autom. Control.
Quan Quan, Kai-Yuan Cai
2011 — conf
A Sufficient Condition for Parameters Estimation in Dynamic Random Testing.
COMPSAC Workshops
Junpeng Lv, Hai Hu, Kai-Yuan Cai
2011 J jnl
A feedback based CRI approach to fuzzy reasoning.
Appl. Soft Comput.
Zheng Zheng, Shanjie Wu, Wei Liu, Kai-Yuan Cai
2011 J jnl
Finite-time reliable guaranteed cost fuzzy control for discrete-time nonlinear systems.
Int. J. Syst. Sci.
Dedong Yang, Kai-Yuan Cai
2011 — conf
GUI Software Fault Localization Using N-gram Analysis.
HASE
Zhongxing Yu, Hai Hu, Chenggang Bai, Kai-Yuan Cai, W. Eric Wong
2011 J jnl
Guest Editorial: Computational Intelligence in Reliability Engineering.
IEEE Trans. Reliab.
Gregory Levitin, Kai-Yuan Cai
2011 — conf
Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain.
WoSAR@ISSRE
Gao-Rong Ning, Kishor S. Trivedi, Hai Hu, Kai-Yuan Cai
2011 J jnl
On controllability of discrete-time bilinear systems.
J. Frankl. Inst.
Lin Tie, Kai-Yuan Cai, Yan Lin
2011 J jnl
On near-controllability and stabilizability of a class of discrete-time bilinear systems.
Syst. Control. Lett.
Lin Tie, Kai-Yuan Cai
2011 J jnl
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input
CoRR
Quan Quan, Hai Lin, Kai-Yuan Cai
2011 J jnl
Output tracking for nonlinear non-minimum phase systems with output delay and application to an F-16 jet fighter.
Int. J. Syst. Sci.
Bo Zhu, Xinhua Wang, Kai-Yuan Cai
2011 — conf
Software Fault Localization Based on Centrality Measures.
COMPSAC Workshops
Ling-Zan Zhu, Bei-Bei Yin, Kai-Yuan Cai
2011 — conf
Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems.
COMPSAC Workshops
Huanyin Yi, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Aditya P. Mathur
2010 — conf
A Parallel Implementation Strategy of Adaptive Testing.
COMPSAC Workshops
Hai Hu, Chang-Hai Jiang, Feng Ye, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau
2010 B conf
Delta-equalities of Complex Fuzzy Relations.
AINA
Guangquan Zhang, Tharam S. Dillon, Kai-Yuan Cai, Jun Ma, Jie Lu
2010 — conf
Design and control of a tri-rotor aircraft.
ICCA
Penghui Fan, Xinhua Wang, Kai-Yuan Cai
2010 — conf
Entropy-Based Measures of Heterogeneity of Software Structural Profile.
COMPSAC Workshops
Bei-Bei Yin, Ling-Zan Zhu, Kai-Yuan Cai
2010 — conf
Event Handler-Based Coverage for GUI Testing.
QSIC
Lei Zhao, Kai-Yuan Cai
2010 J jnl
Finite-time quantized guaranteed cost fuzzy control for continuous-time nonlinear systems.
Expert Syst. Appl.
Dedong Yang, Kai-Yuan Cai
2010 — conf
Indoor autonomous hovering control for a small unmanned coaxial helicopter.
ICCA
Shanjie Wu, Zheng Zheng, Kai-Yuan Cai
2010 J jnl
Mathematical modeling of software reliability testing with imperfect debugging.
Comput. Math. Appl.
Kai-Yuan Cai, Ping Cao, Zhao Dong, Ke Liu
2010 — conf
On Modeling of GUI Test Profile.
ICST Workshops
Lei Zhao, Kai-Yuan Cai
2010 J jnl
On Uncontrollable Discrete-Time Bilinear Systems Which are "Nearly" Controllable.
IEEE Trans. Autom. Control.
Lin Tie, Kai-Yuan Cai, Yan Lin
2010 J jnl
Reliable guaranteed cost sampling control for nonlinear time-delay systems.
Math. Comput. Simul.
Dedong Yang, Kai-Yuan Cai
2010 J jnl
Robust variable sampling control for T-S fuzzy systems.
Int. J. Syst. Sci.
Dedong Yang, Kai-Yuan Cai
2010 J jnl
Robustness of fuzzy operators in environments with random perturbations.
Soft Comput.
Zheng Zheng, Wei Liu, Kai-Yuan Cai
2010 J jnl
Tracking control for VTOL aircraft with disabled IMUs.
Int. J. Syst. Sci.
Xinhua Wang, Jinkun Liu, Kai-Yuan Cai
2009 — conf
A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS).
COMPSAC (2)
Chang Liu, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau
2009 — conf
A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload.
QSIC
Ke-Xian Xue, Liang Su, Yun-Fei Jia, Kai-Yuan Cai
2009 — conf
Additive Decomposition and its applications to internal-model-based tracking.
CDC
Quan Quan, Kai-Yuan Cai
2009 J jnl
An Improved Approach to Adaptive Testing.
Int. J. Softw. Eng. Knowl. Eng.
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai
2009 J jnl
An Intelligent Control Architecture for Adaptive Service-Based Software Systems.
Int. J. Softw. Eng. Knowl. Eng.
Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau
2009 — conf
Improving Software Testing Cost-Effectiveness through Dynamic Partitioning.
QSIC
Zhi Quan Zhou, Arnaldo Sinaga, Lei Zhao, Willy Susilo, Kai-Yuan Cai
2009 — conf
Mining Components with Software Execution Data.
Software Engineering Research and Practice
Shaowen Qin, Bei-Bei Yin, Kai-Yuan Cai
2009 C conf
On the Computational Complexity of Parameter Estimation in Adaptive Testing Strategies.
PRDC
Feng Ye, Chang Liu, Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai
2009 J jnl
Operation properties and delta-equalities of complex fuzzy sets.
Int. J. Approx. Reason.
Guangquan Zhang, Tharam S. Dillon, Kai-Yuan Cai, Jun Ma, Jie Lu
2009 — conf
Output tracking of VTOL aircraft with delayed attitude measurements.
CDC
Bo Zhu, Xinhua Wang, Kai-Yuan Cai
2009 C conf
Propagation of Random Perturbations under Fuzzy Algebraic Operators.
KSEM
Zheng Zheng, Shanjie Wu, Kai-Yuan Cai
2009 — conf
Quadrotor aircraft control without velocity measurements.
CDC
Ruifeng Zhang, Xinhua Wang, Kai-Yuan Cai
2009 J jnl
Software execution processes as an evolving complex network.
Inf. Sci.
Kai-Yuan Cai, Bei-Bei Yin
2009 J jnl
Supervisory control of discrete event systems with state-dependent controllability.
Int. J. Syst. Sci.
Peng Wang, Kai-Yuan Cai
2009 J jnl
Tracking control for a velocity-sensorless VTOL aircraft with delayed outputs.
Autom.
Xinhua Wang, Jinkun Liu, Kai-Yuan Cai
2008 C conf
A Nonlinear Approach to Modeling of Software Aging in a Web Server.
APSEC
Yun-Fei Jia, Lei Zhao, Kai-Yuan Cai
2008 — conf
A feedback control approach for software rejuvenation in a web server.
ISSRE Workshops
Yun-Fei Jia, Jing-Ya Su, Kai-Yuan Cai
2008 B conf
Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model.
COMPSAC
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai
2008 B conf
An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns.
COMPSAC
Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau
2008 J jnl
An analysis of research topics in software engineering - 2006.
J. Syst. Softw.
Kai-Yuan Cai, David Card
2008 J jnl
An experimental study of adaptive testing for software reliability assessment.
J. Syst. Softw.
Kai-Yuan Cai, Chang-Hai Jiang, Hai Hu, Chenggang Bai
2008 J jnl
Does software reliability growth behavior follow a non-homogeneous Poisson process.
Inf. Softw. Technol.
Kai-Yuan Cai, De-Bin Hu, Chenggang Bai, Hai Hu, Tao Jing
2008 J jnl
Fuzzy Reasoning as a Control Problem.
IEEE Trans. Fuzzy Syst.
Kai-Yuan Cai, Lei Zhang
2008 B conf
IWSC 2008 Workshop Organization.
COMPSAC
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
2008 B conf
Message from the IWSC 2008 Workshop Organizers.
COMPSAC
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
2008 J jnl
On the Online Parameter Estimation Problem in Adaptive Software Testing.
Int. J. Softw. Eng. Knowl. Eng.
Kai-Yuan Cai, Tsong Yueh Chen, Yong-Chao Li, Yuen-Tak Yu, Lei Zhao
2008 — conf
On the Relationship between Software Aging and Related Parameters (Short Paper).
QSIC
Yun-Fei Jia, Xiu-E Chen, Lei Zhao, Kai-Yuan Cai
2008 J jnl
On the Trend of Remaining Software Defect Estimation.
IEEE Trans. Syst. Man Cybern. Part A
Chenggang Bai, Kai-Yuan Cai, Q. P. Hu, Szu Hui Ng
2008 J jnl
Reliable H
IEEE Trans. Syst. Man Cybern. Part B
Dedong Yang, Kai-Yuan Cai
2008 — ch.
Software Cybernetics.
Wiley Encyclopedia of Computer Science and Engineering
João W. Cangussu, Kai-Yuan Cai, Scott D. Miller, Aditya P. Mathur
2008 J jnl
Software testing processes as a linear dynamic system.
Inf. Sci.
Kai-Yuan Cai, Zhao Dong, Ke Liu
2007 — conf
A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design.
COMPSAC (2)
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong
2007 — conf
A Data Mining Approach for Software State Definition.
COMPSAC (1)
Bei-Bei Yin, Chenggang Bai, Kai-Yuan Cai
2007 — conf
A Software Cybernetics Approach to Deploying and Scheduling.
FTDCS
Stephen S. Yau, Dazhi Huang, Luping Zhu, Kai-Yuan Cai
2007 J jnl
A mathematical modeling framework for software reliability testing.
Int. J. Gen. Syst.
Kai-Yuan Cai, Zhao Dong, Ke Liu, Chenggang Bai
2007 J jnl
A polynomial dynamic system approach to software design for attractivity requirement.
Inf. Sci.
Xiang-Yun Wang, Wenhui Zhang, Yong-Chao Li, Kai-Yuan Cai
2007 J jnl
Adaptive software testing with fixed-memory feedback.
J. Syst. Softw.
Kai-Yuan Cai, Bo Gu, Hai Hu, Yong-Chao Li
2007 — conf
Distributed Frequent Closed Itemsets Mining.
SITIS
Chun Liu, Zheng Zheng, Kai-Yuan Cai, Shichao Zhang
2007 C conf
Effective Fault Localization using BP Neural Networks.
SEKE
W. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, Jing Dong
2007 — conf
Effective Fault Localization using Code Coverage.
COMPSAC (1)
W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai
2007 — conf
Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements.
COMPSAC (2)
Kai-Yuan Cai
2007 J jnl
Robust fuzzy control for uncertain discrete-time nonlinear Markovian jump systems without mode observations.
Inf. Sci.
Huai-Ning Wu, Kai-Yuan Cai
2006 — conf
A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile.
COMPSAC (1)
Bei-Bei Yin, Yan Shi, Chenggang Bai, Kai-Yuan Cai
2006 — conf
A Dynamic Partitioning Approach for GUI Testing.
COMPSAC (2)
Kai-Yuan Cai, Lei Zhao, Feng Wang
2006 — conf
A Threshold Autoregressive Model for Software Aging.
SOSE
Xiu-E Chen, Quan Quan, Yun-Fei Jia, Kai-Yuan Cai
2006 — conf
Chaotic Analysis of Software Aging in Web Server.
SOSE
Yun-Fei Jia, Xiu-E Chen, Kai-Yuan Cai
2006 J jnl
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse
2006 J jnl
H
Autom.
Huai-Ning Wu, Kai-Yuan Cai
2006 J jnl
Introduction to the special section on software cybernetics.
J. Syst. Softw.
Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur
2006 J jnl
Mode-independent robust stabilization for uncertain Markovian jump nonlinear systems via fuzzy control.
IEEE Trans. Syst. Man Cybern. Part B
Huai-Ning Wu, Kai-Yuan Cai
2006 — conf
Optimal and Adaptive Testing with Cost Constraints.
AST@ICSE
Kai-Yuan Cai, Yong-Chao Li, Wei-Yi Ning, W. Eric Wong, Hai Hu
2006 — conf
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.
QSIC
Peng Wang, Kai-Yuan Cai
2006 J jnl
Software Reliability Experimentation and Control.
J. Comput. Sci. Technol.
Kai-Yuan Cai
2005 — conf
A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components.
QSIC
Hai Hu, W. Eric Wong, Chang-Hai Jiang, Kai-Yuan Cai
2005 J jnl
A Partial-Repeatability Approach to Data Mining.
IEEE Intell. Informatics Bull.
Kai-Yuan Cai, Yunfei Yin, Shichao Zhang
2005 Misc conf
Adaptive testing of software components.
SAC
Kai-Yuan Cai, Tsong Yueh Chen, Yong-Chao Li, Wei-Yi Ning, Yuen-Tak Yu
2005 J jnl
An improved robust fuzzy-PID controller with optimal fuzzy reasoning.
IEEE Trans. Syst. Man Cybern. Part B
Han-Xiong Li, Lei Zhang, Kai-Yuan Cai, Guanrong Chen
2005 J jnl
Fuzzy nonlinear regression with fuzzified radial basis function network.
IEEE Trans. Fuzzy Syst.
Dong Zhang, Luo-Feng Deng, Kai-Yuan Cai, Albert So
2005 — conf
On the Test Case Definition for GUI Testing.
QSIC
Kai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang
2005 J jnl
Optimal software testing in the setting of controlled Markov chains.
Eur. J. Oper. Res.
Kai-Yuan Cai, Yong-Chao Li, Wei-Yi Ning
2005 — conf
Partition Testing with Dynamic Partitioning.
COMPSAC (2)
Kai-Yuan Cai, Tao Jing, Chenggang Bai
2005 J jnl
Variable-structure coherent systems
Int. J. Gen. Syst.
Kai-Yuan Cai
2004 J jnl
Extended neuro-fuzzy models of multilayer perceptrons.
Fuzzy Sets Syst.
Dong Zhang, Xiao-Li Bai, Kai-Yuan Cai
2004 J jnl
On the polynomial dynamic system approach to software development.
Sci. China Ser. F Inf. Sci.
Xiangyun Wang, Yongchao Li, Kai-Yuan Cai
2004 J jnl
Optimal and adaptive testing for software reliability assessment.
Inf. Softw. Technol.
Kai-Yuan Cai, Yong-Chao Li, Ke Liu
2004 J jnl
Optimal fuzzy reasoning and its robustness analysis.
Int. J. Intell. Syst.
Lei Zhang, Kai-Yuan Cai
2004 — conf
Towards a Control-Theoretical Approach to Software Fault-Tolerance.
QSIC
Kai-Yuan Cai, Xiang-Yun Wang
2003 B conf
A robust fuzzy PD controller for automatic steering control of autonomous vehicles.
FUZZ-IEEE
Lin Cai, Ahmad B. Rad, Wai-Lok Chan, Kai-Yuan Cai
2003 B conf
An Efficient Defect Estimation Method for Software Defect Curves.
COMPSAC
Chenggang Bai, Kai-Yuan Cai, Tsong Yueh Chen
2003 — conf
An Overview of Software Cybernetics.
STEP
Kai-Yuan Cai, João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
2003 — conf
How to Test Software for Optimal Software Reliability Assessment.
QSIC
Kai-Yuan Cai, Yong-Chao Li, Ke Liu
2003 J jnl
Optimal stopping of multi-project software testing in the context of software cybernetics.
Sci. China Ser. F Inf. Sci.
Kai-Yuan Cai
2003 A* conf
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.
PerCom
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai
2003 — conf
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.
QSIC
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai
2002 J jnl
Analyzing software science data with partial repeatability.
J. Syst. Softw.
Kai-Yuan Cai, Lei Chen
2002 J jnl
Optimal software testing and adaptive software testing in the context of software cybernetics.
Inf. Softw. Technol.
Kai-Yuan Cai
2002 — conf
Towards Research on Software Cybernetics.
HASE
Kai-Yuan Cai, Tsong Yueh Chen, T. H. Tse
2001 J jnl
On the neural network approach in software reliability modeling.
J. Syst. Softw.
Kai-Yuan Cai, Lin Cai, Weidong Wang, Zhou-Yi Yu, David Zhang
2001 — conf
Optimal Test Profile in the Context of Software Cybernetics.
APAQS
Kai-Yuan Cai
2001 J jnl
Robustness of fuzzy reasoning and δ-equalities of fuzzy sets.
IEEE Trans. Fuzzy Syst.
Kai-Yuan Cai
2000 J jnl
Towards a conceptual framework of software run reliability modeling.
Inf. Sci.
Kai-Yuan Cai
1998 J jnl
On estimating the number of defects remaining in software.
J. Syst. Softw.
Kai-Yuan Cai
1996 J jnl
Preface.
Fuzzy Sets Syst.
Kai-Yuan Cai
1996 J jnl
System failure engineering and fuzzy methodology An introductory overview.
Fuzzy Sets Syst.
Kai-Yuan Cai
1995 J jnl
δ-Equalities of fuzzy sets.
Fuzzy Sets Syst.
Kai-Yuan Cai