Hai Lin

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 149

Top Venues

CoRR

ACC

CDC

IEEE Control. Syst. Lett.

Publications

Yuxuan Kuang, Hai Lin, Meng Jiang
OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models. CoRR (2024)
Tongjia Zheng, Ciera McFarland, Margaret M. Coad, Hai Lin
Estimating Infinite-Dimensional Continuum Robot States From the Tip. RoboSoft (2024)
Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin
Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control Based on Mean-Field Hydrodynamic Models. CoRR (2023)
Honghui Wu, Ahmet Taha Koru, Guanxuan Wu, Frank L. Lewis, Hai Lin
Structural Balance of Complex Weighted Graphs and Multi-Partite Consensus. IEEE Control. Syst. Lett. 7 (2023)
Vince Kurtz, Hai Lin
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets. CoRR (2023)
Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin
Stable Real-Time Feedback Control of a Pneumatic Soft Robot. CoRR (2023)
Wei Zheng, Taeho Jung, Hai Lin
Continuous-Observation One-Sided Two-Player Zero-Sum Partially Observable Stochastic Game With Public Actions. IEEE Trans. Autom. Control. 68 (12) (2023)
Wei Zheng, Hai Lin
Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions. IEEE Control. Syst. Lett. 7 (2023)
Mollik Nayyar, Ghanghoon Paik, Zhenyuan Yuan, Tongjia Zheng, Minghui Zhu, Hai Lin, Alan R. Wagner
Characterizing Evacuee Behavior During a Robot-Guided Evacuation. SSRR (2023)
Mollik Nayyar, Ghanghoon Paik, Zhenyuan Yuan, Tongjia Zheng, Minghui Zhu, Hai Lin, Alan R. Wagner
Learning Evacuee Models from Robot-Guided Emergency Evacuation Experiments. CoRR (2023)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic. CoRR (2023)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. MED (2023)
Xun-Lin Zhu, Xiuxiu Zhang, Jumei Wei, Hai Lin
Output-Based Dynamic Event-Triggered Control for Networked Control Systems With Delays and Packet Losses Without Acknowledgements. IEEE Trans. Autom. Control. 68 (12) (2023)
Zhenyuan Yuan, Tongjia Zheng, Mollik Nayyar, Alan R. Wagner, Hai Lin, Minghui Zhu
Multi-robot-assisted human crowd control for emergency evacuation: A stabilization approach. ACC (2023)
Tongjia Zheng, Qing Han, Hai Lin
Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. ACC (2023)
Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin
Stable Real-Time Feedback Control of a Pneumatic Soft Robot. IROS (2023)
Zihao Song, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions. ACC (2023)
Vince Kurtz, Hai Lin
Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets. IEEE Trans. Robotics 39 (5) (2023)
Tongjia Zheng, Ciera McFarland, Margaret M. Coad, Hai Lin
Estimating Infinite-Dimensional Continuum Robot States From the Tip. CoRR (2023)
Vince Kurtz, Alejandro Castro, Aykut Özgün Önol, Hai Lin
Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control. CoRR (2023)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
Non-Linear Networked Systems Analysis and Synthesis using Dissipativity Theory. ACC (2023)
Tongjia Zheng, Qing Han, Hai Lin
Full State Estimation of Soft Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer. CoRR (2023)
Shirantha Welikala, Zihao Song, Panos J. Antsaklis, Hai Lin
Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons. CoRR (2023)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. CoRR (2023)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. MED (2022)
Tongjia Zheng, Hai Lin
PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CoRR (2022)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems. CoRR (2022)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. CoRR (2022)
Wei Zheng, Taeho Jung, Hai Lin
The Stackelberg equilibrium for one-sided zero-sum partially observable stochastic games. Autom. 140 (2022)
Wei Zheng, Taeho Jung, Hai Lin
Privacy-Preserving POMDP Planning via Belief Manipulation. IEEE Control. Syst. Lett. 6 (2022)
Shirantha Welikala, Christos G. Cassandras, Hai Lin, Panos J. Antsaklis
A new performance bound for submodular maximization problems and its application to multi-agent optimal coverage problems. Autom. 144 (2022)
Vince Kurtz, Hai Lin
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. IEEE Control. Syst. Lett. 6 (2022)
Tongjia Zheng, Qing Han, Hai Lin
Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. CoRR (2022)
Tongjia Zheng, Qing Han, Hai Lin
Distributed Mean-Field Density Estimation for Large-Scale Systems. IEEE Trans. Autom. Control. 67 (10) (2022)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Automatic Trajectory Synthesis for Real-Time Temporal Logic. IEEE Trans. Autom. Control. 67 (2) (2022)
Zihao Song, Panos J. Antsaklis, Hai Lin
Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Under Vector String Stability. CoRR (2022)
Wei Zheng, Hai Lin
Point-Based Value Iteration for VAR-POMDPs. IEEE Control. Syst. Lett. 6 (2022)
Tongjia Zheng, Qing Han, Hai Lin
Feedback Interconnected Mean-Field Density Estimation and Control. ACC (2022)
Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. ICRA (2022)
Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin
Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. CDC (2022)
Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin
Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. CoRR (2022)
Tongjia Zheng, Hai Lin
PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CDC (2022)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
On-line Estimation of Stability and Passivity Metrics. CoRR (2022)
Vincent Kurtz, Hai Lin
Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables. IEEE Control. Syst. Lett. 6 (2022)
Vince Kurtz, Hai Lin
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables. CoRR (2022)
Vince Kurtz, Hai Lin
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. IROS (2022)
Tongjia Zheng, Qing Han, Hai Lin
Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. ACC (2022)
Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. ACC (2022)
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
On-line Estimation of Stability and Passivity Metrics. CDC (2022)
Michael D. Lemmon, Patrick M. Wensing, Vincent Kurtz, Hai Lin
to Control Robot Hopping over Uneven Terrain. ACC (2022)
Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. CoRR (2022)
Tongjia Zheng, Qing Han, Hai Lin
Transporting Robotic Swarms Via Mean-Field Feedback Control. IEEE Trans. Autom. Control. 67 (8) (2022)
Tongjia Zheng, Hai Lin
Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models. ACC (2021)
Vince Kurtz, Hai Lin
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. CoRR (2021)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Approximate Simulation for Template-Based Whole-Body Control. IEEE Robotics Autom. Lett. 6 (2) (2021)
Junhui Zhang, Jitao Sun, Hai Lin
Optimal DoS attack schedules on remote state estimation under multi-sensor round-robin protocol. Autom. 127 (2021)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Active Perception and Control from PrSTL Specifications. CoRR (2021)
Yann Gilpin, Vince Kurtz, Hai Lin
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. IEEE Control. Syst. Lett. 5 (1) (2021)
Vince Kurtz, Hai Lin
Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications. IEEE Control. Syst. Lett. 5 (4) (2021)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CoRR (2021)
Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin
idSTLPy: A Python Toolbox for Active Perception and Control. CoRR (2021)
Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. CoRR (2021)
Tongjia Zheng, Qing Han, Hai Lin
Backstepping Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. CoRR (2021)
Gonzalo J. Martínez, Grigoriy Dubrovskiy, Shangyue Zhu, Alamin Mohammed, Hai Lin, J. Nicholas Laneman, Aaron D. Striegel, Ravikumar V. Pragada, Douglas R. Castor
An Open, Real-World Dataset of Cellular UAV Communication Properties. ICCCN (2021)
Vince Kurtz, Hai Lin
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. ACC (2021)
Tongjia Zheng, Qing Han, Hai Lin
Feedback Interconnected Mean-Field Estimation and Control. CoRR (2021)
Tongjia Zheng, Qing Han, Hai Lin
PDE-Based Dynamic Density Estimation for Large-Scale Agent Systems. IEEE Control. Syst. Lett. 5 (2) (2021)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CDC (2021)
Tongjia Zheng, Hai Lin
Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. CoRR (2021)
Tongjia Zheng, Qing Han, Hai Lin
Distributed Mean-Field Density Estimation for Large-Scale Systems. CoRR (2021)
Wei Zheng, Taeho Jung, Hai Lin
The Stackelberg Equilibrium for One-sided Zero-sum Partially Observable Stochastic Games. CoRR (2021)
Zhijian Ji, Hai Lin, Shaobin Cao, Qingyuan Qi, Huizi Ma
The Complexity in Complete Graphic Characterizations of Multiagent Controllability. IEEE Trans. Cybern. 51 (1) (2021)
Tongjia Zheng, Hai Lin
Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. ACC (2021)
Zhiyu Liu, Meng Jiang, Hai Lin
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic. CoRR (2020)
Alireza Partovi, Taeho Jung, Hai Lin
Opacity of Discrete Event Systems with Active Intruder. CoRR (2020)
Tongjia Zheng, Qing Han, Hai Lin
PDE-based Dynamic Density Estimation for Large-scale Agent Systems. CoRR (2020)
Tongjia Zheng, Hai Lin
Distributed Density Filtering for Large-scale Systems using Mean-filed Models. CoRR (2020)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. CoRR (2020)
Zhiyu Liu, Meng Jiang, Hai Lin
A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots. CoRR (2020)
Vince Kurtz, Patrick M. Wensing, Hai Lin
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. ACC (2020)
Vince Kurtz, Patrick M. Wensing, Michael D. Lemmon, Hai Lin
Approximate Simulation for Template-Based Whole-Body Control. CoRR (2020)
Yann Gilpin, Vince Kurtz, Hai Lin
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. CoRR (2020)
Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. IEEE Trans. Control. Netw. Syst. 7 (4) (2020)
Qing-Kui Li, Hai Lin, Xi Tan, Shengli Du
Consensus for Multiagent-Based Supply Chain Systems Under Switching Topology and Uncertain Demands. IEEE Trans. Syst. Man Cybern. Syst. 50 (12) (2020)
Tongjia Zheng, Zhiyu Liu, Hai Lin
Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control. ACC (2020)
Alireza Partovi, Wei Zheng, Taeho Jung, Hai Lin
Ensuring Privacy in Location-Based Services: A Model-based Approach. CoRR (2020)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Automatic Trajectory Synthesis for Real-Time Temporal Logic. CoRR (2020)
Vince Kurtz, Hai Lin
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. CoRR (2020)
Tongjia Zheng, Qing Han, Hai Lin
Deployment of Robotic Swarms via Density Feedback Control. CoRR (2020)
Vince Kurtz, Hai Lin
Kalman Filtering with Gaussian Processes Measurement Noise. CoRR (2019)
Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
Formal Connections between Template and Anchor Models via Approximate Simulation. CoRR (2019)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Active Perception and Control from Temporal Logic Specifications. CoRR (2019)
Vince Kurtz, Hai Lin
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis. CoRR (2019)
Bo Wu, Xiaobin Zhang, Hai Lin
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. IEEE Trans. Autom. Control. 64 (8) (2019)
Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
Formal Connections between Template and Anchor Models via Approximate Simulation. Humanoids (2019)
Alireza Partovi, Hai Lin
Reactive Supervisory Control of Open Discrete Event Systems. CDC (2019)
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Active Perception and Control From Temporal Logic Specifications. IEEE Control. Syst. Lett. 3 (4) (2019)
Wei Zheng, Hai Lin
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. CoRR (2019)
Wei Zheng, Hai Lin
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. IEEE Control. Syst. Lett. 3 (3) (2019)
Vince Kurtz, Hai Lin
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. ACC (2019)

Hai Lin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hai Lin