HYSTAR: a toolbox for hierarchical control of piecewise linear hybrid dynamical systems. - Hai Lin 002; Xenofon D. Koutsoukos; Panos J. Antsaklis (ACC, 2002)

Robust controlled invariant sets for a class of uncertain hybrid systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2002)

Controller synthesis for a class of uncertain piecewise linear hybrid dynamical systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2002)

Robust invariant control synthesis for discrete-time polytopic uncertain linear hybrid systems. - Hai Lin 002; Panos J. Antsaklis (ACC, 2003)

Set-valued observer design for a class of uncertain linear systems with persistent disturbance. - Hai Lin 002; Guisheng Zhai; Panos J. Antsaklis (ACC, 2003)

Synthesis of uniformly ultimate boundedness switching laws for discrete-time uncertain switched linear systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2003)

Disturbance attenuation properties for discrete-time uncertain switched linear systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2003)

Robust stability and disturbance attenuation analysis of a class of networked control systems. - Hai Lin 002; Guisheng Zhai; Panos J. Antsaklis (CDC, 2003)

Controller failure time analysis for symmetric H∞ control systems. - Guisheng Zhai; Hai Lin 002; Panos J. Antsaklis (CDC, 2003)

Disturbance attenuation in classes of uncertain linear hybrid systems. - Hai Lin 002; Panos J. Antsaklis (ACC, 2004)

Stability analysis for switched systems with continuous-time and discrete-time subsystems. - Guisheng Zhai; Hai Lin 002; Anthony N. Michel; Kazumori Yasuda (ACC, 2004)

Stabilization and performance analysis for a class of switched systems. - Lei Fang; Hai Lin 002; Panos J. Antsaklis (CDC, 2004)

Persistent disturbance attenuation properties for networked control systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2004)

A necessary and sufficient condition for robust asymptotic stabilizability of continuous-time uncertain switched linear systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2004)

Stability analysis and design of switched normal systems. - Guisheng Zhai; Hai Lin 002; Xuping Xu; Anthony N. Michel (CDC, 2004)

Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results. - Hai Lin 002; Panos J. Antsaklis (ISIC, 2005)

Asymptotic disturbance attenuation property analysis for discrete-time uncertain switched linear systems. - Hai Lin 002; Guisheng Zhai; Panos J. Antsaklis (ACC, 2005)

Analysis of switched normal discrete-time systems. - Guisheng Zhai; Hai Lin 002; Xuping Xu; Joe Imae; Tomoaki Kobayashi (ACC, 2005)

A Converse Lyapunov Theorem for Uncertain Switched Linear Systems. - Hai Lin 002; Panos J. Antsaklis (CDC/ECC, 2005)

Switching Stabilization and l2 Gain Performance Controller Synthesis for Discrete-Time Switched Linear Systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2006)

A Necessary and Sufficient Condition for Stability of Arbitrarily Switched Second-Order LTI System: Marginally Stable Case. - Zhihong Huang; Cheng Xiang 001; Hai Lin 002; Tong Heng Lee (ISIC, 2007)

Hybrid H∞ state feedback control for discrete-time switched linear systems. - Hai Lin 002; Panos J. Antsaklis (ISIC, 2007)

Characterizing uniformly ultimately bounded switching signals for uncertain switched linear systems. - Hai Lin 002; Panos J. Antsaklis (CDC, 2007)

Extended Lie Algebraic Stability Analysis for Switched Systems with Continuous-Time and Discrete-Time Subsystems. - Guisheng Zhai; Xuping Xu; Hai Lin 002; Derong Liu 001 (Int. J. Appl. Math. Comput. Sci., 2007)

Switching Stabilizability for Continuous-Time Uncertain Switched Linear Systems. - Hai Lin 002; Panos J. Antsaklis (IEEE Trans. Autom. Control., 2007)

A graph theory based characterization of controllability for multi-agent systems with fixed topology. - Zhijian Ji; Hai Lin 002; Tong Heng Lee (CDC, 2008)

Simultaneous stability of a collection of networked control systems with uncertain delays. - Shi-Lu Dai; Hai Lin 002; Shuzhi Sam Ge; Xiaoyang Li (ICARCV, 2008)

Controllability of Multi-agent Systems with Switching Topology. - Zhijian Ji; Hai Lin 002; Tong Heng Lee (RAM, 2008)

