Keynote Talk in the RSS R4P Workshop

July 19, 2021

2nd International Verification of Neural Networks Competition (VNN-COMP'21)

The organizers reported the results of VNN-COMP’21 on 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) affiliated with CAV 2021. The benchmarks used in the competition can be found here. The final slides can be found here. The final report will be out soon.

July 18, 2021

Presentation Video in ECC, 2021

Flexible MPC-based Conflict Resolution Using Online Adaptive ADMM

Feasible Region-based Identification Using Duality

June 7, 2021

Presentation Video in ICRA, 2021

Distributed Motion Coordination Using Convex Feasible Set Based Model Predictive Control

May 31, 2021

Congratulations Jaskaran and Weiye for Passing Qualification Exam!

Congratulations Jaskaran and Weiye!

May 19, 2021

Presentation Video in ACC, 2021

Human Motion Prediction Using Adaptable Recurrent Neural Networks and Inverse Kinematics

April 19, 2021

Chase gets the Uber PhD Fellowship!

Chase Noren, 2nd year PhD student in the lab, gets the prestigious Uber PhD Fellowship.

December 7, 2020

Presentation Videos in CoRL, 2020

Tolerance-guided Policy Learning for Adaptable and Transferrable Delicate Industrial Insertion

November 13, 2020

Presentation Videos in DSCC, 2020

Contact-Rich Trajectory Generation in Confined Environment using Iterative Convex Optimization

Multi-car Convex Feasible Set Algorithm in Trajectory Planning

October 14, 2020

Weiye gets the DSCC 2020 Best Student Paper Finalist!

Weiye’s paper Contact-Rich Trajectory Generation in Confined Environments Using Iterative Convex Optimization gets the Best Student Paper Finalist in DSCC 2020.

October 3, 2020

Presentation Video in ACC, 2020

Experimental Evaluation of Human Motion Prediction Toward Safe and Efficient Human Robot Collaboration

June 23, 2020

Presentation Videos in L4DC, IFAC World Congress, ACC

Robust online model adaptation by EKF with exponential moving average and dynamic multi-epoch strategy (L4DC)

Why does symmetry cause deadlocks? (IFAC World Congress)

June 19, 2020

We received Amazon Research Reward!

The project “Hierarchical Motion Planning for Efficient and Provably Safe Human-Robot Interactions” received 2019 Amazon Research Reward.

June 19, 2020

50% Demo for Automatic Onsite Polishing

March 31, 2020

Tianhao presented safe control in CDC

Tianhao presented the paper Safe control algorithms using energy functions: A unified framework, benchmark, and new directions in the 58th IEEE Conference on Decision and Control. The code is available here.

December 10, 2019

Siyan presented adaptable human prediction in AI for HRI

Siyan presented the paper Adaptable Human Intention and Trajectory Prediction for Human-Robot Collaboration in the AAAI Fall Symposium Series - AI for HRI. This work was done by Abulikemu and Siyan during their internships in ICL. More information can be found in the poster and the presentation slides.

November 7, 2019

We published a new book with CRC Press!

The book “Designing Robot Behavior in Human-Robot Interactions” is available here.

alt book

October 10, 2019

Jaskaran gets the Uber Presidential Fellowship!

Jaskaran Grover, 2nd year PhD student in the lab, gets the prestigious Uber Presidential Fellowship.

September 1, 2019

Tutorial on NeuralVerification.jl available on YouTube

August 4, 2019

The Difference Between Technology and Fantasy

The Robotiq Blog posted an interview with Changliu (link). In this interview, Changliu talks cobot safety, the importance of having realistic expectations of what cobots can and can’t do and her vision of a manufacturing world after cobots.

July 13, 2019

CARS Workshop on NeuralVerification.jl

We will organize a workshop at Stanford on June 7 and June 10 introducing the toolbox NeuralVerification.jl. Agenda can be found here.

May 16, 2019

Oral presentation in the 2019 IEEE Intelligent Vechicle Symposium

We will present our paper “AGen - Adaptable generative prediction networks for autonomous driving” in IV2019 in June. Preprints will be available soon. This work is supported by Holomatic. We would like to thank our sponsor for their generous support.

May 15, 2019

Visitors from Choate Rosemary Hall

A group of high school students and teachers from Choate visited the Intelligent Control Lab.

May 10, 2019

Our ICLR workshop paper received the Best Applied Paper Award

Our paper “NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks” has won the Best Applied Paper award at the ICLR 2019 Workshop on Debugging Machine Learning Models. This paper will be presented at the workshop on May 6.

April 28, 2019

We received a generous donation from FANUC!

FANUC generously donated an industrial robot arm LR Mate 200iD/7L to the Intelligent Control Lab to support our research. We look forward to developing more pratical methodologies and industrial applications with the robot arm.

April 15, 2019

Webinar "Algorithms for Verifying Deep Neural Networks" available on YouTube

April 2, 2019

Preprint "Algorithms for Verifying Deep Neural Networks" available on ArXiv

This paper surveys emerging algorithms to verify whether a deep neural network satisfies certain input-output properties. We will present the work at AAAI 2019 Spring Symposium Verification of Neural Networks (VNN19) on March 25, and ICLR 2019 Workshop on Debugging Machine Learning Models (DebugML-19) on May 6.

March 17, 2019