Kai-Yuan Cai

According to our database1, Kai-Yuan Cai authored at least 192 papers between 1995 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Two-Level Rejuvenation for Android Smartphones and Its Optimization.
IEEE Trans. Reliability, 2019

Dynamic Random Testing: Technique and Experimental Evaluation.
IEEE Trans. Reliability, 2019

Efficiency Optimization and Component Selection for Propulsion Systems of Electric Multicopters.
IEEE Trans. Industrial Electronics, 2019

Adaptive Partition Testing.
IEEE Trans. Computers, 2019

An Adaptive Control Method for Resource Provisioning with Resource Utilization Constraints in Cloud Computing.
Int. J. Comput. Intell. Syst., 2019

Design Automation and Optimization Methodology for Electric Multicopter UAVs.
CoRR, 2019

Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles.
CoRR, 2019

Simulation Credibility Assessment Methodology with FPGA-based Hardware-in-the-loop Platform.
CoRR, 2019

Adaptive Multivariable Control for Multiple Resource Allocation of Service-Based Systems in Cloud Computing.
IEEE Access, 2019

2018
A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms.
IEEE Trans. Reliability, 2018

Saturated repetitive control for a class of nonlinear systems: A contraction mapping method.
Systems & Control Letters, 2018

Visual-inertial estimation of velocity for multicopters based on vision motion constraint.
Robotics and Autonomous Systems, 2018

Exploring the usefulness of unlabelled test cases in software fault localization.
Journal of Systems and Software, 2018

A cost-effective software testing strategy employing online feedback information.
Inf. Sci., 2018

An Analytical Design Optimization Method for Electric Propulsion Systems of Multicopter UAVs with Desired Hovering Endurance.
CoRR, 2018

Terminal Iterative Learning Control for Autonomous Aerial Refueling under Aerodynamic Disturbances.
CoRR, 2018

An Adaptive PID Control for QoS Management in Cloud Computing System.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

QoS-Based Web Service Selection for Multiple Users by Genetic Algorithm.
Proceedings of the 14th International Conference on Natural Computation, 2018

2017
Robust Pose Estimation for Multirotor UAVs Using Off-Board Monocular Vision.
IEEE Trans. Industrial Electronics, 2017

Output Feedback ILC for a Class of Nonminimum Phase Nonlinear Systems With Input Saturation: An Additive-State-Decomposition-Based Method.
IEEE Trans. Automat. Contr., 2017

A health performance prediction method of large-scale stochastic linear hybrid systems with small failure probability.
Rel. Eng. & Sys. Safety, 2017

A modified profust-performance-reliability algorithm and its application to dynamic systems.
Journal of Intelligent and Fuzzy Systems, 2017

Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory.
CoRR, 2017

A Control Performance Index for Multicopters Under Off-nominal Conditions.
CoRR, 2017

An Approach to Web Services Selection for Multiple Users.
IEEE Access, 2017

A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Adaptive Resource Allocation of Multiple Servers for Service-Based Systems in Cloud Computing.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process.
IEEE Trans. Reliability, 2016

A New Continuous-Time Equality-Constrained Optimization to Avoid Singularity.
IEEE Trans. Neural Netw. Learning Syst., 2016

Drogue dynamic model under bow wave in probe-and-drogue refueling.
IEEE Trans. Aerospace and Electronic Systems, 2016

Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.
CoRR, 2016

Event Handler Tree Model for GUI Test Case Generation.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Controllability Analysis and Degraded Control for a Class of Hexacopters Subject to Rotor Failures.
Journal of Intelligent and Robotic Systems, 2015

Using Neural Networks to Forecast Available System Resources: An Approach and Empirical Investigation.
International Journal of Software Engineering and Knowledge Engineering, 2015

Calibration of multiple fish-eye cameras using a wand.
IET Computer Vision, 2015

An Adaptive Control Strategy for Resource Allocation of Service-Based Systems in Cloud Environment.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Using Partition Information to Prioritize Test Cases for Fault Localization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Approach for Test Profile Optimization in Dynamic Random Testing.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
Adaptive and Random Partition Software Testing.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