Universal controller for monotone systems inspired from fuzzy logic control. - Mohammad Karimadini; Hai Lin 002; Mohammad Hamiruce Marhaban; Samsul Bahari Mohd Noor; Ishak Aris; Atefeh Davari; Abu Bakar Ghazali (SMC, 2008)

Hybrid state feedback stabilization with l2 performance for discrete-time switched linear systems. - Hai Lin 002; Panos J. Antsaklis (Int. J. Control, 2008)

Robust stability of discrete-time switched delay systems and its application to network-based reliable control. - Shi-Lu Dai; Hai Lin 002; Shuzhi Sam Ge (ACC, 2009)

A switched system approach to scheduling of networked control systems with communication constraints. - Shi-Lu Dai; Hai Lin 002; Shuzhi Sam Ge (CDC, 2009)

Stabilize an n-dimensional quantized nonlinear feedforward system with 1 bit. - Qiang Ling 001; Michael D. Lemmon; Hai Lin 002 (CDC, 2009)

A general architecture for reliable decentralized supervisory control of discrete event systems. - Fuchun Liu; Hai Lin 002 (CDC, 2009)

A graph-theoretic characterization of structural controllability for multi-agent system with switching topology. - Xiaomeng Liu; Hai Lin 002; Ben M. Chen (CDC, 2009)

Implicit Lyapunov control of closed quantum systems. - Shouwei Zhao; Hai Lin 002; Jitao Sun; Zhengui Xue (CDC, 2009)

A new perspective on criteria and algorithms for reachability of discrete-time switched linear systems. - Zhijian Ji; Hai Lin 002; Tong Heng Lee (Autom., 2009)

Interconnection topologies for multi-agent coordination under leader-follower framework. - Zhijian Ji; Zidong Wang 001; Hai Lin 002; Zhen Wang 016 (Autom., 2009)

Synchronized Task Decomposition for Cooperative Multi-agent Systems - Mohammad Karimadini; Hai Lin 002 (CoRR, 2009)

Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results. - Hai Lin 002; Panos J. Antsaklis (IEEE Trans. Autom. Control., 2009)

Multi-agent controllability with tree topology. - Zhijian Ji; Hai Lin 002; Tong Heng Lee; Qiang Ling 001 (ACC, 2010)

Necessary and sufficient bit rate conditions to stabilize quantized Markov jump linear systems. - Qiang Ling 001; Hai Lin 002 (ACC, 2010)

Decomposability of global tasks for multi-agent systems. - Mohammad Karimadini; Hai Lin 002 (CDC, 2010)

Graphic interpretations of structural controllability for switched linear systems. - Xiaomeng Liu; Hai Lin 002; Ben M. Chen (ICARCV, 2010)

Implementation of formation flight of multiple unmanned aerial vehicles. - Xiangxu Dong; Guowei Cai; Feng Lin 003; Ben M. Chen; Hai Lin 002; Tong Heng Lee (ICCA, 2010)

Optimal task automaton decomposabilization for a class of global specifications. - Mohammad Karimadini; Hai Lin 002 (ICCA, 2010)

Computation for Supremal Simulation-Based Controllable Subautomata. - Yajuan Sun; Hai Lin 002; Fuchun Liu; Ben M. Chen (ICCA, 2010)

Reliable supervisory control for general architecture of decentralized discrete event systems. - Fuchun Liu; Hai Lin 002 (Autom., 2010)

Necessary and sufficient conditions for regional stabilisability of generic switched linear systems with a pair of planar subsystems. - Zhihong Huang; Cheng Xiang 001; Hai Lin 002; Tong Heng Lee (Int. J. Control, 2010)

Controllability of multi-agent systems with time-delay in state and switching topology. - Zhijian Ji; Zidong Wang 001; Hai Lin 002; Zhen Wang 016 (Int. J. Control, 2010)

Scheduling-and-Control Codesign for a Collection of Networked Control Systems With Uncertain Delays. - Shi-Lu Dai; Hai Lin 002; Shuzhi Sam Ge (IEEE Trans. Control. Syst. Technol., 2010)

Identification and control of a two-level open quantum system. - Zhengui Xue; Hai Lin 002; Tong Heng Lee (CDC/ECC, 2011)

Stability analysis of systems with stochastic parametric uncertainties. - Jie Lian; Xiaoyang Li; Hai Lin 002 (ICCA, 2011)

