2018_SF

Curriculum Vitae 

Google Scholar

GitHub

Email: haiminh (at) princeton.edu

My Research Wordcloud:

 

wordcloud_PU

Hello and welcome! I am a third-year Ph.D. candidate in the Department of Electrical and Computer Engineering at Princeton University, advised by Professor Jaime Fisac. My research is centered around learning for control, human-robot interactions (HRI), model predictive control (MPC) and multi-agent systems.

I did my masters in the Department of Electrical and Systems Engineering at the University of Pennsylvania. I was fortunate to work with Professors George Pappas, Manfred Morari and Nikolai Matni in the GRASP Lab. I won the 2020 SEAS Outstanding Research Award.

I received my bachelor degree with honor in Electronic and Information Engineering from ShanghaiTech University, proudly among its first cohort of bachelor students since the university was founded in 2013. During my senior year I studied as a visiting undergraduate student in the Department of EECS at UC Berkeley.

During my undergraduate years, I worked with Prof. Boris Houska at ShanghaiTech University on the topic of tube-based robust MPC via min-max differential inequalities. From 2017 to 2018 I was a research assistant in the Hybrid Systems Lab at UC Berkeley, working on trajectory planning and distributed MPC, advised by Prof. Claire Tomlin.

 

News:

New preprint “Active Uncertainty Reduction for Safe and Efficient Interaction Planning: A Shielding-Aware Dual Control Approach” is out! This work contains results obtained during my internship at Honda Research Institute USA in Summer 2022.

    • The preprint is available on arXiv here.
    • Hardware demonstration video can be found here.

Education

logo_Princeton

Aug. 2020 – Jun. 2025 (Expected), Safe Robotics Lab, Department of Electrical and Computer Engineering (ECE), Princeton University,

Master of Arts,
Doctor of Philosophy.

 

logo_Penn

Aug. 2018 – May 2020, GRASP Lab, Department of Electrical and Systems Engineering (ESE), University of Pennsylvania,

Master of Science in Engineering.

 

logo_SHTU

Sep. 2014 – Jul. 2018, Electronic and Information Engineering, School of Information Science and Technology (SIST), ShanghaiTech University,

Bachelor of Engineering (with honors).

 

logo_UCB

Aug. 2017 – Jun. 2018, Hybrid Systems Lab, Berkeley Artificial Intelligence Research (BAIR) Lab, Department of Electrical Engineering and Computer Sciences (EECS), UC Berkeley,

Visiting Student and Research Assistant.

Publications

My research has been published in the following peer-reviewed journals and conference proceedings:

    • Journals (2): TAC (1), RA-L (1)
    • Conferences (9): WAFR (1), CoRL (1), CDC (3), ACC (2), IFAC WC(1), NecSys (1)

Preprints

[P1] Haimin Hu, David Isele, Sangjae Bae and Jaime F. Fisac, “Active Uncertainty Reduction for Safe and Efficient Interaction Planning: A Shielding-Aware Dual Control Approach.” Submitted to a journal, 2023.  [Paper]  [Video]

Journal Papers

photo_combo_2

[J2] Haimin Hu, Kensuke Nakamura and Jaime F. Fisac, “SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction.” IEEE Robotics and Automation Letters (RA-L), 2022.  [Paper]  [Code]  [Video]  [Homepage]  [Poster]

[J1] Mo Chen*, Sylvia L. Herbert*, Haimin Hu, Ye Pu, Jaime F. Fisac, Somil Bansal, SooJean Han, Claire J. Tomlin, “FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking.” IEEE Transactions on Automatic Control (TAC), 2021.  [Paper]  [Slides]

Conference Papers

[C9] Haimin Hu and Jaime F. Fisac, “Active Uncertainty Reduction for Human-Robot Interaction: An Implicit Dual Control Approach.” Algorithmic Foundations of Robotics XV (WAFR), 2022. Invited to IJRR. [Paper] [Code] [Video] [Homepage]

[C8] Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu and Nikolai Matni, “Learning Hybrid Control Barrier Functions from Data.” Conference on Robot Learning (CoRL), 2020.  [Paper]  [Video]  [Code]

[C7] Haimin Hu, Mahyar Fazlyab, Manfred Morari and George J. Pappas, “Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming.” 59th IEEE Conference on Decision and Control (CDC), 2020.  [Paper]

[C6] Alexander Robey*, Haimin Hu*, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu and Nikolai Matni, “Learning Control Barrier Functions from Expert Demonstrations.” 59th IEEE Conference on Decision and Control (CDC), 2020.  [Paper]  [Code]

[C5] Haimin Hu, Konstantinos Gatsis, Manfred Morari and George J. Pappas, “Non-Cooperative Distributed MPC with Iterative Learning.” 21st IFAC World Congress, 2019.  [Paper]  [Slides]  [Video]

[C4] Haimin Hu, Konstantinos Gatsis, Manfred Morari and George J. Pappas, “Tuning Communication Latency for Distributed Model Predictive Control.” 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys), 2019.  [Paper]  [Poster]

[C3] Xuhui Feng, Haimin Hu, Mario E. Villanueva and Boris Houska, “Min-max Differential Inequalities for Polytopic Tube MPC.” American Control Conference (ACC), 2019.  [Paper]  [Slides]  [Video]

