Hai Lin - RankMe

268 papers A* 1A 2B 3C 42Journal 163Unranked 57

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Inverse dynamics trajectory optimization for contact-implicit model predictive control. Int. J. Robotics Res. Vince Kurtz, Alejandro Castro, Aykut Özgün Önol, Hai Lin
2025	J	`jnl`	Decentralized co-design of distributed controllers and communication topologies for vehicular platoons: A dissipativity-based approach. Autom. Shirantha Welikala, Zihao Song, Hai Lin, Panos J. Antsaklis
2025	J	`jnl`	Distributed Adaptive Backstepping Control for Vehicular Platoons With Mismatched Disturbances Using Vector String Lyapunov Functions. IEEE Trans. Intell. Transp. Syst. Zihao Song, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
2025	J	`jnl`	Full State Estimation of Continuum Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer. IEEE Trans. Autom. Control. Tongjia Zheng, Qing Han, Hai Lin
2025	J	`jnl`	Funnel-Based Online Recovery Control for Nonlinear Systems With Unknown Dynamics. CoRR Zihao Song, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
2025	J	`jnl`	Graph Neural Network-Based Distributed Optimal Control for Linear Networked Systems: An Online Distributed Training Approach. CoRR Zihao Song, Panos J. Antsaklis, Hai Lin
2025	J	`jnl`	Hierarchical Analysis and Control of Epidemic Spreading over Networks using Dissipativity and Mesh Stability. CoRR Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2025	J	`jnl`	Inventory Consensus Control in Supply Chain Networks using Dissipativity-Based Control and Topology Co-Design. CoRR Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2025	J	`jnl`	Mesh Stability Guaranteed Rigid Body Networks Using Control and Topology Co-Design. CoRR Zihao Song, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
2024	J	`jnl`	A Decentralized Control Synthesis Approach for Networked Systems With Arbitrary Interconnections. IEEE Trans. Autom. Control. Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2024	—	`conf`	Dissipativity-Based Decentralized Control and Topology Co-Design for Vehicular Platoons With Disturbance String Stability. CDC Zihao Song, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
2024	—	`conf`	Estimating Infinite-Dimensional Continuum Robot States From the Tip. RoboSoft Tongjia Zheng, Ciera McFarland, Margaret M. Coad, Hai Lin
2024	J	`jnl`	Multirobot-Guided Crowd Evacuation: Two-Scale Modeling and Control. IEEE Trans. Control. Syst. Technol. Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin
2024	J	`jnl`	OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models. CoRR Yuxuan Kuang, Hai Lin, Meng Jiang
2024	J	`jnl`	Port-Hamiltonian-Based Geometric Control for Rigid Body Platoons With Mesh Stability Guarantee. IEEE Control. Syst. Lett. Zihao Song, Panos J. Antsaklis, Hai Lin
2023	C	`conf`	Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions. ACC Zihao Song, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
2023	—	`conf`	Characterizing Evacuee Behavior During a Robot-Guided Evacuation. SSRR Mollik Nayyar, Ghanghoon Paik, Zhenyuan Yuan, Tongjia Zheng, Minghui Zhu, Hai Lin, Alan R. Wagner
2023	J	`jnl`	Continuous-Observation One-Sided Two-Player Zero-Sum Partially Observable Stochastic Game With Public Actions. IEEE Trans. Autom. Control. Wei Zheng, Taeho Jung, Hai Lin
2023	—	`conf`	Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. MED Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2023	J	`jnl`	Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. CoRR Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2023	J	`jnl`	Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons. CoRR Shirantha Welikala, Zihao Song, Panos J. Antsaklis, Hai Lin
2023	J	`jnl`	Estimating Infinite-Dimensional Continuum Robot States From the Tip. CoRR Tongjia Zheng, Ciera McFarland, Margaret M. Coad, Hai Lin
2023	J	`jnl`	Full State Estimation of Soft Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer. CoRR Tongjia Zheng, Qing Han, Hai Lin
2023	J	`jnl`	Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control. CoRR Vince Kurtz, Alejandro Castro, Aykut Özgün Önol, Hai Lin
2023	J	`jnl`	Learning Evacuee Models from Robot-Guided Emergency Evacuation Experiments. CoRR Mollik Nayyar, Ghanghoon Paik, Zhenyuan Yuan, Tongjia Zheng, Minghui Zhu, Hai Lin, Alan R. Wagner
2023	J	`jnl`	Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control Based on Mean-Field Hydrodynamic Models. CoRR Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin
2023	C	`conf`	Multi-robot-assisted human crowd control for emergency evacuation: A stabilization approach. ACC Zhenyuan Yuan, Tongjia Zheng, Mollik Nayyar, Alan R. Wagner, Hai Lin, Minghui Zhu
2023	C	`conf`	Non-Linear Networked Systems Analysis and Synthesis using Dissipativity Theory. ACC Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2023	J	`jnl`	Output-Based Dynamic Event-Triggered Control for Networked Control Systems With Delays and Packet Losses Without Acknowledgements. IEEE Trans. Autom. Control. Xun-lin Zhu, Xiuxiu Zhang, Jumei Wei, Hai Lin
2023	J	`jnl`	Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions. IEEE Control. Syst. Lett. Wei Zheng, Hai Lin
2023	J	`jnl`	Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic. CoRR Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2023	A	`conf`	Stable Real-Time Feedback Control of a Pneumatic Soft Robot. IROS Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin
2023	J	`jnl`	Stable Real-Time Feedback Control of a Pneumatic Soft Robot. CoRR Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin
2023	J	`jnl`	Structural Balance of Complex Weighted Graphs and Multi-Partite Consensus. IEEE Control. Syst. Lett. Honghui Wu, Ahmet Taha Koru, Guanxuan Wu, Frank L. Lewis, Hai Lin
2023	J	`jnl`	Structural Balance of Complex Weighted Graphs and Multi-partite Consensus. CoRR Honghui Wu, Ahmet Taha Koru, Guanxuan Wu, Frank L. Lewis, Hai Lin
2023	C	`conf`	Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. ACC Tongjia Zheng, Qing Han, Hai Lin
2023	J	`jnl`	Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets. IEEE Trans. Robotics Vince Kurtz, Hai Lin
2023	J	`jnl`	Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets. CoRR Vince Kurtz, Hai Lin
2022	—	`conf`	A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. MED Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2022	J	`jnl`	A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. CoRR Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2022	J	`jnl`	A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. IEEE Control. Syst. Lett. Vince Kurtz, Hai Lin
2022	J	`jnl`	A new performance bound for submodular maximization problems and its application to multi-agent optimal coverage problems. Autom. Shirantha Welikala, Christos G. Cassandras, Hai Lin, Panos J. Antsaklis
2022	J	`jnl`	Automatic Trajectory Synthesis for Real-Time Temporal Logic. IEEE Trans. Autom. Control. Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2022	C	`conf`	Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. ACC Tongjia Zheng, Qing Han, Hai Lin
2022	J	`jnl`	Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems. CoRR Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2022	A	`conf`	Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. IROS Vince Kurtz, Hai Lin
2022	J	`jnl`	Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. CoRR Vince Kurtz, Hai Lin
2022	J	`jnl`	Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Under Vector String Stability. CoRR Zihao Song, Panos J. Antsaklis, Hai Lin
2022	J	`jnl`	Distributed Mean-Field Density Estimation for Large-Scale Systems. IEEE Trans. Autom. Control. Tongjia Zheng, Qing Han, Hai Lin
2022	C	`conf`	Feedback Interconnected Mean-Field Density Estimation and Control. ACC Tongjia Zheng, Qing Han, Hai Lin
2022	A*	`conf`	Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. ICRA Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin
2022	J	`jnl`	Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables. IEEE Control. Syst. Lett. Vincent Kurtz, Hai Lin
2022	J	`jnl`	Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables. CoRR Vince Kurtz, Hai Lin
2022	—	`conf`	Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. CDC Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin
2022	J	`jnl`	Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. CoRR Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin
2022	—	`conf`	On-line Estimation of Stability and Passivity Metrics. CDC Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2022	J	`jnl`	On-line Estimation of Stability and Passivity Metrics. CoRR Shirantha Welikala, Hai Lin, Panos J. Antsaklis
2022	—	`conf`	PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CDC Tongjia Zheng, Hai Lin
2022	J	`jnl`	PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CoRR Tongjia Zheng, Hai Lin
2022	J	`jnl`	Point-Based Value Iteration for VAR-POMDPs. IEEE Control. Syst. Lett. Wei Zheng, Hai Lin
2022	J	`jnl`	Privacy-Preserving POMDP Planning via Belief Manipulation. IEEE Control. Syst. Lett. Wei Zheng, Taeho Jung, Hai Lin
2022	C	`conf`	Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. ACC Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
2022	J	`jnl`	Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. CoRR Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
2022	J	`jnl`	Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. CoRR Tongjia Zheng, Qing Han, Hai Lin
2022	J	`jnl`	The Stackelberg equilibrium for one-sided zero-sum partially observable stochastic games. Autom. Wei Zheng, Taeho Jung, Hai Lin
2022	J	`jnl`	Transporting Robotic Swarms Via Mean-Field Feedback Control. IEEE Trans. Autom. Control. Tongjia Zheng, Qing Han, Hai Lin
2022	C	`conf`	to Control Robot Hopping over Uneven Terrain. ACC Michael D. Lemmon, Patrick M. Wensing, Vincent Kurtz, Hai Lin
2021	J	`jnl`	A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. CoRR Vince Kurtz, Hai Lin
2021	J	`jnl`	A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. IEEE Control. Syst. Lett. Yann Gilpin, Vince Kurtz, Hai Lin
2021	J	`jnl`	Active Perception and Control from PrSTL Specifications. CoRR Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2021	B	`conf`	An Open, Real-World Dataset of Cellular UAV Communication Properties. ICCCN Gonzalo J. Martínez, Grigoriy Dubrovskiy, Shangyue Zhu, Alamin Mohammed, Hai Lin, J. Nicholas Laneman, Aaron D. Striegel, Ravikumar V. Pragada, Douglas R. Castor
2021	J	`jnl`	Approximate Simulation for Template-Based Whole-Body Control. IEEE Robotics Autom. Lett. Vince Kurtz, Patrick M. Wensing, Hai Lin
2021	J	`jnl`	Backstepping Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. CoRR Tongjia Zheng, Qing Han, Hai Lin
2021	—	`conf`	Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CDC Vince Kurtz, Patrick M. Wensing, Hai Lin
2021	J	`jnl`	Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CoRR Vince Kurtz, Patrick M. Wensing, Hai Lin
2021	C	`conf`	Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models. ACC Tongjia Zheng, Hai Lin
2021	J	`jnl`	Distributed Mean-Field Density Estimation for Large-Scale Systems. CoRR Tongjia Zheng, Qing Han, Hai Lin
2021	J	`jnl`	Feedback Interconnected Mean-Field Estimation and Control. CoRR Tongjia Zheng, Qing Han, Hai Lin
2021	C	`conf`	Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. ACC Tongjia Zheng, Hai Lin
2021	J	`jnl`	Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. CoRR Tongjia Zheng, Hai Lin
2021	J	`jnl`	Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. CoRR Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin
2021	J	`jnl`	Optimal DoS attack schedules on remote state estimation under multi-sensor round-robin protocol. Autom. Junhui Zhang, Jitao Sun, Hai Lin
2021	J	`jnl`	PDE-Based Dynamic Density Estimation for Large-Scale Agent Systems. IEEE Control. Syst. Lett. Tongjia Zheng, Qing Han, Hai Lin
2021	C	`conf`	Point-based Value Iteration for VAR-POMDPs. ACC Wei Zheng, Hai Lin
2021	J	`jnl`	Supervisor synthesis of POMDP via automata learning. Autom. Bo Wu, Xiaobin Zhang, Hai Lin
2021	J	`jnl`	The Complexity in Complete Graphic Characterizations of Multiagent Controllability. IEEE Trans. Cybern. Zhijian Ji, Hai Lin, Shaobin Cao, Qingyuan Qi, Huizi Ma
2021	J	`jnl`	The Stackelberg Equilibrium for One-sided Zero-sum Partially Observable Stochastic Games. CoRR Wei Zheng, Taeho Jung, Hai Lin
2021	J	`jnl`	Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications. IEEE Control. Syst. Lett. Vince Kurtz, Hai Lin
2021	C	`conf`	Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. ACC Vince Kurtz, Hai Lin
2021	J	`jnl`	idSTLPy: A Python Toolbox for Active Perception and Control. CoRR Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin
2020	J	`jnl`	A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. CoRR Yann Gilpin, Vince Kurtz, Hai Lin
2020	J	`jnl`	A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots. CoRR Zhiyu Liu, Meng Jiang, Hai Lin
2020	J	`jnl`	Approximate Simulation for Template-Based Whole-Body Control. CoRR Vince Kurtz, Patrick M. Wensing, Michael D. Lemmon, Hai Lin
2020	J	`jnl`	Automatic Trajectory Synthesis for Real-Time Temporal Logic. CoRR Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2020	C	`conf`	Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control. ACC Tongjia Zheng, Zhiyu Liu, Hai Lin
2020	J	`jnl`	Deployment of Robotic Swarms via Density Feedback Control. CoRR Tongjia Zheng, Qing Han, Hai Lin
2020	J	`jnl`	Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. IEEE Trans. Control. Netw. Syst. Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
2020	J	`jnl`	Distributed Density Filtering for Large-scale Systems using Mean-filed Models. CoRR Tongjia Zheng, Hai Lin
2020	J	`jnl`	Ensuring Privacy in Location-Based Services: A Model-based Approach. CoRR Alireza Partovi, Wei Zheng, Taeho Jung, Hai Lin
2020	J	`jnl`	H IEEE Trans. Syst. Man Cybern. Syst. Qing-Kui Li, Hai Lin, Xi Tan, Shengli Du
2020	J	`jnl`	Opacity of Discrete Event Systems with Active Intruder. CoRR Alireza Partovi, Taeho Jung, Hai Lin
2020	J	`jnl`	PDE-based Dynamic Density Estimation for Large-scale Agent Systems. CoRR Tongjia Zheng, Qing Han, Hai Lin
2020	C	`conf`	Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. ACC Vince Kurtz, Patrick M. Wensing, Hai Lin
2020	J	`jnl`	Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. CoRR Vince Kurtz, Patrick M. Wensing, Hai Lin
2020	J	`jnl`	Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic. CoRR Zhiyu Liu, Meng Jiang, Hai Lin
2020	J	`jnl`	Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. CoRR Vince Kurtz, Hai Lin
2019	J	`jnl`	Active Perception and Control From Temporal Logic Specifications. IEEE Control. Syst. Lett. Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2019	J	`jnl`	Active Perception and Control from Temporal Logic Specifications. CoRR Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
2019	J	`jnl`	Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis. CoRR Vince Kurtz, Hai Lin
2019	B	`conf`	CollabDrone: A Collaborative Spatiotemporal-Aware Drone Sensing System Driven by Social Sensing Signals. ICCCN Md. Tahmid Rashid, Daniel Zhang, Zhiyu Liu, Hai Lin, Dong Wang
2019	—	`conf`	Formal Connections between Template and Anchor Models via Approximate Simulation. Humanoids Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
2019	J	`jnl`	Formal Connections between Template and Anchor Models via Approximate Simulation. CoRR Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin
2019	J	`jnl`	Kalman Filtering with Gaussian Processes Measurement Noise. CoRR Vince Kurtz, Hai Lin
2019	J	`jnl`	Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. IEEE Trans. Autom. Control. Bo Wu, Xiaobin Zhang, Hai Lin
2019	—	`conf`	Reactive Supervisory Control of Open Discrete Event Systems. CDC Alireza Partovi, Hai Lin
2019	C	`conf`	Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. ACC Vince Kurtz, Hai Lin
2019	J	`jnl`	Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. CoRR Wei Zheng, Hai Lin
2019	J	`jnl`	Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. IEEE Control. Syst. Lett. Wei Zheng, Hai Lin
2018	C	`conf`	A Mean Field Game Approach to Swarming Robots Control. ACC Zhiyu Liu, Bo Wu, Hai Lin
2018	—	`conf`	Coordinated Robot-Assisted Human Crowd Evacuation. CDC Zhiyu Liu, Bo Wu, Hai Lin
2018	J	`jnl`	Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications. CoRR Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
2018	J	`jnl`	Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol. IEEE Trans. Control. Syst. Technol. Bo Wu, Michael D. Lemmon, Hai Lin
2018	J	`jnl`	H IEEE Trans. Control. Syst. Technol. Qing-Kui Li, Yu-Gang Li, Hai Lin
2018	—	`conf`	Modular Cooperative Tasking for Multi-agent Systems. ICCA Mohammad Karimadini, Ali Karimoddini, Hai Lin
2018	—	`conf`	POMDP Model Learning for Human Robot Collaboration. CDC Wei Zheng, Bo Wu, Hai Lin
2018	J	`jnl`	POMDP Model Learning for Human Robot Collaboration. CoRR Wei Zheng, Bo Wu, Hai Lin
2018	C	`conf`	Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. ACC Bo Wu, Zhiyu Liu, Hai Lin
2018	J	`jnl`	Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. CoRR Bo Wu, Zhiyu Liu, Hai Lin
2018	J	`jnl`	Perfectly Controllable Multi-Agent Networks. CoRR Shaobin Cao, Zhijian Ji, Hai Lin, Haisheng Yu
2018	J	`jnl`	Platoon Formation Control With Prescribed Performance Guarantees for USVs. IEEE Trans. Ind. Electron. Shi-Lu Dai, Shude He, Hai Lin, Cong Wang
2018	J	`jnl`	Privacy Preserving Controller Synthesis via Belief Abstraction. CoRR Bo Wu, Hai Lin
2018	J	`jnl`	Privacy Verification and Enforcement via Belief Abstraction. IEEE Control. Syst. Lett. Bo Wu, Hai Lin
2018	—	`conf`	Privacy Verification in POMDPs via Barrier Certificates. CDC Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
2018	J	`jnl`	Privacy Verification in POMDPs via Barrier Certificates. CoRR Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
2018	C	`conf`	Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators. ACC Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
2018	J	`jnl`	Reactive Supervisory Control of Open Discrete-event Systems. CoRR Alireza Partovi, Jin Dai, Hai Lin
2018	J	`jnl`	Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications. CoRR Rafael Rodrigues da Silva, Hai Lin
2018	C	`conf`	Solving Complex Tasks Hierarchically from Demonstrations. ACC Wei Zheng, Bo Wu, Hai Lin
2018	C	`conf`	Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. ACC Bo Wu, Jin Dai, Hai Lin
2018	J	`jnl`	Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. CoRR Bo Wu, Jin Dai, Hai Lin
2018	J	`jnl`	Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. CoRR Vincent Kurtz, Hai Lin
2017	J	`jnl`	A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints. CoRR Bo Wu, Bin Hu, Hai Lin
2017	J	`jnl`	An Iterative Method for Control Gain Design of Multiagent Systems With Process Noise. IEEE Trans. Control. Syst. Technol. Qiang Ling, Wei Zheng, Hai Lin
2017	J	`jnl`	Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications. CoRR Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin
2017	C	`conf`	Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. ACC Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin
2017	J	`jnl`	Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures. CoRR Jin Dai, Hai Lin
2017	J	`jnl`	Counterexample-Guided Abstraction Refinement for POMDPs. CoRR Xiaobin Zhang, Bo Wu, Hai Lin
2017	J	`jnl`	Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications. CoRR Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
2017	—	`conf`	Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications. CDC Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
2017	J	`jnl`	Learning-based Formal Synthesis of Cooperative Multi-agent Systems. CoRR Jin Dai, Alessandro Benini, Hai Lin, Panos J. Antsaklis, Matthew J. Rutherford, Kimon P. Valavanis
2017	J	`jnl`	Permissive Supervisor Synthesis for Markov Decision Processes through Learning. CoRR Bo Wu, Xiaobin Zhang, Hai Lin
2017	J	`jnl`	Reactive Integrated Mission and Motion planning. CoRR Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
2017	J	`jnl`	Spatially-temporally online fault detection using timed multivariate statistical logic. Eng. Appl. Artif. Intell. Kangling Liu, Hai Lin, Zhengshun Fei, Jun Liang
2017	J	`jnl`	Supervisor Synthesis of POMDP based on Automata Learning. CoRR Xiaobin Zhang, Bo Wu, Hai Lin
2017	C	`conf`	Toward efficient manufacturing systems: A trust based human robot collaboration. ACC Bo Wu, Bin Hu, Hai Lin
2016	C	`conf`	Achieving fault-tolerance and safety of discrete-event systems through learning. ACC Jin Dai, Ali Karimoddini, Hai Lin
2016	—	`conf`	Assume-guarantee reasoning framework for MDP-POMDP. CDC Xiaobin Zhang, Bo Wu, Hai Lin
2016	J	`jnl`	Combined top-down and bottom-up design of cooperative multi-robot systems. CoRR Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin
2016	C	`conf`	Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. ACC Bo Wu, Hai Lin
2016	J	`jnl`	Effects of Mixed-Modes on the Stability Analysis of Switched Time-Varying Delay Systems. IEEE Trans. Autom. Control. Qing-Kui Li, Hai Lin
2016	—	`conf`	Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. AAAI Fall Symposia Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin
2016	J	`jnl`	Formal Design of Robot Integrated Task and Motion Planning. CoRR Rafael Rodrigues da Silva, Bo Wu, Hai Lin
2016	—	`conf`	Formal design of robot Integrated Task and Motion Planning. CDC Rafael Rodrigues da Silva, Bo Wu, Hai Lin
2016	—	`conf`	Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. MED Jin Dai, Alessandro Benini, Hai Lin, Panos J. Antsaklis, Matthew J. Rutherford, Kimon P. Valavanis
2016	J	`jnl`	SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments. CoRR Rafael Rodrigues da Silva, Samuel Silva, Grigoriy Dubrovskiy, Hai Lin
2016	J	`jnl`	Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications. CoRR Rafael Rodrigues da Silva, Hai Lin
2016	J	`jnl`	Sampled-Data Fuzzy Stabilization of Nonlinear Systems Under Nonuniform Sampling. IEEE Trans. Fuzzy Syst. Xun-lin Zhu, Hai Lin, Xiangpeng Xie
2015	—	`conf`	Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. ADHS Bo Wu, Jin Dai, Hai Lin
2015	C	`conf`	Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. ACC Bo Wu, Hai Lin
2015	—	`conf`	Learning based supervisor synthesis of POMDP for PCTL specifications. CDC Xiaobin Zhang, Bo Wu, Hai Lin
2015	C	`conf`	Learning-based design of fault-tolerant cooperative multi-agent systems. ACC Jin Dai, Hai Lin
2015	J	`jnl`	Protocols Design and Uncontrollable Topologies Construction for Multi-Agent Networks. IEEE Trans. Autom. Control. Zhijian Ji, Hai Lin, Haisheng Yu
2014	C	`conf`	Assume-guarantee cooperative satisfaction of multi-agent systems. ACC Alireza Partovi, Hai Lin
2014	—	`conf`	Automatic synthesis of cooperative multi-agent systems. CDC Jin Dai, Hai Lin
2014	J	`jnl`	Bisimilarity enforcing supervisory control for deterministic specifications. Autom. Yajuan Sun, Hai Lin, Ben M. Chen
2014	J	`jnl`	Decentralized Hybrid Formation Control of Unmanned Aerial Vehicles. CoRR Ali Karimoddini, Mohammad Karimadini, Hai Lin
2014	C	`conf`	Decentralized hybrid formation control of Unmanned Aerial Vehicles. ACC Ali Karimoddini, Mohammad Karimadini, Hai Lin
2014	—	`conf`	Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach. ICCA Jin Dai, Hai Lin
2014	—	`conf`	Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol. CDC Bo Wu, Hai Lin, Michael D. Lemmon
2014	J	`jnl`	Hierarchical hybrid modelling and control of an unmanned helicopter. Int. J. Control Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee
2014	J	`jnl`	Hybrid Dynamical Systems: An Introduction to Control and Verification. Found. Trends Syst. Control. Hai Lin, Panos J. Antsaklis
2014	J	`jnl`	Output feedback tracking control by additive state decomposition for a class of uncertain systems. Int. J. Syst. Sci. Quan Quan, Hai Lin, Kai-Yuan Cai
2014	J	`jnl`	Reply to "Comments on 'Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [Automatica 43 (2007), 1363-1368]". Autom. Fuchun Liu, Hai Lin, Zbigniew Dziong
2014	—	`conf`	Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol. ICCA Bo Wu, Hai Lin, Michael D. Lemmon
2013	C	`conf`	A smooth hybrid symbolic control for the formation of UAVs over a partitioned space. ACC Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee
2013	J	`jnl`	Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology. Int. J. Control Xiaomeng Liu, Hai Lin, Ben M. Chen
2013	—	`conf`	Hybrid symbolic control for robot motion planning. ICCA Ali Karimoddini, Hai Lin
2013	J	`jnl`	Hybrid three-dimensional formation control for unmanned helicopters. Autom. Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee
2013	J	`jnl`	Identification of Unknown Parameters for a Class of Two-Level Quantum Systems. IEEE Trans. Autom. Control. Zhengui Xue, Hai Lin, Tong Heng Lee
2013	J	`jnl`	Structural controllability of switched linear systems. Autom. Xiaomeng Liu, Hai Lin, Ben M. Chen
2012	J	`jnl`	An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications. Int. J. Control Yajuan Sun, Hai Lin, Ben M. Chen
2012	J	`jnl`	Bisimilarity Enforcing Supervisory Control for Deterministic Specifications CoRR Yajuan Sun, Hai Lin, Ben M. Chen
2012	C	`conf`	Bisimilarity enforcing supervisory control of nondeterministic discrete event systems. ACC Yajuan Sun, Hai Lin
2012	J	`jnl`	Facial expression recognition using radial encoding of local Gabor features and classifier synthesis. Pattern Recognit. Wenfei Gu, Cheng Xiang, Y. V. Venkatesh, Dong Huang, Hai Lin
2012	J	`jnl`	Geometric Analysis of Reachability and Observability for Impulsive Systems on Complex Field. J. Appl. Math. Shouwei Zhao, Jitao Sun, Hai Lin
2012	J	`jnl`	Graph-Theoretic Characterizations of Structural Controllability for Multi-Agent System with Switching Topology CoRR Xiaomeng Liu, Hai Lin, Ben M. Chen
2012	J	`jnl`	Leaders in multi-agent controllability under consensus algorithm and tree topology. Syst. Control. Lett. Zhijian Ji, Hai Lin, Haisheng Yu
2012	—	`conf`	Stability analysis for uncertain linear systems with random parameters. CDC Xiaoyang Li, Hai Lin, Jie Lian, Ben M. Chen
2012	J	`jnl`	Switching control of closed quantum systems via the Lyapunov method. Autom. Shouwei Zhao, Hai Lin, Zhengui Xue
2011	J	`jnl`	Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Autom. Fuchun Liu, Hai Lin, Zbigniew Dziong
2011	J	`jnl`	Communicate only when necessary: Cooperative tasking for multi-agent systems CoRR Mohammad Karimadini, Hai Lin
2011	J	`jnl`	Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata CoRR Yajuan Sun, Hai Lin, Fuchun Liu
2011	J	`jnl`	Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence CoRR Yajuan Sun, Hai Lin, Ben M. Chen
2011	J	`jnl`	Design and analysis of continuous hybrid differentiator CoRR Xinhua Wang, Hai Lin
2011	J	`jnl`	Design and frequency analysis of continuous finite-time-convergent differentiator CoRR Xinhua Wang, Hai Lin
2011	J	`jnl`	Development of a Comprehensive Software System for Implementing Cooperative Control of Multiple Unmanned Aerial Vehicles. Int. J. Robotics Autom. Xiangxu Dong, Ben M. Chen, Guowei Cai, Hai Lin, Tong Heng Lee
2011	J	`jnl`	Fault-tolerant cooperative tasking for multi-agent systems. Int. J. Control Mohammad Karimadini, Hai Lin
2011	J	`jnl`	Guaranteed global performance through local coordinations. Autom. Mohammad Karimadini, Hai Lin
2011	J	`jnl`	Hybrid 3-D Formation Control for Unmanned Helicopters CoRR Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee
2011	—	`conf`	Identification and control of a two-level open quantum system. CDC/ECC Zhengui Xue, Hai Lin, Tong Heng Lee
2011	J	`jnl`	Necessary and Sufficient Conditions for Task Automaton Decomposition CoRR Mohammad Karimadini, Hai Lin
2011	J	`jnl`	Null controllability of planar bimodal piecewise linear systems. Int. J. Control Xiaomeng Liu, Hai Lin, Ben M. Chen
2011	J	`jnl`	Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input CoRR Quan Quan, Hai Lin, Kai-Yuan Cai
2011	—	`conf`	Stability analysis of systems with stochastic parametric uncertainties. ICCA Jie Lian, Xiaoyang Li, Hai Lin
2011	J	`jnl`	Structural Controllability of Switched Linear Systems CoRR Xiaomeng Liu, Hai Lin, Ben M. Chen
2011	J	`jnl`	Task Decomposability Under Event Failures for Two Cooperative Agents CoRR Mohammad Karimadini, Hai Lin
2011	J	`jnl`	Two-step differentiator for delayed signal CoRR Xinhua Wang, Hai Lin
2010	—	`conf`	Computation for Supremal Simulation-Based Controllable Subautomata. ICCA Yajuan Sun, Hai Lin, Fuchun Liu, Ben M. Chen
2010	J	`jnl`	Controllability of multi-agent systems with time-delay in state and switching topology. Int. J. Control Zhijian Ji, Zidong Wang, Hai Lin, Zhen Wang
2010	—	`conf`	Decomposability of global tasks for multi-agent systems. CDC Mohammad Karimadini, Hai Lin
2010	C	`conf`	Graphic interpretations of structural controllability for switched linear systems. ICARCV Xiaomeng Liu, Hai Lin, Ben M. Chen
2010	—	`conf`	Implementation of formation flight of multiple unmanned aerial vehicles. ICCA Xiangxu Dong, Guowei Cai, Feng Lin, Ben M. Chen, Hai Lin, Tong Heng Lee
2010	C	`conf`	Multi-agent controllability with tree topology. ACC Zhijian Ji, Hai Lin, Tong Heng Lee, Qiang Ling
2010	C	`conf`	Necessary and sufficient bit rate conditions to stabilize quantized Markov jump linear systems. ACC Qiang Ling, Hai Lin
2010	J	`jnl`	Necessary and sufficient conditions for regional stabilisability of generic switched linear systems with a pair of planar subsystems. Int. J. Control Zhihong Huang, Cheng Xiang, Hai Lin, Tong Heng Lee
2010	—	`conf`	Optimal task automaton decomposabilization for a class of global specifications. ICCA Mohammad Karimadini, Hai Lin
2010	J	`jnl`	Reliable supervisory control for general architecture of decentralized discrete event systems. Autom. Fuchun Liu, Hai Lin
2010	J	`jnl`	Scheduling-and-Control Codesign for a Collection of Networked Control Systems With Uncertain Delays. IEEE Trans. Control. Syst. Technol. Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge
2009	—	`conf`	A general architecture for reliable decentralized supervisory control of discrete event systems. CDC Fuchun Liu, Hai Lin
2009	—	`conf`	A graph-theoretic characterization of structural controllability for multi-agent system with switching topology. CDC Xiaomeng Liu, Hai Lin, Ben M. Chen
2009	J	`jnl`	A new perspective on criteria and algorithms for reachability of discrete-time switched linear systems. Autom. Zhijian Ji, Hai Lin, Tong Heng Lee
2009	—	`conf`	A switched system approach to scheduling of networked control systems with communication constraints. CDC Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge
2009	—	`conf`	Implicit Lyapunov control of closed quantum systems. CDC Shouwei Zhao, Hai Lin, Jitao Sun, Zhengui Xue
2009	J	`jnl`	Interconnection topologies for multi-agent coordination under leader-follower framework. Autom. Zhijian Ji, Zidong Wang, Hai Lin, Zhen Wang
2009	C	`conf`	Robust stability of discrete-time switched delay systems and its application to network-based reliable control. ACC Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge
2009	J	`jnl`	Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results. IEEE Trans. Autom. Control. Hai Lin, Panos J. Antsaklis
2009	—	`conf`	Stabilize an n-dimensional quantized nonlinear feedforward system with 1 bit. CDC Qiang Ling, Michael D. Lemmon, Hai Lin
2009	J	`jnl`	Synchronized Task Decomposition for Cooperative Multi-agent Systems CoRR Mohammad Karimadini, Hai Lin
2008	—	`conf`	A graph theory based characterization of controllability for multi-agent systems with fixed topology. CDC Zhijian Ji, Hai Lin, Tong Heng Lee
2008	—	`conf`	Controllability of Multi-agent Systems with Switching Topology. RAM Zhijian Ji, Hai Lin, Tong Heng Lee
2008	J	`jnl`	Hybrid state feedback stabilization with Int. J. Control Hai Lin, Panos J. Antsaklis
2008	C	`conf`	Simultaneous stability of a collection of networked control systems with uncertain delays. ICARCV Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge, Xiaoyang Li
2008	B	`conf`	Universal controller for monotone systems inspired from fuzzy logic control. SMC Mohammad Karimadini, Hai Lin, Mohammad Hamiruce Marhaban, Samsul Bahari Mohd Noor, Ishak Aris, Atefeh Davari, Abu Bakar Ghazali
2007	—	`conf`	A Necessary and Sufficient Condition for Stability of Arbitrarily Switched Second-Order LTI System: Marginally Stable Case. ISIC Zhihong Huang, Cheng Xiang, Hai Lin, Tong Heng Lee
2007	—	`conf`	Characterizing uniformly ultimately bounded switching signals for uncertain switched linear systems. CDC Hai Lin, Panos J. Antsaklis
2007	J	`jnl`	Extended Lie Algebraic Stability Analysis for Switched Systems with Continuous-Time and Discrete-Time Subsystems. Int. J. Appl. Math. Comput. Sci. Guisheng Zhai, Xuping Xu, Hai Lin, Derong Liu
2007	—	`conf`	Hybrid H ISIC Hai Lin, Panos J. Antsaklis
2007	J	`jnl`	Switching Stabilizability for Continuous-Time Uncertain Switched Linear Systems. IEEE Trans. Autom. Control. Hai Lin, Panos J. Antsaklis
2006	—	`conf`	Switching Stabilization and l2 Gain Performance Controller Synthesis for Discrete-Time Switched Linear Systems. CDC Hai Lin, Panos J. Antsaklis
2005	—	`conf`	A Converse Lyapunov Theorem for Uncertain Switched Linear Systems. CDC/ECC Hai Lin, Panos J. Antsaklis
2005	C	`conf`	Analysis of switched normal discrete-time systems. ACC Guisheng Zhai, Hai Lin, Xuping Xu, Joe Imae, Tomoaki Kobayashi
2005	C	`conf`	Asymptotic disturbance attenuation property analysis for discrete-time uncertain switched linear systems. ACC Hai Lin, Guisheng Zhai, Panos J. Antsaklis
2005	—	`conf`	Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results. ISIC Hai Lin, Panos J. Antsaklis
2004	—	`conf`	A necessary and sufficient condition for robust asymptotic stabilizability of continuous-time uncertain switched linear systems. CDC Hai Lin, Panos J. Antsaklis
2004	C	`conf`	Disturbance attenuation in classes of uncertain linear hybrid systems. ACC Hai Lin, Panos J. Antsaklis
2004	—	`conf`	Persistent disturbance attenuation properties for networked control systems. CDC Hai Lin, Panos J. Antsaklis
2004	—	`conf`	Stability analysis and design of switched normal systems. CDC Guisheng Zhai, Hai Lin, Xuping Xu, Anthony N. Michel
2004	C	`conf`	Stability analysis for switched systems with continuous-time and discrete-time subsystems. ACC Guisheng Zhai, Hai Lin, Anthony N. Michel, Kazumori Yasuda
2004	—	`conf`	Stabilization and performance analysis for a class of switched systems. CDC Lei Fang, Hai Lin, Panos J. Antsaklis
2003	—	`conf`	Controller failure time analysis for symmetric H CDC Guisheng Zhai, Hai Lin, Panos J. Antsaklis
2003	—	`conf`	Disturbance attenuation properties for discrete-time uncertain switched linear systems. CDC Hai Lin, Panos J. Antsaklis
2003	C	`conf`	Robust invariant control synthesis for discrete-time polytopic uncertain linear hybrid systems. ACC Hai Lin, Panos J. Antsaklis
2003	—	`conf`	Robust stability and disturbance attenuation analysis of a class of networked control systems. CDC Hai Lin, Guisheng Zhai, Panos J. Antsaklis
2003	C	`conf`	Set-valued observer design for a class of uncertain linear systems with persistent disturbance. ACC Hai Lin, Guisheng Zhai, Panos J. Antsaklis
2003	—	`conf`	Synthesis of uniformly ultimate boundedness switching laws for discrete-time uncertain switched linear systems. CDC Hai Lin, Panos J. Antsaklis
2002	—	`conf`	Controller synthesis for a class of uncertain piecewise linear hybrid dynamical systems. CDC Hai Lin, Panos J. Antsaklis
2002	C	`conf`	HYSTAR: a toolbox for hierarchical control of piecewise linear hybrid dynamical systems. ACC Hai Lin, Xenofon D. Koutsoukos, Panos J. Antsaklis
2002	—	`conf`	Robust controlled invariant sets for a class of uncertain hybrid systems. CDC Hai Lin, Panos J. Antsaklis