On the Asymptotic Behavior of Adaptive Testing Strategy for Software Reliability Assessment.
IEEE Trans. Software Eng., 2014

A Profust Reliability Based Approach to Prognostics and Health Management.
IEEE Trans. Reliability, 2014

Estimating confidence interval of software reliability with adaptive testing strategy.
Journal of Systems and Software, 2014

On small-controllability of a class of Hammerstein-nonlinear systems - an implicit function approach.
Int. J. Systems Science, 2014

Output feedback tracking control by additive state decomposition for a class of uncertain systems.
Int. J. Systems Science, 2014

Discrete-Time Output-Feedback Robust Repetitive Control for a Class of Nonlinear Systems by Additive State Decomposition.
CoRR, 2014

A New Causal Ideal Internal Dynamics Generator.
CoRR, 2014

Calibration of Multiple Fish-Eye Cameras Using a Wand.
CoRR, 2014

Controllability Analysis for a Class of Multirotors Subject to Rotor Failure/Wear.
CoRR, 2014

Protection issues for supply systems involving random attacks.
Computers & OR, 2014

Software Maintenance Optimization Based on Stackelberg Game Methods.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Refining a Randomized Post-optimization Method for Covering Arrays.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A History-Based Dynamic Random Software Testing.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Dynamic Random Testing with Parameter Adjustment.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
A comprehensive approach to optimal software rejuvenation.
Perform. Eval., 2013

Bi-level programming based real-time path planning for unmanned aerial vehicles.
Knowl.-Based Syst., 2013

A linear algebraic criterion for controllability of both continuous-time and discrete-time symmetric bilinear systems.
J. Franklin Institute, 2013

Quantitative effects of software testing on reliability improvement in the presence of imperfect debugging.
Inf. Sci., 2013

Mutation-oriented test data augmentation for GUI software fault localization.
Information & Software Technology, 2013

Enhancing software reliability estimates using modified adaptive testing.
Information & Software Technology, 2013

Attitude Controllability Analysis and Degraded Attitude Control Scheme for a class of Hexacopters Subject to One Rotor Failure.
CoRR, 2013

Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability.
CoRR, 2013

The r-interdiction median problem with probabilistic protection and its solution algorithm.
Computers & OR, 2013

Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

Adaptive Combinatorial Testing.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

An Adaptive Control Strategy for Managing Concurrent Service Requests in Service-Based Systems.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

A Distributed Protective Approach for Multiechelon Supply Systems.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

A Case Study of Adaptive Combinatorial Testing.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

On the Gain of Measuring Test Case Prioritization.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
A stability theorem of the direct Lyapunov's method for neutral-type systems in a critical case.
Int. J. Systems Science, 2012

Time-domain analysis of the Savitzky-Golay filters.
Digital Signal Processing, 2012

Additive-State-Decomposition-Based Tracking Control for TORA Benchmark
CoRR, 2012

Additive-State-Decomposition-Based Dynamic Inversion Stabilized Control for a Class of Uncertain Systems and Its Application to Missile Longitudinal Tracking
CoRR, 2012

Continuous-Time Equality-Constrained Optimization Based on a New Projection Matrix
CoRR, 2012

3-Way GUI Test Cases Generation Based on Event-Wise Partitioning.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Distribution-Aware Mutation Analysis.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Towards Dynamic Random Testing for Web Services.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

A Reputation System for Trustworthy QoS Information in Service-Based Systems.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Additive-output-decomposition-based dynamic inversion tracking control for a class of uncertain linear time-invariant systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Guest Editorial: Computational Intelligence in Reliability Engineering.
IEEE Trans. Reliability, 2011

A Filtered Repetitive Controller for a Class of Nonlinear Systems.
IEEE Trans. Automat. Contr., 2011

On near-controllability and stabilizability of a class of discrete-time bilinear systems.
Systems & Control Letters, 2011

On controllability of discrete-time bilinear systems.
J. Franklin Institute, 2011

