Certified Stochastic Control via Covariance Steering with Pick-to-Learn
C. Kong, Z. Donovan, M. Lahijanian, and J. McMahon. Accepted to the 65th IEEE Conference on Decision and Control (CDC), 2026.
Publications
A few selected publication highlights.
Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
C. Kong, S. Escobar, I. Gracia, J. McMahon, and M. Lahijanian. Presented at the 3rd International Conference on Neuro-Symbolic Systems (NeuS), 2026.
Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
C. Kong, L. Laurenti, J. McMahon, and M. Lahijanian. Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI), 2025.
Bayesian Diagnosability and Active Fault Identification
C. Kong, J. McMahon, and M. Lahijanian. Proceedings of the IEEE Conference on Decision and Control, 2025.
Simulation-Based Methodology for Assessing Forced Merging Strategies for Autonomous Vehicles
C. Kong, K. Liu, HE. Tseng, I. Kolmanovsky, and A. Girard. American Control Conference, 2023.
Current Projects
A few ongoing research efforts spanning trustworthy learning, guidance and control, and safety-critical autonomy.
Error Bounds for Physics-Informed Neural Networks (PINN)
Developing error bounds for PINN solutions of partial differential equations (PDEs) to establish trust in learned models.
Emirates Mission to the Asteroid Belt (EMA)
Serving as a GNC engineer for LASP on EMA, developing and validating guidance, navigation, and control algorithms for asteroid fly-bys, including image-based navigation, closed-loop attitude and orbit control, and Monte Carlo robustness analysis.
Deep Learning with Hard Constraints
Studying deep learning with hard constraint satisfaction to enable certified neural control policies for dynamical systems under uncertainty.
Past Projects
Selected simulations and control projects from earlier work on spacecraft, robotics, and dynamical systems.
NASA COLDTech
Worked on autonomy software related to NASA Concepts for Ocean Worlds Life Detection Technology, with a focus on scientist-in-the-loop exploration under high-latency, low-bandwidth mission conditions.
Kepler Orbit Simulation
Interactive orbital mechanics visualization for two-body motion and trajectory intuition building.
6DOF Dynamics and Dzhanibekov Effect
A rigid-body dynamics demo showing six-degree-of-freedom behavior and classical rotational dynamics phenomena.
LQR Control for Quadcopter
Linear-quadratic regulation for quadcopter stabilization and control design exploration.
Neural Network Altitude Controller
A quadcopter altitude-control experiment using deep neural network ideas alongside simulation.
6DOF Quadcopter Control in Wind
Simulation of quadcopter flight control under wind disturbance and environmental uncertainty.
6DOF Quadcopter Path Tracking
Path-following experiments for quadcopter motion planning and closed-loop tracking performance.
Star Tracker Control and Simulation
A spacecraft attitude-related project focused on star tracking and estimation-oriented simulation.
3DOF Quadcopter Control and Simulation
Earlier quadcopter control experiments centered on reduced-order dynamics and controller behavior.