Publications
The following publications have been generated from research conducted under this grant.
Nonlinear Control Using Neural Lyapunov-Barrier Functions and Robust Convex Optimization. Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan. Under Review.
Control Synthesis with Heterogeneous Structure: Imitation-based Trajectory-feedback Control with Signal Temporal Logic Specifications. Karen Leung, Marco Pavone. Conference on Decision and Control. Under Review.
Steering the State of Linear Stochastic Systems: A Constrained Minimum Principle Formulation. Ali Pakniyat and Panagiotis Tsiotras. IEEE American Control Conference, 2021 (accepted).
Steering the State of Linear Stochastic Systems with Partial Observations. Ali Pakniyat and Panagiotis Tsiotras. IEEE Conference on Decision and Control, 2021 (submitted).
Differentially Private Outlier Detection in Multivariate Gaussian Signals. Kwassi H. Degue, Karthik Gopalakrishnan, Max Z. Li, Hamsa Balakrishnan, Jerome Le Ny. in Proc. of the 2021 American Control Conference, 2021.
Differentially Private Outlier Detection in Correlated Data. Kwassi H. Degue, Karthik Gopalakrishnan, Max Z. Li, Hamsa Balakrishnan. in Proc. IEEE Conf. on Decision and Control, 2021.
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer. arXiv preprint arXiv:2106.05325 (2021).
Throughput-Fairness Tradeoffs in Mobility Platforms. Arjun Balasingam, Karthik Gopalakrishnan, Radhika Mittal, Venkat Arun, Ahmed Saeed, Mohammad Alizadeh, Hamsa Balakrishnan, Hari Balakrishnan. Proceedings of the 19th International Conference on Mobile Systems, Applications, and Services. 2021.
Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods. Karen Leung, Nikos Aréchiga, Marco Pavone. Int. Journal of Robotics Research, 2021. Under Review.
Analysis and Design of Uncertain Cyber-Physical Systems. Alessandro Pinto. Computation-Aware Algorithmic Design for Cyber-Physical Systems, Birkhauser, 2021 (submitted).
CoCo: Online Mixed-Integer Control via Supervised Learning. Abhishek Cauligi, Preston Culbertson, Edward Schmerling, Mac Schwager, Bartolomeo Stellato, and M. Pavone. IEEE Robotics and Automation Letters, 2021. (Submitted)
DiNNO: Distributed Neural Network Optimization for Multi-Robot Collaborative Learning. Javier Yu, Joseph A. Vincent, M. Schwager. IEEE Robotics and Automation Letters, 2021. (Submitted)
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan. 5th Annual Conference on Robot Learning, 2021
Sample-Efficient Safety Assurances using Conformal Prediction. Rachel Luo, Shengjia Zhao, Jonathan Kuck, Boris Ivanovic, Silvio Savarese, Marco Pavone. IEEE Conference on Robotics and Automation, 2021. (Submitted)
Second-Order Sensitivity Analysis for Bilevel Optimization. Robert Dyro, Edward Schmerling, Marco Pavone. Preprint (Under Review), 2021.
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming. Robin A. Brown, Edward Schmerling, Navid Azizan, Marco Pavone. Preprint (Under Review), 2021.
Deep Binary Reinforcement Learning for Scalable Verification. Christopher Lazarus and Mykel J. Kochenderfer. International Conference on Intelligent Robots and Systems (IROS), 2022.
Sample-Efficient Safety Assurances using Conformal Prediction. Rachel Luo, Shengjia Zhao, Jonathan Kuck, Boris Ivanovic, Silvio Savarese, Edward Schmerling, Marco Pavone. Workshop on Algorithmic Foundations of Robotics, 2022. (Submitted)