Publications 2024

Gu, Y., Cheng, S., & Hovakimyan, N. (2024). Proto-MPC: An Encoder-Prototype-Decoder Approach for Quadrotor Control in Challenging Winds. arXiv preprint arXiv:2401.15508. (Thrust 1)

Tao, R., Cheng, S., Wang, X., Wang, S., & Hovakimyan, N. (2024). DiffTune-MPC: Closed-loop learning for model predictive control. IEEE Robotics and Automation Letters. (Thrust 1)

Tao, C., Cheng, S., Zhao, Y., Wang, F., & Hovakimyan, N. (2024). An Optimization-Based Planner with B-spline Parameterized Continuous-Time Reference Signals. arXiv preprint arXiv:2404.00133. (Thrust 1)

Tao, C., Wan, W., Gao, J., Mo, B., Kim, H., & Hovakimyan, N. (2024). Resilient Estimator-based Control Barrier Functions for Dynamical Systems with Disturbances and Noise. In AIAA AVIATION FORUM AND ASCEND 2024 (p. 4498). (Thrust 1)

Sung, M., Karumanchi, S. H., Gahlawat, A., & Hovakimyan, N. (2024). Robust model based reinforcement learning using L1 adaptive control. In 12th International Conference on Learning Representations, ICLR 2024. (Thrust 1)

Zhao, P., Guo, Z., Cheng, Y., Gahlawat, A., Kang, H., & Hovakimyan, N. (2024). Guaranteed Trajectory Tracking under Learned Dynamics with Contraction Metrics and Disturbance Estimation. Robotics, 13(7), 99. (Thrust 1)

Zhao, P., Snyder, S., Hovakimyan, N., & Cao, C. (2024). Robust adaptive control of linear parameter-varying systems with unmatched uncertainties. Journal of Guidance, Control, and Dynamics, 47(10), 2085-2102. (Thrust 1)

Zhao, P., Ghabcheloo, R., Cheng, Y., Abdi, H., & Hovakimyan, N. (2023). Convex synthesis of control barrier functions under input constraints. IEEE Control Systems Letters. (Thrust 1)

Cheng, Y., Zhao, P., & Hovakimyan, N. (2023, June). Safe and efficient reinforcement learning using disturbance-observer-based control barrier functions. In Learning for Dynamics and Control Conference (pp. 104-115). PMLR. (Thrust 1)

Bansal, A., Kim, H., Yu, S., Li, B., Hovakimyan, N., Caccamo, M., & Sha, L. (2024). Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults. Software Testing, Verification and Reliability, e1879. (Thrust 1)

Bansal, A., Zhao, Y., Zhu, J., Cheng, S., Gu, Y., Yoon, H. J., … & Sha, L. R. (2024). Synergistic perception and control simplex for verifiable safe vertical landing. In AIAA Scitech 2024 Forum (p. 1167). (Thrust 1)

Kang, M., Gürel, N. M., Yu, N., Song, D., & Li, B. (2024). C-rag: Certified generation risks for retrieval-augmented language models. arXiv preprint arXiv:2402.03181. (Thrust 1)

Yuan, Z., Xiong, Z., Zeng, Y., Yu, N., Jia, R., Song, D., & Li, B. (2024). Rigorllm: Resilient guardrails for large language models against undesired content. arXiv preprint arXiv:2403.13031. (Thrust 1)

Kang, M., Lin, Z., Sun, J., Xiao, C., & Li, B. (2024). Certifiably Byzantine-Robust Federated Conformal Prediction. arXiv preprint arXiv:2406.01960. (Thrust 1)

Hong, J., Duan, J., Zhang, C., Li, Z., Xie, C., Lieberman, K., … & Li, B. (2024). Decoding Compressed Trust: Scrutinizing the Trustworthiness of Efficient LLMs Under Compression. arXiv preprint arXiv:2403.15447. (Thrust 1)

Shu, Y., Xiao, X., Wang, D., Cao, Y., Chen, S., Xue, J., … & Li, B. (2024). Effects of Exponential Gaussian Distribution on (Double Sampling) Randomized Smoothing. arXiv preprint arXiv:2406.02309. (Thrust 1)

Chen, W., & Li, B. (2024). GRATH: Gradual Self-Truthifying for Large Language Models. arXiv preprint arXiv:2401.12292. (Thrust 1)

Mazeika, M., Phan, L., Yin, X., Zou, A., Wang, Z., Mu, N., … & Hendrycks, D. (2024). Harmbench: A standardized evaluation framework for automated red teaming and robust refusal. arXiv preprint arXiv:2402.04249. (Thrust 1)

Xie, C., Lin, Z., Backurs, A., Gopi, S., Yu, D., Inan, H. A., … & Yekhanin, S. (2024). Differentially private synthetic data via foundation model apis 2: Text. arXiv preprint arXiv:2403.01749. (Thrust 1)

Yuan, Z., Guo, W., Jia, J., Li, B., & Song, D. SHINE: Shielding Backdoors in Deep Reinforcement Learning. In Forty-first International Conference on Machine Learning. (Thrust 1)

Chaudhury, B. R., Murhekar, A., Yuan, Z., Li, B., Mehta, R., & Procaccia, A. D. (2024). Fair federated learning via the proportional veto core. In Forty-first International Conference on Machine Learning. (Thrust 1)

Zhang, J., Xu, C., & Li, B. (2024). ChatScene: Knowledge-Enabled Safety-Critical Scenario Generation for Autonomous Vehicles. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 15459-15469). (Thrust 1)

