Publications

A Framework for Assuring Safety of Autonomous Vehicles

Published in Submitted to IEEE Transactions on Automatic Control, 2020

Submitted to IEEE Transactions on Automatic Control

Recommended citation: Forrest Laine, David Fridovich-Keil, Claire Tomlin, "A Framework for Assuring Safety of Autonomous Vehicles." Submitted to IEEE Transactions on Automatic Control, 2020.

Efficient computation of feedback control for equality-constrained lqr

Published in In the proceedings of 2019 International Conference on Robotics and Automation (ICRA), 2019

Use Google Scholar for full citation

Recommended citation: Forrest Laine, Claire Tomlin, "Efficient computation of feedback control for equality-constrained lqr." In the proceedings of 2019 International Conference on Robotics and Automation (ICRA), 2019.

Learning quadrotor dynamics using neural network for flight control

Published in In the proceedings of 2016 IEEE 55th Conference on Decision and Control (CDC), 2016

Use Google Scholar for full citation

Recommended citation: Somil Bansal, Anayo Akametalu, Frank Jiang, Forrest Laine, Claire Tomlin, "Learning quadrotor dynamics using neural network for flight control." In the proceedings of 2016 IEEE 55th Conference on Decision and Control (CDC), 2016.

Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals

Published in In the proceedings of 2016 IEEE 55th Conference on Decision and Control (CDC), 2016

Use Google Scholar for full citation

Recommended citation: Ian Mitchell, Jeffrey Yeh, Forrest Laine, Claire Tomlin, "Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals." In the proceedings of 2016 IEEE 55th Conference on Decision and Control (CDC), 2016.