Guaranteed global performance through local coordinations. - Mohammad Karimadini; Hai Lin 002 (Autom., 2011)

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. - Fuchun Liu; Hai Lin 002; Zbigniew Dziong (Autom., 2011)

Necessary and Sufficient Conditions for Task Automaton Decomposition - Mohammad Karimadini; Hai Lin 002 (CoRR, 2011)

Task Decomposability Under Event Failures for Two Cooperative Agents - Mohammad Karimadini; Hai Lin 002 (CoRR, 2011)

Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata - Yajuan Sun; Hai Lin 002; Fuchun Liu (CoRR, 2011)

Two-step differentiator for delayed signal - Xinhua Wang; Hai Lin 002 (CoRR, 2011)

Design and frequency analysis of continuous finite-time-convergent differentiator - Xinhua Wang; Hai Lin 002 (CoRR, 2011)

Design and analysis of continuous hybrid differentiator - Xinhua Wang; Hai Lin 002 (CoRR, 2011)

Communicate only when necessary: Cooperative tasking for multi-agent systems - Mohammad Karimadini; Hai Lin 002 (CoRR, 2011)

Hybrid 3-D Formation Control for Unmanned Helicopters - Ali Karimoddini; Hai Lin 002; Ben M. Chen; Tong Heng Lee (CoRR, 2011)

Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input - Quan Quan; Hai Lin 002; Kai-Yuan Cai (CoRR, 2011)

Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence - Yajuan Sun; Hai Lin 002; Ben M. Chen (CoRR, 2011)

Fault-tolerant cooperative tasking for multi-agent systems. - Mohammad Karimadini; Hai Lin 002 (Int. J. Control, 2011)

Null controllability of planar bimodal piecewise linear systems. - Xiaomeng Liu; Hai Lin 002; Ben M. Chen (Int. J. Control, 2011)

Development of a Comprehensive Software System for Implementing Cooperative Control of Multiple Unmanned Aerial Vehicles. - Xiangxu Dong; Ben M. Chen; Guowei Cai; Hai Lin 002; Tong Heng Lee (Int. J. Robotics Autom., 2011)

Bisimilarity enforcing supervisory control of nondeterministic discrete event systems. - Yajuan Sun; Hai Lin 002 (ACC, 2012)

Stability analysis for uncertain linear systems with random parameters. - Xiaoyang Li; Hai Lin 002; Jie Lian; Ben M. Chen (CDC, 2012)

Switching control of closed quantum systems via the Lyapunov method. - Shouwei Zhao; Hai Lin 002; Zhengui Xue (Autom., 2012)

Graph-Theoretic Characterizations of Structural Controllability for Multi-Agent System with Switching Topology - Xiaomeng Liu; Hai Lin 002; Ben M. Chen (CoRR, 2012)

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications. - Yajuan Sun; Hai Lin 002; Ben M. Chen (Int. J. Control, 2012)

Geometric Analysis of Reachability and Observability for Impulsive Systems on Complex Field. - Shouwei Zhao; Jitao Sun; Hai Lin 002 (J. Appl. Math., 2012)

Facial expression recognition using radial encoding of local Gabor features and classifier synthesis. - Wenfei Gu; Cheng Xiang 001; Y. V. Venkatesh; Dong Huang; Hai Lin 002 (Pattern Recognit., 2012)

Leaders in multi-agent controllability under consensus algorithm and tree topology. - Zhijian Ji; Hai Lin 002; Haisheng Yu 002 (Syst. Control. Lett., 2012)

A smooth hybrid symbolic control for the formation of UAVs over a partitioned space. - Ali Karimoddini; Hai Lin 002; Ben M. Chen; Tong Heng Lee (ACC, 2013)

Hybrid symbolic control for robot motion planning. - Ali Karimoddini; Hai Lin 002 (ICCA, 2013)

Hybrid three-dimensional formation control for unmanned helicopters. - Ali Karimoddini; Hai Lin 002; Ben M. Chen; Tong Heng Lee (Autom., 2013)

Structural controllability of switched linear systems. - Xiaomeng Liu; Hai Lin 002; Ben M. Chen (Autom., 2013)

Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology. - Xiaomeng Liu; Hai Lin 002; Ben M. Chen (Int. J. Control, 2013)

