Hai Lin
Orcid: 0000-0002-5242-2366Affiliations:
- University of Notre Dame, IN, USA (PhD 2005)
- National University of Singapore, Singapore (former)
According to our database1,
Hai Lin
authored at least 214 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on www3.nd.edu
On csauthors.net:
Bibliography
2024
A Decentralized Control Synthesis Approach for Networked Systems With Arbitrary Interconnections.
IEEE Trans. Autom. Control., December, 2024
IEEE Trans. Control. Syst. Technol., November, 2024
Port-Hamiltonian-Based Geometric Control for Rigid Body Platoons With Mesh Stability Guarantee.
IEEE Control. Syst. Lett., 2024
OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models.
CoRR, 2024
Proceedings of the 7th IEEE International Conference on Soft Robotics, 2024
2023
Output-Based Dynamic Event-Triggered Control for Networked Control Systems With Delays and Packet Losses Without Acknowledgements.
IEEE Trans. Autom. Control., December, 2023
Continuous-Observation One-Sided Two-Player Zero-Sum Partially Observable Stochastic Game With Public Actions.
IEEE Trans. Autom. Control., December, 2023
IEEE Trans. Robotics, October, 2023
Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions.
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons.
CoRR, 2023
Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control.
CoRR, 2023
CoRR, 2023
CoRR, 2023
Full State Estimation of Soft Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer.
CoRR, 2023
Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control Based on Mean-Field Hydrodynamic Models.
CoRR, 2023
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2023
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems.
Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023
Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models.
Proceedings of the American Control Conference, 2023
Multi-robot-assisted human crowd control for emergency evacuation: A stabilization approach.
Proceedings of the American Control Conference, 2023
Proceedings of the American Control Conference, 2023
Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions.
Proceedings of the American Control Conference, 2023
2022
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
IEEE Control. Syst. Lett., 2022
IEEE Control. Syst. Lett., 2022
IEEE Control. Syst. Lett., 2022
Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems.
CoRR, 2022
Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Under Vector String Stability.
CoRR, 2022
The Stackelberg equilibrium for one-sided zero-sum partially observable stochastic games.
Autom., 2022
A new performance bound for submodular maximization problems and its application to multi-agent optimal coverage problems.
Autom., 2022
A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections.
Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems.
Proceedings of the American Control Conference, 2022
Proceedings of the American Control Conference, 2022
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances.
Proceedings of the American Control Conference, 2022
Proceedings of the American Control Conference, 2022
2021
IEEE Trans. Cybern., 2021
IEEE Robotics Autom. Lett., 2021
IEEE Control. Syst. Lett., 2021
Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications.
IEEE Control. Syst. Lett., 2021
IEEE Control. Syst. Lett., 2021
Backstepping Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems.
CoRR, 2021
Optimal DoS attack schedules on remote state estimation under multi-sensor round-robin protocol.
Autom., 2021
Proceedings of the 30th International Conference on Computer Communications and Networks, 2021
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback.
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 2021 American Control Conference, 2021
2020
H<sub>∞</sub> Consensus for Multiagent-Based Supply Chain Systems Under Switching Topology and Uncertain Demands.
IEEE Trans. Syst. Man Cybern. Syst., 2020
Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications.
IEEE Trans. Control. Netw. Syst., 2020
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic.
CoRR, 2020
A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots.
CoRR, 2020
Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control.
Proceedings of the 2020 American Control Conference, 2020
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances.
Proceedings of the 2020 American Control Conference, 2020
2019
IEEE Trans. Autom. Control., 2019
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration.
IEEE Control. Syst. Lett., 2019
IEEE Control. Syst. Lett., 2019
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis.
CoRR, 2019
CollabDrone: A Collaborative Spatiotemporal-Aware Drone Sensing System Driven by Social Sensing Signals.
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019
Proceedings of the 19th IEEE-RAS International Conference on Humanoid Robots, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance.
Proceedings of the 2019 American Control Conference, 2019
2018
IEEE Trans. Ind. Electron., 2018
Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol.
IEEE Trans. Control. Syst. Technol., 2018
H<sub>∞</sub> Control of Two-Time-Scale Markovian Switching Production-Inventory Systems.
IEEE Trans. Control. Syst. Technol., 2018
IEEE Control. Syst. Lett., 2018
Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications.
CoRR, 2018
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems.
Proceedings of the 2018 Annual American Control Conference, 2018
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
2017
An Iterative Method for Control Gain Design of Multiagent Systems With Process Noise.
IEEE Trans. Control. Syst. Technol., 2017
Spatially-temporally online fault detection using timed multivariate statistical logic.
Eng. Appl. Artif. Intell., 2017
A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints.
CoRR, 2017
Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures.
CoRR, 2017
Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 2017 American Control Conference, 2017
Communication-aware motion planning for multi-agent systems from signal temporal logic specifications.
Proceedings of the 2017 American Control Conference, 2017
2016
IEEE Trans. Fuzzy Syst., 2016
Effects of Mixed-Modes on the Stability Analysis of Switched Time-Varying Delay Systems.
IEEE Trans. Autom. Control., 2016
CoRR, 2016
SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments.
CoRR, 2016
Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications.
CoRR, 2016
Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination.
Proceedings of the 24th Mediterranean Conference on Control and Automation, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning.
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016
2015
Protocols Design and Uncontrollable Topologies Construction for Multi-Agent Networks.
IEEE Trans. Autom. Control., 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning.
Proceedings of the American Control Conference, 2015
Proceedings of the American Control Conference, 2015
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Output feedback tracking control by additive state decomposition for a class of uncertain systems.
Int. J. Syst. Sci., 2014
Int. J. Control, 2014
Found. Trends Syst. Control., 2014
Autom., 2014
Reply to "Comments on 'Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [Automatica 43 (2007), 1363-1368]".
Autom., 2014
Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014
Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the American Control Conference, 2014
Proceedings of the American Control Conference, 2014
2013
IEEE Trans. Autom. Control., 2013
Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology.
Int. J. Control, 2013
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013
Proceedings of the American Control Conference, 2013
2012
Syst. Control. Lett., 2012
Facial expression recognition using radial encoding of local Gabor features and classifier synthesis.
Pattern Recognit., 2012
Geometric Analysis of Reachability and Observability for Impulsive Systems on Complex Field.
J. Appl. Math., 2012
An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications.
Int. J. Control, 2012
Graph-Theoretic Characterizations of Structural Controllability for Multi-Agent System with Switching Topology
CoRR, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems.
Proceedings of the American Control Conference, 2012
2011
Development of a Comprehensive Software System for Implementing Cooperative Control of Multiple Unmanned Aerial Vehicles.
Int. J. Robotics Autom., 2011
Int. J. Control, 2011
Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
CoRR, 2011
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input
CoRR, 2011
CoRR, 2011
CoRR, 2011
Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata
CoRR, 2011
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm.
Autom., 2011
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Scheduling-and-Control Codesign for a Collection of Networked Control Systems With Uncertain Delays.
IEEE Trans. Control. Syst. Technol., 2010
Controllability of multi-agent systems with time-delay in state and switching topology.
Int. J. Control, 2010
Necessary and sufficient conditions for regional stabilisability of generic switched linear systems with a pair of planar subsystems.
Int. J. Control, 2010
Reliable supervisory control for general architecture of decentralized discrete event systems.
Autom., 2010
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010
Proceedings of the 11th International Conference on Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Necessary and sufficient bit rate conditions to stabilize quantized Markov jump linear systems.
Proceedings of the American Control Conference, 2010
Proceedings of the American Control Conference, 2010
2009
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results.
IEEE Trans. Autom. Control., 2009
Interconnection topologies for multi-agent coordination under leader-follower framework.
Autom., 2009
A new perspective on criteria and algorithms for reachability of discrete-time switched linear systems.
Autom., 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
A graph-theoretic characterization of structural controllability for multi-agent system with switching topology.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
A general architecture for reliable decentralized supervisory control of discrete event systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
A switched system approach to scheduling of networked control systems with communication constraints.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Robust stability of discrete-time switched delay systems and its application to network-based reliable control.
Proceedings of the American Control Conference, 2009
2008
Hybrid state feedback stabilization with <i>l</i><sub>2</sub> performance for discrete-time switched linear systems.
Int. J. Control, 2008
Proceedings of the IEEE International Conference on Systems, 2008
Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008
Simultaneous stability of a collection of networked control systems with uncertain delays.
Proceedings of the 10th International Conference on Control, 2008
A graph theory based characterization of controllability for multi-agent systems with fixed topology.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
IEEE Trans. Autom. Control., 2007
Extended Lie Algebraic Stability Analysis for Switched Systems with Continuous-Time and Discrete-Time Subsystems.
Int. J. Appl. Math. Comput. Sci., 2007
Characterizing uniformly ultimately bounded switching signals for uncertain switched linear systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Hybrid H<sub>∞</sub> state feedback control for discrete-time switched linear systems.
Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 2007
A Necessary and Sufficient Condition for Stability of Arbitrarily Switched Second-Order LTI System: Marginally Stable Case.
Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 2007
2006
Switching Stabilization and l2 Gain Performance Controller Synthesis for Discrete-Time Switched Linear Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the American Control Conference, 2005
Asymptotic disturbance attenuation property analysis for discrete-time uncertain switched linear systems.
Proceedings of the American Control Conference, 2005
Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results.
Proceedings of the Intelligent Control, 2005
2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
A necessary and sufficient condition for robust asymptotic stabilizability of continuous-time uncertain switched linear systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Stability analysis for switched systems with continuous-time and discrete-time subsystems.
Proceedings of the 2004 American Control Conference, 2004
Proceedings of the 2004 American Control Conference, 2004
2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Robust stability and disturbance attenuation analysis of a class of networked control systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Disturbance attenuation properties for discrete-time uncertain switched linear systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Synthesis of uniformly ultimate boundedness switching laws for discrete-time uncertain switched linear systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Set-valued observer design for a class of uncertain linear systems with persistent disturbance.
Proceedings of the American Control Conference, 2003
Robust invariant control synthesis for discrete-time polytopic uncertain linear hybrid systems.
Proceedings of the American Control Conference, 2003
2002
Controller synthesis for a class of uncertain piecewise linear hybrid dynamical systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
HYSTAR: a toolbox for hierarchical control of piecewise linear hybrid dynamical systems.
Proceedings of the American Control Conference, 2002