All Stories

  1. Preparation and Utilization of Mixed States for Testing Quantum Programs–RCR Report

    Article • ACM Transactions on Software Engineering and Methodology, December 2025, ACM (Association for Computing Machinery)

    Kai-Yuan Cai

  2. Preparation and Utilization of Mixed States for Testing Quantum Programs

    Article • ACM Transactions on Software Engineering and Methodology, May 2025, ACM (Association for Computing Machinery)

    Kai-Yuan Cai

  3. Automatic Repair of Quantum Programs via Unitary Operation

    Article • ACM Transactions on Software Engineering and Methodology, May 2024, ACM (Association for Computing Machinery)

    Kai-Yuan Cai

  4. Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory

    Article • IET Cyber-Systems and Robotics, January 2020, the Institution of Engineering and Technology (the IET)

    Professor Quan Quan, Kai-Yuan Cai

  5. Reliable Docking Control Scheme for Probe–Drogue Refueling

    Article • Journal of Guidance Control and Dynamics, November 2019, American Institute of Aeronautics and Astronautics (AIAA)

    Kai-Yuan Cai, Professor Quan Quan

  6. Repetitive control for nonlinear systems: an actuator-focussed design method

    Article • International Journal of Control, July 2019, Taylor & Francis

    Professor Quan Quan, Kai-Yuan Cai

  7. Terminal Iterative Learning Control for Autonomous Aerial Refueling Under Aerodynamic Disturbances

    Article • Journal of Guidance Control and Dynamics, July 2018, American Institute of Aeronautics and Astronautics (AIAA)

    Professor Quan Quan, Kai-Yuan Cai

  8. Controllability Analysis for Multirotor Helicopter Rotor Degradation and Failure

    Article • Journal of Guidance Control and Dynamics, May 2015, American Institute of Aeronautics and Astronautics (AIAA)

    Professor Quan Quan, Kai-Yuan Cai