[C2] Haimin Hu, Ye Pu, Mo Chen and Claire J. Tomlin, “Plug and Play Distributed Model Predictive Control for Heavy Duty Vehicle Platooning and Interaction with Passenger Vehicles.” 57th IEEE Conference on Decision and Control (CDC), 2018.  [Paper]  [Slides]

[C1] Haimin Hu, Xuhui Feng, Rien Quirynen, Mario E. Villanueva and Boris Houska, “Real-Time Tube MPC Applied to a 10-State Quadrotor Model.” American Control Conference (ACC), 2018.  [Paper]  [Slides]  [Errata]

Research

DEMO_IFAC20_DLMPC

* This page is extremely out of date.

Non-Cooperative Distributed MPC with Iterative Learning

21st IFAC World Congress, 2020

In this project we present a novel framework of distributed learning model predictive control (DLMPC) for multi-agent systems performing iterative tasks. The framework adopts a non-cooperative strategy in that each agent aims at optimizing its own objective. Local state and input trajectories from previous iterations are collected and used to recursively construct a time-varying safe set and terminal cost function. In this way, each subsystem is able to iteratively improve its control performance and ensure feasibility and stability in every iteration. No communication among subsystems is required during online control. Simulation on a benchmark example shows the efficacy of the proposed method.  [Paper]  [Slides]  [Video]


DEMO_NecSys19.png

Tuning Communication Latency for Distributed MPC

8th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys 2019), Chicago

In this project we develop a distributed MPC scheme for a class of input-coupled linear systems implemented over wireless networks. The proposed approach allows each agent to achieve reduced communication latency by sending less information to their neighbors. Uncertainties incurred by this delayed and incomplete information are handled by a constraint tightening procedure. Simulation examples demonstrate that for distributed systems with chain structure, our tightening method is invariant to the number of agents in the network. Moreover, we show that by a proper tuning of latency, an optimized control performance can be achieved.  [Paper]  [Poster]


DEMO_ACC2019.png

Min-max Differential Inequalities for Polytopic Tube MPC

2019 American Control Conference, Philadelphia

This project is concerned with robust, tube-based MPC for control systems with bounded time-varying disturbances. In tube MPC, predicted trajectories are replaced by a robust forward invariant tube (RFIT), a set-valued function enclosing all possible state trajectories under a given feedback control law, regardless of the uncertainty realization. In this project, the main idea is to characterize RFITs with polytopic cross-sections via a min-max differential inequality for their support functions. This result leads to a conservative but tractable polytopic tube MPC formulation, which can be solved using existing optimal control solvers.  [Paper]  [Slides]  [Video]


FaSTrack_DEMO.png

FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking

IEEE Transactions on Automatic Control (in revision), 2018

Real-time and guaranteed safe trajectory planning is vital to many applications of autonomous systems. However, algorithms for real-time trajectory planning typically sacrifice robustness to achieve computation speed. Alternatively, provably safe trajectory planning tends to be computationally intensive. We propose FaSTrack, Fast and Safe Tracking, to allow for real-time robust planning of dynamical systems. Within this framework, nonlinear model predictive control (NMPC) is used to achieve real-time trajectory optimization using a simplified and efficient planning model of the autonomous system. The plan is tracked using the autonomous system, represented by a more realistic and higher-dimensional tracking model. Leveraging Hamilton-Jacobi reachability, we precompute the worst-case tracking error due to model-mismatch between the tracking and planning models, as well as due to external disturbances (e.g. wind). This framework allows for fast online planning using the planning model, with guaranteed safe real-time tracking of the plan using the TEB and optimal tracking controller.  [Paper]  [Slides]


DEMO_CDC2018.png

Plug and Play Distributed MPC for Heavy Duty Vehicle Platooning

57th IEEE Conference on Decision and Control, 2018, Miami Beach

Heavy duty vehicle (HDV) platooning has been widely accepted as a solution to reduce fuel consumption and traffic congestion. However, control strategy for HDV platoons interacting with other vehicles is not yet well established. This work presents a new framework for handling passenger vehicles (PV) plugging in or out of an HDV platoon. First, basic cruising control of the platoon is achieved by a distributed MPC scheme. Second, redesign of controllers ensures the stability of closed loop Plug and Play (P&P) operation. Finally, a transition phase to steady-states guarantees the feasibility of the newly synthesized controllers. For the plug-in case, we propose a novel Formation Coordinator that determines the optimal location at which the redesigned controller has the best initial feasibility.  [Paper]  [Slides]


DEMO_ACC2018

Real-Time Tube MPC Applied to a 10-State Quadrotor Model

2018 American Control Conference, Milwaukee

This project is on a real-time implementation of tube MPC for nonlinear input-affine systems. This is achieved by combining recent theoretical and practical advances on the construction of forward invariant tubes with state-of-the-art algorithms for nonlinear MPC, such as the real-time iteration scheme. The focus is on presenting these ideas in a tutorial style, using a 10-state quadrotor model as an example. The controller is implemented using the automatic code generation capabilities of ACADO Toolkit. Numerical experiments show that the tube MPC scheme can achieve run-times in the lower millisecond range.  [Paper]  [Slides]  [Errata]