Identification of Unknown Parameters for a Class of Two-Level Quantum Systems. - Zhengui Xue; Hai Lin 002; Tong Heng Lee (IEEE Trans. Autom. Control., 2013)

Decentralized hybrid formation control of Unmanned Aerial Vehicles. - Ali Karimoddini; Mohammad Karimadini; Hai Lin 002 (ACC, 2014)

Assume-guarantee cooperative satisfaction of multi-agent systems. - Alireza Partovi; Hai Lin 002 (ACC, 2014)

Automatic synthesis of cooperative multi-agent systems. - Jin Dai; Hai Lin 002 (CDC, 2014)

Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach. - Jin Dai; Hai Lin 002 (ICCA, 2014)

Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol. - Bo Wu 005; Hai Lin 002; Michael D. Lemmon (ICCA, 2014)

Reply to "Comments on 'Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [Automatica 43 (2007), 1363-1368]". - Fuchun Liu; Hai Lin 002; Zbigniew Dziong (Autom., 2014)

Bisimilarity enforcing supervisory control for deterministic specifications. - Yajuan Sun; Hai Lin 002; Ben M. Chen (Autom., 2014)

Hybrid Dynamical Systems: An Introduction to Control and Verification. - Hai Lin 002; Panos J. Antsaklis (Found. Trends Syst. Control., 2014)

Hierarchical hybrid modelling and control of an unmanned helicopter. - Ali Karimoddini; Hai Lin 002; Ben M. Chen; Tong Heng Lee (Int. J. Control, 2014)

Output feedback tracking control by additive state decomposition for a class of uncertain systems. - Quan Quan; Hai Lin 002; Kai-Yuan Cai (Int. J. Syst. Sci., 2014)

Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. - Bo Wu 005; Jin Dai; Hai Lin 002 (ADHS, 2015)

Learning-based design of fault-tolerant cooperative multi-agent systems. - Jin Dai; Hai Lin 002 (ACC, 2015)

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. - Bo Wu 005; Hai Lin 002 (ACC, 2015)

Learning based supervisor synthesis of POMDP for PCTL specifications. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CDC, 2015)

Protocols Design and Uncontrollable Topologies Construction for Multi-Agent Networks. - Zhijian Ji; Hai Lin 002; Haisheng Yu 002 (IEEE Trans. Autom. Control., 2015)

Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. - Rafael Rodrigues da Silva; Bo Wu 005; Jin Dai; Hai Lin 002 (AAAI Fall Symposia, 2016)

Achieving fault-tolerance and safety of discrete-event systems through learning. - Jin Dai; Ali Karimoddini; Hai Lin 002 (ACC, 2016)

Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. - Bo Wu 005; Hai Lin 002 (ACC, 2016)

Formal design of robot Integrated Task and Motion Planning. - Rafael Rodrigues da Silva; Bo Wu 005; Hai Lin 002 (CDC, 2016)

Assume-guarantee reasoning framework for MDP-POMDP. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CDC, 2016)

Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. - Jin Dai; Alessandro Benini; Hai Lin 002; Panos J. Antsaklis; Matthew J. Rutherford; Kimon P. Valavanis (MED, 2016)

Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications. - Rafael Rodrigues da Silva; Hai Lin 002 (CoRR, 2016)

SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments. - Rafael Rodrigues da Silva; Samuel Silva 002; Grigoriy Dubrovskiy; Hai Lin 002 (CoRR, 2016)

Combined top-down and bottom-up design of cooperative multi-robot systems. - Rafael Rodrigues da Silva; Bo Wu 005; Jin Dai; Hai Lin 002 (CoRR, 2016)

Effects of Mixed-Modes on the Stability Analysis of Switched Time-Varying Delay Systems. - Qing-Kui Li; Hai Lin 002 (IEEE Trans. Autom. Control., 2016)

Sampled-Data Fuzzy Stabilization of Nonlinear Systems Under Nonuniform Sampling. - Xun-Lin Zhu; Hai Lin 002; Xiangpeng Xie 001 (IEEE Trans. Fuzzy Syst., 2016)

Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. - Zhiyu Liu; Jin Dai; Bo Wu 005; Hai Lin 002 (ACC, 2017)

Toward efficient manufacturing systems: A trust based human robot collaboration. - Bo Wu 005; Bin Hu; Hai Lin 002 (ACC, 2017)

Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications. - Zhiyu Liu; Bo Wu 005; Jin Dai; Hai Lin 002 (CDC, 2017)

Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures. - Jin Dai; Hai Lin 002 (CoRR, 2017)