Output tracking for nonlinear non-minimum phase systems with output delay and application to an F-16 jet fighter.
Int. J. Systems Science, 2011

Finite-time reliable guaranteed cost fuzzy control for discrete-time nonlinear systems.
Int. J. Systems Science, 2011

Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input
CoRR, 2011

A feedback based CRI approach to fuzzy reasoning.
Appl. Soft Comput., 2011

Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain.
Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

GUI Software Fault Localization Using N-gram Analysis.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Software Fault Localization Based on Centrality Measures.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

A Sufficient Condition for Parameters Estimation in Dynamic Random Testing.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
On Uncontrollable Discrete-Time Bilinear Systems Which are "Nearly" Controllable.
IEEE Trans. Automat. Contr., 2010

Robustness of fuzzy operators in environments with random perturbations.
Soft Comput., 2010

Reliable guaranteed cost sampling control for nonlinear time-delay systems.
Mathematics and Computers in Simulation, 2010

Robust variable sampling control for T-S fuzzy systems.
Int. J. Systems Science, 2010

Tracking control for VTOL aircraft with disabled IMUs.
Int. J. Systems Science, 2010

Finite-time quantized guaranteed cost fuzzy control for continuous-time nonlinear systems.
Expert Syst. Appl., 2010

Mathematical modeling of software reliability testing with imperfect debugging.
Computers & Mathematics with Applications, 2010

Event Handler-Based Coverage for GUI Testing.
Proceedings of the 10th International Conference on Quality Software, 2010

On Modeling of GUI Test Profile.
Proceedings of the Third International Conference on Software Testing, 2010

Indoor autonomous hovering control for a small unmanned coaxial helicopter.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Design and control of a tri-rotor aircraft.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Entropy-Based Measures of Heterogeneity of Software Structural Profile.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Parallel Implementation Strategy of Adaptive Testing.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Delta-equalities of Complex Fuzzy Relations.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
Software execution processes as an evolving complex network.
Inf. Sci., 2009

Supervisory control of discrete event systems with state-dependent controllability.
Int. J. Systems Science, 2009

An Intelligent Control Architecture for Adaptive Service-Based Software Systems.
International Journal of Software Engineering and Knowledge Engineering, 2009

An Improved Approach to Adaptive Testing.
International Journal of Software Engineering and Knowledge Engineering, 2009

Operation properties and delta-equalities of complex fuzzy sets.
Int. J. Approx. Reasoning, 2009

Tracking control for a velocity-sensorless VTOL aircraft with delayed outputs.
Automatica, 2009

Mining Components with Software Execution Data.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Improving Software Testing Cost-Effectiveness through Dynamic Partitioning.
Proceedings of the Ninth International Conference on Quality Software, 2009

A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload.
Proceedings of the Ninth International Conference on Quality Software, 2009

On the Computational Complexity of Parameter Estimation in Adaptive Testing Strategies.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Propagation of Random Perturbations under Fuzzy Algebraic Operators.
Proceedings of the Knowledge Science, 2009

A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS).
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Output tracking of VTOL aircraft with delayed attitude measurements.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Quadrotor aircraft control without velocity measurements.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Additive Decomposition and its applications to internal-model-based tracking.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Software Cybernetics.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Reliable Hinfty Nonuniform Sampling Fuzzy Control for Nonlinear Systems With Time Delay.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2008

On the Trend of Remaining Software Defect Estimation.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

Fuzzy Reasoning as a Control Problem.
IEEE Trans. Fuzzy Systems, 2008

An experimental study of adaptive testing for software reliability assessment.
Journal of Systems and Software, 2008

An analysis of research topics in software engineering - 2006.
Journal of Systems and Software, 2008

Software testing processes as a linear dynamic system.
Inf. Sci., 2008

Does software reliability growth behavior follow a non-homogeneous Poisson process.
Information & Software Technology, 2008

On the Online Parameter Estimation Problem in Adaptive Software Testing.
International Journal of Software Engineering and Knowledge Engineering, 2008

