


default search action
Hai Lin 0002
Person information
- affiliation (PhD 2005): University of Notre Dame, IN, USA
- affiliation (former): National University of Singapore, Singapore
Other persons with the same name
- Hai Lin — disambiguation page
- Hai Lin 0001
— Osaka Prefecture University, Department of Electrical and Information Systems, Japan
- Hai Lin 0003
— Zhejiang University, State Key Laboratory of CAD&CG, China
- Hai Lin 0004 — University of Connecticut, Storrs, CT, USA
- Hai Lin 0005
— Clarkson University, Potsdam, NY, USA
- Hai Lin 0006
— Wuhan University, School of Cyber Science and Engineering, MoE Key Laboratory of Aerospace Information Security and Trusted Computing, China (and 2 more)
- Hai Lin 0007
— University of Colorado Denver, Department of Chemistry, CO, USA (and 2 more)
- Hai Lin 0008 — Jilin University, College of Computer Science and Technology, Changchun, China
- Hai Lin 0009
— Central China Normal University, College of Physical Science and Technology, Wuhan, China (and 3 more)
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j67]Zihao Song
, Panos J. Antsaklis
, Hai Lin
:
Port-Hamiltonian-Based Geometric Control for Rigid Body Platoons With Mesh Stability Guarantee. IEEE Control. Syst. Lett. 8: 2805-2810 (2024) - [j66]Shirantha Welikala
, Hai Lin
, Panos J. Antsaklis
:
A Decentralized Control Synthesis Approach for Networked Systems With Arbitrary Interconnections. IEEE Trans. Autom. Control. 69(12): 8465-8480 (2024) - [j65]Tongjia Zheng
, Zhenyuan Yuan
, Mollik Nayyar, Alan R. Wagner, Minghui Zhu
, Hai Lin
:
Multirobot-Guided Crowd Evacuation: Two-Scale Modeling and Control. IEEE Trans. Control. Syst. Technol. 32(6): 2194-2206 (2024) - [c104]Tongjia Zheng, Ciera McFarland, Margaret M. Coad
, Hai Lin:
Estimating Infinite-Dimensional Continuum Robot States From the Tip. RoboSoft 2024: 572-578 - [i87]Yuxuan Kuang, Hai Lin, Meng Jiang:
OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models. CoRR abs/2402.10670 (2024) - 2023
- [j64]Wei Zheng
, Hai Lin
:
Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions. IEEE Control. Syst. Lett. 7: 1135-1140 (2023) - [j63]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: 3801-3806 (2023) - [j62]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): 7120-7135 (2023) - [j61]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): 7390-7404 (2023) - [j60]Vince Kurtz
, Hai Lin
:
Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets. IEEE Trans. Robotics 39(5): 3791-3804 (2023) - [c103]Tongjia Zheng, Qing Han, Hai Lin:
Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. ACC 2023: 967-972 - [c102]Shirantha Welikala
, Hai Lin, Panos J. Antsaklis:
Non-Linear Networked Systems Analysis and Synthesis using Dissipativity Theory. ACC 2023: 2951-2956 - [c101]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: 4051-4056 - [c100]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: 4525-4530 - [c99]Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin:
Stable Real-Time Feedback Control of a Pneumatic Soft Robot. IROS 2023: 2528-2533 - [c98]Shirantha Welikala
, Hai Lin, Panos J. Antsaklis:
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. MED 2023: 728-733 - [c97]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: 119-125 - [i86]Vince Kurtz, Hai Lin:
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets. CoRR abs/2301.07773 (2023) - [i85]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 abs/2302.14752 (2023) - [i84]Tongjia Zheng, Qing Han, Hai Lin:
Full State Estimation of Soft Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer. CoRR abs/2303.06130 (2023) - [i83]Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin:
Stable Real-Time Feedback Control of a Pneumatic Soft Robot. CoRR abs/2304.04304 (2023) - [i82]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. CoRR abs/2305.03030 (2023) - [i81]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic. CoRR abs/2305.09116 (2023) - [i80]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 abs/2306.17824 (2023) - [i79]Vince Kurtz, Alejandro Castro, Aykut Özgün Önol, Hai Lin:
Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control. CoRR abs/2309.01813 (2023) - [i78]Tongjia Zheng, Ciera McFarland, Margaret M. Coad, Hai Lin:
Estimating Infinite-Dimensional Continuum Robot States From the Tip. CoRR abs/2311.01517 (2023) - [i77]Honghui Wu, Ahmet Taha Koru, Guanxuan Wu, Frank L. Lewis, Hai Lin:
Structural Balance of Complex Weighted Graphs and Multi-partite Consensus. CoRR abs/2311.04389 (2023) - [i76]Shirantha Welikala, Zihao Song, Panos J. Antsaklis, Hai Lin:
Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons. CoRR abs/2312.06472 (2023) - 2022
- [j59]Wei Zheng, Taeho Jung, Hai Lin:
The Stackelberg equilibrium for one-sided zero-sum partially observable stochastic games. Autom. 140: 110231 (2022) - [j58]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: 110493 (2022) - [j57]Wei Zheng
, Hai Lin
:
Point-Based Value Iteration for VAR-POMDPs. IEEE Control. Syst. Lett. 6: 7-12 (2022) - [j56]Vince Kurtz
, Hai Lin
:
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. IEEE Control. Syst. Lett. 6: 1718-1723 (2022) - [j55]Vincent Kurtz
, Hai Lin
:
Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables. IEEE Control. Syst. Lett. 6: 2635-2640 (2022) - [j54]Wei Zheng
, Taeho Jung
, Hai Lin
:
Privacy-Preserving POMDP Planning via Belief Manipulation. IEEE Control. Syst. Lett. 6: 3415-3420 (2022) - [j53]Rafael Rodrigues da Silva
, Vince Kurtz
, Hai Lin
:
Automatic Trajectory Synthesis for Real-Time Temporal Logic. IEEE Trans. Autom. Control. 67(2): 780-794 (2022) - [j52]Tongjia Zheng
, Qing Han
, Hai Lin
:
Transporting Robotic Swarms Via Mean-Field Feedback Control. IEEE Trans. Autom. Control. 67(8): 4170-4177 (2022) - [j51]Tongjia Zheng
, Qing Han
, Hai Lin
:
Distributed Mean-Field Density Estimation for Large-Scale Systems. IEEE Trans. Autom. Control. 67(10): 5218-5229 (2022) - [c96]Michael D. Lemmon, Patrick M. Wensing, Vincent Kurtz, Hai Lin:
to Control Robot Hopping over Uneven Terrain. ACC 2022: 520-525 - [c95]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: 1543-1548 - [c94]Tongjia Zheng, Qing Han, Hai Lin:
Feedback Interconnected Mean-Field Density Estimation and Control. ACC 2022: 3445-3450 - [c93]Tongjia Zheng, Qing Han, Hai Lin:
Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. ACC 2022: 4832-4837 - [c92]Shirantha Welikala
, Hai Lin, Panos J. Antsaklis:
On-line Estimation of Stability and Passivity Metrics. CDC 2022: 267-272 - [c91]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: 2061-2066 - [c90]Tongjia Zheng, Hai Lin:
PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CDC 2022: 2702-2707 - [c89]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: 4635-4641 - [c88]Vince Kurtz
, Hai Lin:
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. IROS 2022: 8829-8834 - [c87]Shirantha Welikala
, Hai Lin, Panos J. Antsaklis:
A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. MED 2022: 803-808 - [i75]Vince Kurtz, Hai Lin:
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. CoRR abs/2202.13986 (2022) - [i74]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 abs/2203.02084 (2022) - [i73]Tongjia Zheng, Hai Lin:
PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CoRR abs/2203.13724 (2022) - [i72]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
On-line Estimation of Stability and Passivity Metrics. CoRR abs/2204.00073 (2022) - [i71]Vince Kurtz, Hai Lin:
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables. CoRR abs/2204.06367 (2022) - [i70]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. CoRR abs/2204.09756 (2022) - [i69]Zihao Song, Panos J. Antsaklis, Hai Lin:
Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Under Vector String Stability. CoRR abs/2207.02101 (2022) - [i68]Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin:
Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. CoRR abs/2209.09795 (2022) - [i67]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems. CoRR abs/2209.14552 (2022) - [i66]Tongjia Zheng, Qing Han, Hai Lin:
Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. CoRR abs/2210.00976 (2022) - 2021
- [j50]Junhui Zhang, Jitao Sun, Hai Lin:
Optimal DoS attack schedules on remote state estimation under multi-sensor round-robin protocol. Autom. 127: 109517 (2021) - [j49]Bo Wu, Xiaobin Zhang, Hai Lin:
Supervisor synthesis of POMDP via automata learning. Autom. 129: 109654 (2021) - [j48]Yann Gilpin
, Vince Kurtz
, Hai Lin:
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. IEEE Control. Syst. Lett. 5(1): 241-246 (2021) - [j47]Tongjia Zheng
, Qing Han
, Hai Lin
:
PDE-Based Dynamic Density Estimation for Large-Scale Agent Systems. IEEE Control. Syst. Lett. 5(2): 541-546 (2021) - [j46]Vince Kurtz
, Hai Lin
:
Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications. IEEE Control. Syst. Lett. 5(4): 1429-1434 (2021) - [j45]Vince Kurtz
, Patrick M. Wensing
, Hai Lin
:
Approximate Simulation for Template-Based Whole-Body Control. IEEE Robotics Autom. Lett. 6(2): 558-565 (2021) - [j44]Zhijian Ji
, Hai Lin
, Shaobin Cao, Qingyuan Qi
, Huizi Ma:
The Complexity in Complete Graphic Characterizations of Multiagent Controllability. IEEE Trans. Cybern. 51(1): 64-76 (2021) - [c86]Tongjia Zheng, Hai Lin:
Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models. ACC 2021: 334-339 - [c85]Wei Zheng, Hai Lin:
Point-based Value Iteration for VAR-POMDPs. ACC 2021: 1143-1148 - [c84]Tongjia Zheng, Hai Lin:
Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. ACC 2021: 1607-1612 - [c83]Vince Kurtz, Hai Lin:
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. ACC 2021: 1999-2004 - [c82]Vince Kurtz
, Patrick M. Wensing
, Hai Lin:
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CDC 2021: 6125-6130 - [c81]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: 1-6 - [i65]Tongjia Zheng, Hai Lin:
Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. CoRR abs/2106.00895 (2021) - [i64]Tongjia Zheng, Qing Han, Hai Lin:
Feedback Interconnected Mean-Field Estimation and Control. CoRR abs/2106.00899 (2021) - [i63]Tongjia Zheng, Qing Han, Hai Lin:
Distributed Mean-Field Density Estimation for Large-Scale Systems. CoRR abs/2106.05318 (2021) - [i62]Tongjia Zheng, Qing Han, Hai Lin:
Backstepping Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. CoRR abs/2109.00605 (2021) - [i61]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 abs/2109.04424 (2021) - [i60]Wei Zheng, Taeho Jung, Hai Lin:
The Stackelberg Equilibrium for One-sided Zero-sum Partially Observable Stochastic Games. CoRR abs/2109.08339 (2021) - [i59]Vince Kurtz, Patrick M. Wensing, Hai Lin:
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CoRR abs/2109.13349 (2021) - [i58]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Active Perception and Control from PrSTL Specifications. CoRR abs/2111.02226 (2021) - [i57]Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin:
idSTLPy: A Python Toolbox for Active Perception and Control. CoRR abs/2111.02943 (2021) - [i56]Vince Kurtz, Hai Lin:
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. CoRR abs/2112.01326 (2021) - 2020
- [j43]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): 1801-1811 (2020) - [j42]Qing-Kui Li
, Hai Lin
, Xi Tan, Shengli Du
:
H∞ Consensus for Multiagent-Based Supply Chain Systems Under Switching Topology and Uncertain Demands. IEEE Trans. Syst. Man Cybern. Syst. 50(12): 4905-4918 (2020) - [c80]Tongjia Zheng, Zhiyu Liu, Hai Lin:
Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control. ACC 2020: 5301-5306 - [c79]Vince Kurtz
, Patrick M. Wensing
, Hai Lin:
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. ACC 2020: 5352-5357 - [i55]Zhiyu Liu, Meng Jiang, Hai Lin:
A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots. CoRR abs/2001.07205 (2020) - [i54]Alireza Partovi, Wei Zheng, Taeho Jung, Hai Lin:
Ensuring Privacy in Location-Based Services: A Model-based Approach. CoRR abs/2002.10055 (2020) - [i53]Vince Kurtz, Patrick M. Wensing, Hai Lin:
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. CoRR abs/2003.04136 (2020) - [i52]Yann Gilpin, Vince Kurtz, Hai Lin:
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. CoRR abs/2006.05239 (2020) - [i51]Vince Kurtz, Patrick M. Wensing, Michael D. Lemmon, Hai Lin:
Approximate Simulation for Template-Based Whole-Body Control. CoRR abs/2006.09921 (2020) - [i50]Tongjia Zheng, Qing Han, Hai Lin:
PDE-based Dynamic Density Estimation for Large-scale Agent Systems. CoRR abs/2006.11461 (2020) - [i49]Tongjia Zheng, Qing Han, Hai Lin:
Deployment of Robotic Swarms via Density Feedback Control. CoRR abs/2006.11462 (2020) - [i48]Zhiyu Liu, Meng Jiang, Hai Lin:
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic. CoRR abs/2007.08451 (2020) - [i47]Alireza Partovi, Taeho Jung, Hai Lin:
Opacity of Discrete Event Systems with Active Intruder. CoRR abs/2007.14960 (2020) - [i46]Tongjia Zheng, Hai Lin:
Distributed Density Filtering for Large-scale Systems using Mean-filed Models. CoRR abs/2009.05366 (2020) - [i45]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Automatic Trajectory Synthesis for Real-Time Temporal Logic. CoRR abs/2009.06436 (2020) - [i44]Vince Kurtz, Hai Lin:
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. CoRR abs/2011.07104 (2020)
2010 – 2019
- 2019
- [j41]Wei Zheng
, Hai Lin
:
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. IEEE Control. Syst. Lett. 3(3): 775-780 (2019) - [j40]Rafael Rodrigues da Silva
, Vince Kurtz
, Hai Lin
:
Active Perception and Control From Temporal Logic Specifications. IEEE Control. Syst. Lett. 3(4): 1068-1073 (2019) - [j39]Bo Wu
, Xiaobin Zhang
, Hai Lin
:
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. IEEE Trans. Autom. Control. 64(8): 3332-3338 (2019) - [c78]Vince Kurtz
, Hai Lin:
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. ACC 2019: 2633-2638 - [c77]Alireza Partovi, Hai Lin:
Reactive Supervisory Control of Open Discrete Event Systems. CDC 2019: 1056-1061 - [c76]Vince Kurtz
, Rafael Rodrigues da Silva
, Patrick M. Wensing
, Hai Lin:
Formal Connections between Template and Anchor Models via Approximate Simulation. Humanoids 2019: 64-71 - [c75]Md. Tahmid Rashid
, Daniel Zhang, Zhiyu Liu, Hai Lin, Dong Wang:
CollabDrone: A Collaborative Spatiotemporal-Aware Drone Sensing System Driven by Social Sensing Signals. ICCCN 2019: 1-9 - [i43]Wei Zheng, Hai Lin:
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. CoRR abs/1904.12357 (2019) - [i42]Vince Kurtz, Hai Lin:
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis. CoRR abs/1905.03051 (2019) - [i41]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Active Perception and Control from Temporal Logic Specifications. CoRR abs/1905.03662 (2019) - [i40]Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin:
Formal Connections between Template and Anchor Models via Approximate Simulation. CoRR abs/1909.09693 (2019) - [i39]Vince Kurtz, Hai Lin:
Kalman Filtering with Gaussian Processes Measurement Noise. CoRR abs/1909.10582 (2019) - 2018
- [j38]Bo Wu
, Hai Lin
:
Privacy Verification and Enforcement via Belief Abstraction. IEEE Control. Syst. Lett. 2(4): 815-820 (2018) - [j37]Qing-Kui Li
, Yu-Gang Li, Hai Lin:
H∞ Control of Two-Time-Scale Markovian Switching Production-Inventory Systems. IEEE Trans. Control. Syst. Technol. 26(3): 1065-1073 (2018) - [j36]Bo Wu
, Michael D. Lemmon, Hai Lin:
Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol. IEEE Trans. Control. Syst. Technol. 26(5): 1635-1645 (2018) - [j35]Shi-Lu Dai
, Shude He
, Hai Lin
, Cong Wang
:
Platoon Formation Control With Prescribed Performance Guarantees for USVs. IEEE Trans. Ind. Electron. 65(5): 4237-4246 (2018) - [c74]Wei Zheng, Bo Wu, Hai Lin:
Solving Complex Tasks Hierarchically from Demonstrations. ACC 2018: 1178-1183 - [c73]Bo Wu, Jin Dai, Hai Lin:
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. ACC 2018: 3026-3031 - [c72]Bo Wu, Zhiyu Liu, Hai Lin:
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. ACC 2018: 3032-3037 - [c71]