Learning-based Formal Synthesis of Cooperative Multi-agent Systems. - Jin Dai; Alessandro Benini; Hai Lin 002; Panos J. Antsaklis; Matthew J. Rutherford; Kimon P. Valavanis (CoRR, 2017)

A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints. - Bo Wu 005; Bin Hu; Hai Lin 002 (CoRR, 2017)

Counterexample-Guided Abstraction Refinement for POMDPs. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CoRR, 2017)

Supervisor Synthesis of POMDP based on Automata Learning. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CoRR, 2017)

Reactive Integrated Mission and Motion planning. - Alireza Partovi; Rafael Rodrigues da Silva; Hai Lin 002 (CoRR, 2017)

Spatially-temporally online fault detection using timed multivariate statistical logic. - Kangling Liu; Hai Lin 002; Zhengshun Fei; Jun Liang (Eng. Appl. Artif. Intell., 2017)

An Iterative Method for Control Gain Design of Multiagent Systems With Process Noise. - Qiang Ling 001; Wei Zheng 012; Hai Lin 002 (IEEE Trans. Control. Syst. Technol., 2017)

A Mean Field Game Approach to Swarming Robots Control. - Zhiyu Liu; Bo Wu 005; Hai Lin 002 (ACC, 2018)

Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators. - Alireza Partovi; Rafael Rodrigues da Silva; Hai Lin 002 (ACC, 2018)

Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. - Bo Wu 005; Jin Dai; Hai Lin 002 (ACC, 2018)

Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. - Bo Wu 005; Zhiyu Liu; Hai Lin 002 (ACC, 2018)

Solving Complex Tasks Hierarchically from Demonstrations. - Wei Zheng 012; Bo Wu 005; Hai Lin 002 (ACC, 2018)

Privacy Verification in POMDPs via Barrier Certificates. - Mohamadreza Ahmadi; Bo Wu 005; Hai Lin 002; Ufuk Topcu (CDC, 2018)

Coordinated Robot-Assisted Human Crowd Evacuation. - Zhiyu Liu; Bo Wu 005; Hai Lin 002 (CDC, 2018)

POMDP Model Learning for Human Robot Collaboration. - Wei Zheng 012; Bo Wu 005; Hai Lin 002 (CDC, 2018)

Modular Cooperative Tasking for Multi-agent Systems. - Mohammad Karimadini; Ali Karimoddini; Hai Lin 002 (ICCA, 2018)

Privacy Preserving Controller Synthesis via Belief Abstraction. - Bo Wu 005; Hai Lin 002 (CoRR, 2018)

Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications. - Rafael Rodrigues da Silva; Hai Lin 002 (CoRR, 2018)

Reactive Supervisory Control of Open Discrete-event Systems. - Alireza Partovi; Jin Dai; Hai Lin 002 (CoRR, 2018)

Perfectly Controllable Multi-Agent Networks. - Shaobin Cao; Zhijian Ji; Hai Lin 002; Haisheng Yu 002 (CoRR, 2018)

Privacy Verification and Enforcement via Belief Abstraction. - Bo Wu 005; Hai Lin 002 (IEEE Control. Syst. Lett., 2018)

H∞ Control of Two-Time-Scale Markovian Switching Production-Inventory Systems. - Qing-Kui Li; Yu-Gang Li; Hai Lin 002 (IEEE Trans. Control. Syst. Technol., 2018)

Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol. - Bo Wu 005; Michael D. Lemmon; Hai Lin 002 (IEEE Trans. Control. Syst. Technol., 2018)

Platoon Formation Control With Prescribed Performance Guarantees for USVs. - Shi-Lu Dai; Shude He; Hai Lin 002; Cong Wang 007 (IEEE Trans. Ind. Electron., 2018)

Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. - Vince Kurtz; Hai Lin 002 (ACC, 2019)

Reactive Supervisory Control of Open Discrete Event Systems. - Alireza Partovi; Hai Lin 002 (CDC, 2019)

Formal Connections between Template and Anchor Models via Approximate Simulation. - Vince Kurtz; Rafael Rodrigues da Silva; Patrick M. Wensing; Hai Lin 002 (Humanoids, 2019)