On the Relationship between Software Aging and Related Parameters (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

A feedback control approach for software rejuvenation in a web server.
Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

IWSC 2008 Workshop Organization.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the IWSC 2008 Workshop Organizers.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Nonlinear Approach to Modeling of Software Aging in a Web Server.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
Adaptive software testing with fixed-memory feedback.
Journal of Systems and Software, 2007

Robust fuzzy control for uncertain discrete-time nonlinear Markovian jump systems without mode observations.
Inf. Sci., 2007

A polynomial dynamic system approach to software design for attractivity requirement.
Inf. Sci., 2007

A mathematical modeling framework for software reliability testing.
Int. J. General Systems, 2007

Distributed Frequent Closed Itemsets Mining.
Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007

Effective Fault Localization using BP Neural Networks.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Software Cybernetics Approach to Deploying and Scheduling.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

A Data Mining Approach for Software State Definition.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Effective Fault Localization using Code Coverage.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Introduction to the special section on software cybernetics.
Journal of Systems and Software, 2006

Software Reliability Experimentation and Control.
J. Comput. Sci. Technol., 2006

Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2006

H2 guaranteed cost fuzzy control design for discrete-time nonlinear systems with parameter uncertainty.
Automatica, 2006

Chaotic Analysis of Software Aging in Web Server.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

A Threshold Autoregressive Model for Software Aging.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Optimal and Adaptive Testing with Cost Constraints.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

A Dynamic Partitioning Approach for GUI Testing.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
An improved robust fuzzy-PID controller with optimal fuzzy reasoning.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2005

Fuzzy nonlinear regression with fuzzified radial basis function network.
IEEE Trans. Fuzzy Systems, 2005

Variable-structure coherent systems.
Int. J. General Systems, 2005

Optimal software testing in the setting of controlled Markov chains.
European Journal of Operational Research, 2005

A Partial-Repeatability Approach to Data Mining.
IEEE Intelligent Informatics Bulletin, 2005

Adaptive testing of software components.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

On the Test Case Definition for GUI Testing.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Partition Testing with Dynamic Partitioning.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Optimal and adaptive testing for software reliability assessment.
Information & Software Technology, 2004

Optimal fuzzy reasoning and its robustness analysis.
Int. J. Intell. Syst., 2004

Extended neuro-fuzzy models of multilayer perceptrons.
Fuzzy Sets and Systems, 2004

H2 guaranteed cost fuzzy control for uncertain nonlinear systems via linear matrix inequalities.
Fuzzy Sets and Systems, 2004

On the polynomial dynamic system approach to software development.
Science in China Series F: Information Sciences, 2004

Towards a Control-Theoretical Approach to Software Fault-Tolerance.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003
Optimal stopping of multi-project software testing in the context of software cybernetics.
Science in China Series F: Information Sciences, 2003

An Overview of Software Cybernetics.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

How to Test Software for Optimal Software Reliability Assessment.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

A robust fuzzy PD controller for automatic steering control of autonomous vehicles.
Proceedings of the 12th IEEE International Conference on Fuzzy Systems, 2003

An Efficient Defect Estimation Method for Software Defect Curves.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Analyzing software science data with partial repeatability.
Journal of Systems and Software, 2002

Optimal software testing and adaptive software testing in the context of software cybernetics.
Information & Software Technology, 2002

Towards Research on Software Cybernetics.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

2001
Robustness of fuzzy reasoning and δ-equalities of fuzzy sets.
IEEE Trans. Fuzzy Systems, 2001

On the neural network approach in software reliability modeling.
Journal of Systems and Software, 2001

Optimal Test Profile in the Context of Software Cybernetics.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
Towards a conceptual framework of software run reliability modeling.
Inf. Sci., 2000

1998
On estimating the number of defects remaining in software.
Journal of Systems and Software, 1998

1996
System failure engineering and fuzzy methodology An introductory overview.
Fuzzy Sets and Systems, 1996

Preface.
Fuzzy Sets and Systems, 1996

1995
δ-Equalities of fuzzy sets.
Fuzzy Sets and Systems, 1995


  Loading...