Kang, M., Gürel, N. M., Li, L., & Li, B. (2024). COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits. arXiv preprint arXiv:2403.11348. (Thrust 1)

Xiang, Z., Jiang, F., Xiong, Z., Ramasubramanian, B., Poovendran, R., & Li, B. (2024). Badchain: Backdoor chain-of-thought prompting for large language models. arXiv preprint arXiv:2401.12242. (Thrust 1)

Hong, J., Wang, J. T., Zhang, C., Li, Z., Li, B., & Wang, Z. (2023). Dp-opt: Make large language model your privacy-preserving prompt engineer. arXiv preprint arXiv:2312.03724. (Thrust 1)

Oshin, A., Almubarak, H., & Theodorou, E. A. (2023). Differentiable robust model predictive control. arXiv preprint arXiv:2308.08426. (Thrust 1)

Aoyama, Y., & Theodorou, E. A. (2024). Generalized Maximum Entropy Differential Dynamic Programming. arXiv preprint arXiv:2403.18130. (Thrust 1)

Theodoropoulos, P., Liu, G. H., Chen, T., Saravanos, A. D., & Theodorou, E. A ROBUST DIFFERENTIAL NEURAL ODE OPTIMIZER. In The Twelfth International Conference on Learning Representations. (Thrust 1)

Almubarak, H., Sadegh, N., & Theodorou, E. A. (2023). Barrier States Theory for Safety-Critical Multi-Objective Control. arXiv preprint arXiv:2310.07022. (Thrust 1)

Dawson, C., Parashar, A., & Fan, C. (2024). RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling. arXiv preprint arXiv:2404.03412. (Thrust 2)

Parashar, A., Yin, J., Dawson, C., Tsiotras, P., & Fan, C. (2024). Learning-based Bayesian Inference for Testing of Autonomous Systems. IEEE Robotics and Automation Letters. (Thrust 2)

Dawson, C., & Fan, C. (2023). A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. arXiv preprint arXiv:2309.08052. (Thrust 2)

JAX GUAM (Thrust 2)

Fuad, A., Matute, J., Khaleghi, M., & Karimoddini, A. (2024, April). A Novel Integrated Flight Simulation Framework: From Actuators to High-Fidelity Dynamics to Flight Visualization. In 2024 Integrated Communications, Navigation and Surveillance Conference (ICNS) (pp. 1-8). IEEE. (Thrust 3)

Karimoddini, A., Smolka, S. A., & Karimadini, M. (2024). Fault diagnosis of Discrete Event Systems under uncertain initial conditions. Expert Systems with Applications, 255, 124549. (Thrust 3)

Kwao, V., & Raptis, I. (2024). Particle Filter Fault Diagnosis of Highly Automated Aircraft. In AIAA SCITECH 2024 Forum (p. 1169). (Thrust 3)

Shafa, T., & Ornik, M. (2024). Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems. arXiv preprint arXiv:2404.09850. (Thrust 3)

Meng, Y., Shafa, T., Wei, J., & Ornik, M. (2024). Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems. arXiv preprint arXiv:2403.03413. (Thrust 3)

Bouvier, J. B., Nandanoori, S. P., & Ornik, M. (2023). Losing Control of your Network? Try Resilience Theory. arXiv preprint arXiv:2306.16588. (Thrust 3)

Meng, Y., Zhou, R., Ornik, M., & Liu, J. (2024). Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm. arXiv preprint arXiv:2403.15688. (Thrust 3)

Padmanabhan, R., Bakker, C., Dinkar, S. A., & Ornik, M. (2024). How Much Reserve Fuel: Quantifying the Maximal Energy Cost of System Disturbances. arXiv preprint arXiv:2408.10913. (Thrust 3)

Meng, Y., Li, H., Ornik, M., & Li, X. (2024). Koopman-Based Data-Driven Techniques for Adaptive Cruise Control System Identification. (Thrust 3)

El-Kebir, H., Ornik, M., Nakka, Y. K., Choi, C., & Rahmani, A. (2024, March). Robust Detection and Identification of Simultaneous Sensor and Actuator Faults. In 2024 IEEE Aerospace Conference
 (pp. 1-11). IEEE.
(Thrust 3)

Puthumanaillam, G., Vora, M. K., Shafa, T., Li, Y., Ornik, M., & Mitra, S. (2024). Assured Collision Avoidance for Learned Controllers: A Case Study of ACAS Xu. In AIAA SCITECH 2024 Forum (p. 1168). (Thrust 3)

Puthumanaillam, G., Mamik, Y., & Ornik, M. (2024). Online Learning and Planning in Time-Varying Environments: An Aircraft Case Study. In AIAA SCITECH 2024 Forum (p. 0109). (Thrust 3)

Fernández Castaño, A., Patton, C., Yoon, H. J., & Voulgaris, P. (2024). Uncertainty Quantification-Based Switching Control Method for Vision-Based Object Tracking in Unmanned Aerial Vehicles. In AIAA SCITECH 2024 Forum (p. 0516). (Thrust 4)

Basiri, S., Tiwari, D., Papachristos, C., & Salapaka, S. (2024). Optimizing UAV Network Efficiency: Integrative Strategies for Simultaneous Energy Management and Obstacle-Aware Routing. In AIAA SCITECH 2024 Forum (p. 1166). (Thrust 4)

Carlson, S. J., & Papachristos, C. (2024, June). Hybrid Locomotive Behaviors for an Amphibious Fixed-Wing/VTOL Tiltrotor UAV. In 2024 International Conference on Unmanned Aircraft Systems (ICUAS) (pp. 786-791). IEEE. (Thrust 4)