CollabDrone: A Collaborative Spatiotemporal-Aware Drone Sensing System Driven by Social Sensing Signals. - Md. Tahmid Rashid; Daniel Zhang 001; Zhiyu Liu; Hai Lin 002; Dong Wang 002 (ICCCN, 2019)

Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis. - Vince Kurtz; Hai Lin 002 (CoRR, 2019)

Kalman Filtering with Gaussian Processes Measurement Noise. - Vince Kurtz; Hai Lin 002 (CoRR, 2019)

Active Perception and Control From Temporal Logic Specifications. - Rafael Rodrigues da Silva; Vince Kurtz; Hai Lin 002 (IEEE Control. Syst. Lett., 2019)

Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. - Wei Zheng 012; Hai Lin 002 (IEEE Control. Syst. Lett., 2019)

Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. - Bo Wu 005; Xiaobin Zhang; Hai Lin 002 (IEEE Trans. Autom. Control., 2019)

Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. - Vince Kurtz; Patrick M. Wensing; Hai Lin 002 (ACC, 2020)

Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control. - Tongjia Zheng; Zhiyu Liu; Hai Lin 002 (ACC, 2020)

A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots. - Zhiyu Liu; Meng Jiang 001; Hai Lin 002 (CoRR, 2020)

Ensuring Privacy in Location-Based Services: A Model-based Approach. - Alireza Partovi; Wei Zheng 012; Taeho Jung; Hai Lin 002 (CoRR, 2020)

Approximate Simulation for Template-Based Whole-Body Control. - Vince Kurtz; Patrick M. Wensing; Michael D. Lemmon; Hai Lin 002 (CoRR, 2020)

Deployment of Robotic Swarms via Density Feedback Control. - Tongjia Zheng; Qing Han; Hai Lin 002 (CoRR, 2020)

Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic. - Zhiyu Liu; Meng Jiang 001; Hai Lin 002 (CoRR, 2020)

Opacity of Discrete Event Systems with Active Intruder. - Alireza Partovi; Taeho Jung; Hai Lin 002 (CoRR, 2020)

Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. - Zhiyu Liu; Bo Wu 005; Jin Dai; Hai Lin 002 (IEEE Trans. Control. Netw. Syst., 2020)

H∞ Consensus for Multiagent-Based Supply Chain Systems Under Switching Topology and Uncertain Demands. - Qing-Kui Li; Hai Lin 002; Xi Tan; Shengli Du 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models. - Tongjia Zheng; Hai Lin 002 (ACC, 2021)

Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. - Tongjia Zheng; Hai Lin 002 (ACC, 2021)

Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. - Vince Kurtz; Patrick M. Wensing; Hai Lin 002 (CDC, 2021)

An Open, Real-World Dataset of Cellular UAV Communication Properties. - Gonzalo J. Martínez; Grigoriy Dubrovskiy; Shangyue Zhu; Alamin Mohammed; Hai Lin 002; J. Nicholas Laneman; Aaron D. Striegel; Ravikumar V. Pragada; Douglas R. Castor (ICCCN, 2021)

Supervisor synthesis of POMDP via automata learning. - Bo Wu 005; Xiaobin Zhang; Hai Lin 002 (Autom., 2021)

Optimal DoS attack schedules on remote state estimation under multi-sensor round-robin protocol. - Junhui Zhang; Jitao Sun; Hai Lin 002 (Autom., 2021)

Feedback Interconnected Mean-Field Estimation and Control. - Tongjia Zheng; Qing Han; Hai Lin 002 (CoRR, 2021)

Backstepping Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. - Tongjia Zheng; Qing Han; Hai Lin 002 (CoRR, 2021)

Active Perception and Control from PrSTL Specifications. - Rafael Rodrigues da Silva; Vince Kurtz; Hai Lin 002 (CoRR, 2021)

idSTLPy: A Python Toolbox for Active Perception and Control. - Rafael Rodrigues da Silva; Kunal Yadav; Hai Lin 002 (CoRR, 2021)

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. - Yann Gilpin; Vince Kurtz; Hai Lin 002 (IEEE Control. Syst. Lett., 2021)

Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications. - Vince Kurtz; Hai Lin 002 (IEEE Control. Syst. Lett., 2021)

PDE-Based Dynamic Density Estimation for Large-Scale Agent Systems. - Tongjia Zheng; Qing Han; Hai Lin 002 (IEEE Control. Syst. Lett., 2021)

Approximate Simulation for Template-Based Whole-Body Control. - Vince Kurtz; Patrick M. Wensing; Hai Lin 002 (IEEE Robotics Autom. Lett., 2021)

The Complexity in Complete Graphic Characterizations of Multiagent Controllability. - Zhijian Ji; Hai Lin 002; Shaobin Cao; Qingyuan Qi; Huizi Ma (IEEE Trans. Cybern., 2021)

to Control Robot Hopping over Uneven Terrain. - Michael D. Lemmon; Patrick M. Wensing; Vincent Kurtz; Hai Lin 002 (ACC, 2022)

Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. - Zihao Song; Vince Kurtz; Shirantha Welikala; Panos J. Antsaklis; Hai Lin 002 (ACC, 2022)

Feedback Interconnected Mean-Field Density Estimation and Control. - Tongjia Zheng; Qing Han; Hai Lin 002 (ACC, 2022)

Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. - Tongjia Zheng; Qing Han; Hai Lin 002 (ACC, 2022)

On-line Estimation of Stability and Passivity Metrics. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (CDC, 2022)

PDE-based Dynamic Control and Estimation of Soft Robotic Arms. - Tongjia Zheng; Hai Lin 002 (CDC, 2022)

Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. - Tongjia Zheng; Zhenyuan Yuan; Mollik Nayyar; Alan R. Wagner; Minghui Zhu; Hai Lin 002 (CDC, 2022)

Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. - Vince Kurtz; He Li; Patrick M. Wensing; Hai Lin 002 (ICRA, 2022)

Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. - Vince Kurtz; Hai Lin 002 (IROS, 2022)

A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (MED, 2022)

A new performance bound for submodular maximization problems and its application to multi-agent optimal coverage problems. - Shirantha Welikala; Christos G. Cassandras; Hai Lin 002; Panos J. Antsaklis (Autom., 2022)

The Stackelberg equilibrium for one-sided zero-sum partially observable stochastic games. - Wei Zheng 012; Taeho Jung; Hai Lin 002 (Autom., 2022)

Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Under Vector String Stability. - Zihao Song; Panos J. Antsaklis; Hai Lin 002 (CoRR, 2022)

Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (CoRR, 2022)

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. - Vince Kurtz; Hai Lin 002 (IEEE Control. Syst. Lett., 2022)

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables. - Vincent Kurtz; Hai Lin 002 (IEEE Control. Syst. Lett., 2022)

Privacy-Preserving POMDP Planning via Belief Manipulation. - Wei Zheng 012; Taeho Jung; Hai Lin 002 (IEEE Control. Syst. Lett., 2022)

Point-Based Value Iteration for VAR-POMDPs. - Wei Zheng 012; Hai Lin 002 (IEEE Control. Syst. Lett., 2022)

Automatic Trajectory Synthesis for Real-Time Temporal Logic. - Rafael Rodrigues da Silva; Vince Kurtz; Hai Lin 002 (IEEE Trans. Autom. Control., 2022)

Transporting Robotic Swarms Via Mean-Field Feedback Control. - Tongjia Zheng; Qing Han; Hai Lin 002 (IEEE Trans. Autom. Control., 2022)

Distributed Mean-Field Density Estimation for Large-Scale Systems. - Tongjia Zheng; Qing Han; Hai Lin 002 (IEEE Trans. Autom. Control., 2022)

Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions. - Zihao Song; Shirantha Welikala; Panos J. Antsaklis; Hai Lin 002 (ACC, 2023)

Non-Linear Networked Systems Analysis and Synthesis using Dissipativity Theory. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (ACC, 2023)

Multi-robot-assisted human crowd control for emergency evacuation: A stabilization approach. - Zhenyuan Yuan; Tongjia Zheng; Mollik Nayyar; Alan R. Wagner; Hai Lin 002; Minghui Zhu (ACC, 2023)

Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. - Tongjia Zheng; Qing Han; Hai Lin 002 (ACC, 2023)

Stable Real-Time Feedback Control of a Pneumatic Soft Robot. - Sean Even; Tongjia Zheng; Hai Lin 002; Yasemin Ozkan Aydin (IROS, 2023)

Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (MED, 2023)

Characterizing Evacuee Behavior During a Robot-Guided Evacuation. - Mollik Nayyar; Ghanghoon Paik; Zhenyuan Yuan; Tongjia Zheng; Minghui Zhu; Hai Lin 002; Alan R. Wagner (SSRR, 2023)

Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control Based on Mean-Field Hydrodynamic Models. - Tongjia Zheng; Zhenyuan Yuan; Mollik Nayyar; Alan R. Wagner; Minghui Zhu; Hai Lin 002 (CoRR, 2023)

Full State Estimation of Soft Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer. - Tongjia Zheng; Qing Han; Hai Lin 002 (CoRR, 2023)

Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (CoRR, 2023)

Learning Evacuee Models from Robot-Guided Emergency Evacuation Experiments. - Mollik Nayyar; Ghanghoon Paik; Zhenyuan Yuan; Tongjia Zheng; Minghui Zhu; Hai Lin 002; Alan R. Wagner (CoRR, 2023)

Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control. - Vince Kurtz; Alejandro Castro; Aykut Özgün Önol; Hai Lin 002 (CoRR, 2023)

Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons. - Shirantha Welikala; Zihao Song; Panos J. Antsaklis; Hai Lin 002 (CoRR, 2023)

Structural Balance of Complex Weighted Graphs and Multi-Partite Consensus. - Honghui Wu; Ahmet Taha Koru; Guanxuan Wu; Frank L. Lewis; Hai Lin 002 (IEEE Control. Syst. Lett., 2023)

Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions. - Wei Zheng 012; Hai Lin 002 (IEEE Control. Syst. Lett., 2023)

Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets. - Vince Kurtz; Hai Lin 002 (IEEE Trans. Robotics, 2023)

Continuous-Observation One-Sided Two-Player Zero-Sum Partially Observable Stochastic Game With Public Actions. - Wei Zheng 012; Taeho Jung; Hai Lin 002 (IEEE Trans. Autom. Control., 2023)

Output-Based Dynamic Event-Triggered Control for Networked Control Systems With Delays and Packet Losses Without Acknowledgements. - Xun-Lin Zhu; Xiuxiu Zhang; Jumei Wei; Hai Lin 002 (IEEE Trans. Autom. Control., 2023)

Dissipativity-Based Decentralized Control and Topology Co-Design for Vehicular Platoons With Disturbance String Stability. - Zihao Song; Shirantha Welikala; Panos J. Antsaklis; Hai Lin 002 (CDC, 2024)

Estimating Infinite-Dimensional Continuum Robot States From the Tip. - Tongjia Zheng; Ciera McFarland; Margaret M. Coad; Hai Lin 002 (RoboSoft, 2024)

OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models. - Yuxuan Kuang; Hai Lin 002; Meng Jiang 001 (CoRR, 2024)

Port-Hamiltonian-Based Geometric Control for Rigid Body Platoons With Mesh Stability Guarantee. - Zihao Song; Panos J. Antsaklis; Hai Lin 002 (IEEE Control. Syst. Lett., 2024)

Multirobot-Guided Crowd Evacuation: Two-Scale Modeling and Control. - Tongjia Zheng; Zhenyuan Yuan; Mollik Nayyar; Alan R. Wagner; Minghui Zhu; Hai Lin 002 (IEEE Trans. Control. Syst. Technol., 2024)

A Decentralized Control Synthesis Approach for Networked Systems With Arbitrary Interconnections. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (IEEE Trans. Autom. Control., 2024)

Decentralized co-design of distributed controllers and communication topologies for vehicular platoons: A dissipativity-based approach. - Shirantha Welikala; Zihao Song; Hai Lin 002; Panos J. Antsaklis (Autom., 2025)

Inventory Consensus Control in Supply Chain Networks using Dissipativity-Based Control and Topology Co-Design. - Shirantha Welikala; Hai Lin 002; Panos J. Antsaklis (CoRR, 2025)

Graph Neural Network-Based Distributed Optimal Control for Linear Networked Systems: An Online Distributed Training Approach. - Zihao Song; Panos J. Antsaklis; Hai Lin 002 (CoRR, 2025)

Mesh Stability Guaranteed Rigid Body Networks Using Control and Topology Co-Design. - Zihao Song; Shirantha Welikala; Panos J. Antsaklis; Hai Lin 002 (CoRR, 2025)

Full State Estimation of Continuum Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer. - Tongjia Zheng; Qing Han; Hai Lin 002 (IEEE Trans. Autom. Control., 2025)