default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHai Lin 0002
Person information
- affiliation (PhD 2005): University of Notre Dame, IN, USA
- affiliation (former): National University of Singapore, Singapore
Other persons with the same name
- Hai Lin — disambiguation page
- Hai Lin 0001
![[0000-0002-6364-348X]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-6364-348X")
— Osaka Prefecture University, Department of Electrical and Information Systems, Japan - Hai Lin 0003 — Zhejiang University, State Key Laboratory of CAD&CG, China
- Hai Lin 0004 — University of Connecticut, Storrs, CT, USA
- Hai Lin 0005 — Clarkson University, Potsdam, NY, USA
- Hai Lin 0006 — Wuhan University, School of Cyber Science and Engineering, MoE Key Laboratory of Aerospace Information Security and Trusted Computing, China (and 2 more)
- Hai Lin 0007 — University of Colorado Denver, Department of Chemistry, CO, USA (and 2 more)
- Hai Lin 0008 — Jilin University, College of Computer Science and Technology, Changchun, China
- Hai Lin 0009 — Central China Normal University, College of Physical Science and Technology, Wuhan, China (and 3 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
[j64]Wei Zheng, Hai Lin:
Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions. IEEE Control. Syst. Lett. 7: 1135-1140 (2023)- [j63]Honghui Wu, Ahmet Taha Koru, Guanxuan Wu, Frank L. Lewis, Hai Lin:
Structural Balance of Complex Weighted Graphs and Multi-Partite Consensus. IEEE Control. Syst. Lett. 7: 3801-3806 (2023) - [j62]Xun-Lin Zhu, Xiuxiu Zhang, Jumei Wei, Hai Lin:
Output-Based Dynamic Event-Triggered Control for Networked Control Systems With Delays and Packet Losses Without Acknowledgements. IEEE Trans. Autom. Control. 68(12): 7120-7135 (2023) - [j61]Wei Zheng, Taeho Jung, Hai Lin:
Continuous-Observation One-Sided Two-Player Zero-Sum Partially Observable Stochastic Game With Public Actions. IEEE Trans. Autom. Control. 68(12): 7390-7404 (2023) - [j60]Vince Kurtz, Hai Lin:
Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets. IEEE Trans. Robotics 39(5): 3791-3804 (2023) - 2022
- [j59]Wei Zheng, Taeho Jung, Hai Lin:
The Stackelberg equilibrium for one-sided zero-sum partially observable stochastic games. Autom. 140: 110231 (2022) - [j58]Shirantha Welikala, Christos G. Cassandras, Hai Lin, Panos J. Antsaklis:
A new performance bound for submodular maximization problems and its application to multi-agent optimal coverage problems. Autom. 144: 110493 (2022) - [j57]Wei Zheng, Hai Lin:
Point-Based Value Iteration for VAR-POMDPs. IEEE Control. Syst. Lett. 6: 7-12 (2022) - [j56]Vince Kurtz, Hai Lin:
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. IEEE Control. Syst. Lett. 6: 1718-1723 (2022) - [j55]Vincent Kurtz, Hai Lin:
Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables. IEEE Control. Syst. Lett. 6: 2635-2640 (2022) - [j54]Wei Zheng, Taeho Jung, Hai Lin:
Privacy-Preserving POMDP Planning via Belief Manipulation. IEEE Control. Syst. Lett. 6: 3415-3420 (2022) - [j53]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Automatic Trajectory Synthesis for Real-Time Temporal Logic. IEEE Trans. Autom. Control. 67(2): 780-794 (2022) - [j52]Tongjia Zheng, Qing Han, Hai Lin:
Transporting Robotic Swarms Via Mean-Field Feedback Control. IEEE Trans. Autom. Control. 67(8): 4170-4177 (2022) - [j51]Tongjia Zheng, Qing Han, Hai Lin:
Distributed Mean-Field Density Estimation for Large-Scale Systems. IEEE Trans. Autom. Control. 67(10): 5218-5229 (2022) - 2021
- [j50]Junhui Zhang, Jitao Sun, Hai Lin:
Optimal DoS attack schedules on remote state estimation under multi-sensor round-robin protocol. Autom. 127: 109517 (2021) - [j49]Bo Wu, Xiaobin Zhang, Hai Lin:
Supervisor synthesis of POMDP via automata learning. Autom. 129: 109654 (2021) - [j48]Yann Gilpin, Vince Kurtz, Hai Lin:
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. IEEE Control. Syst. Lett. 5(1): 241-246 (2021) - [j47]Tongjia Zheng, Qing Han, Hai Lin:
PDE-Based Dynamic Density Estimation for Large-Scale Agent Systems. IEEE Control. Syst. Lett. 5(2): 541-546 (2021) - [j46]Vince Kurtz, Hai Lin:
Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications. IEEE Control. Syst. Lett. 5(4): 1429-1434 (2021) - [j45]Vince Kurtz, Patrick M. Wensing, Hai Lin:
Approximate Simulation for Template-Based Whole-Body Control. IEEE Robotics Autom. Lett. 6(2): 558-565 (2021) - [j44]Zhijian Ji, Hai Lin, Shaobin Cao, Qingyuan Qi, Huizi Ma:
The Complexity in Complete Graphic Characterizations of Multiagent Controllability. IEEE Trans. Cybern. 51(1): 64-76 (2021) - 2020
- [j43]Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. IEEE Trans. Control. Netw. Syst. 7(4): 1801-1811 (2020) - [j42]Qing-Kui Li, Hai Lin, Xi Tan, Shengli Du:
H∞ Consensus for Multiagent-Based Supply Chain Systems Under Switching Topology and Uncertain Demands. IEEE Trans. Syst. Man Cybern. Syst. 50(12): 4905-4918 (2020) - 2019
- [j41]Wei Zheng, Hai Lin:
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. IEEE Control. Syst. Lett. 3(3): 775-780 (2019) - [j40]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Active Perception and Control From Temporal Logic Specifications. IEEE Control. Syst. Lett. 3(4): 1068-1073 (2019) - [j39]Bo Wu, Xiaobin Zhang, Hai Lin:
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. IEEE Trans. Autom. Control. 64(8): 3332-3338 (2019) - 2018
- [j38]Bo Wu, Hai Lin:
Privacy Verification and Enforcement via Belief Abstraction. IEEE Control. Syst. Lett. 2(4): 815-820 (2018) - [j37]Qing-Kui Li, Yu-Gang Li, Hai Lin:
H∞ Control of Two-Time-Scale Markovian Switching Production-Inventory Systems. IEEE Trans. Control. Syst. Technol. 26(3): 1065-1073 (2018) - [j36]Bo Wu, Michael D. Lemmon, Hai Lin:
Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol. IEEE Trans. Control. Syst. Technol. 26(5): 1635-1645 (2018) - [j35]Shi-Lu Dai, Shude He, Hai Lin, Cong Wang:
Platoon Formation Control With Prescribed Performance Guarantees for USVs. IEEE Trans. Ind. Electron. 65(5): 4237-4246 (2018) - 2017
- [j34]Kangling Liu, Hai Lin, Zhengshun Fei, Jun Liang:
Spatially-temporally online fault detection using timed multivariate statistical logic. Eng. Appl. Artif. Intell. 65: 51-59 (2017) - [j33]Qiang Ling, Wei Zheng, Hai Lin:
An Iterative Method for Control Gain Design of Multiagent Systems With Process Noise. IEEE Trans. Control. Syst. Technol. 25(5): 1905-1911 (2017) - 2016
- [j32]Qing-Kui Li, Hai Lin:
Effects of Mixed-Modes on the Stability Analysis of Switched Time-Varying Delay Systems. IEEE Trans. Autom. Control. 61(10): 3038-3044 (2016) - [j31]Xun-Lin Zhu, Hai Lin, Xiangpeng Xie:
Sampled-Data Fuzzy Stabilization of Nonlinear Systems Under Nonuniform Sampling. IEEE Trans. Fuzzy Syst. 24(6): 1654-1667 (2016) - 2015
- [j30]Zhijian Ji, Hai Lin, Haisheng Yu:
Protocols Design and Uncontrollable Topologies Construction for Multi-Agent Networks. IEEE Trans. Autom. Control. 60(3): 781-786 (2015) - 2014
- [j29]Yajuan Sun, Hai Lin, Ben M. Chen:
Bisimilarity enforcing supervisory control for deterministic specifications. Autom. 50(1): 287-290 (2014) - [j28]Fuchun Liu, Hai Lin, Zbigniew Dziong:
Reply to "Comments on 'Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [Automatica 43 (2007), 1363-1368]". Autom. 50(1): 298-299 (2014) - [j27]Hai Lin, Panos J. Antsaklis:
Hybrid Dynamical Systems: An Introduction to Control and Verification. Found. Trends Syst. Control. 1(1): 1-172 (2014) - [j26]Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee:
Hierarchical hybrid modelling and control of an unmanned helicopter. Int. J. Control 87(9): 1779-1793 (2014) - [j25]Quan Quan, Hai Lin, Kai-Yuan Cai:
Output feedback tracking control by additive state decomposition for a class of uncertain systems. Int. J. Syst. Sci. 45(9): 1799-1813 (2014) - 2013
- [j24]Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee:
Hybrid three-dimensional formation control for unmanned helicopters. Autom. 49(2): 424-433 (2013) - [j23]Xiaomeng Liu, Hai Lin, Ben M. Chen:
Structural controllability of switched linear systems. Autom. 49(12): 3531-3537 (2013) - [j22]Xiaomeng Liu, Hai Lin, Ben M. Chen:
Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology. Int. J. Control 86(2): 222-231 (2013) - [j21]Zhengui Xue, Hai Lin, Tong Heng Lee:
Identification of Unknown Parameters for a Class of Two-Level Quantum Systems. IEEE Trans. Autom. Control. 58(7): 1805-1810 (2013) - 2012
- [j20]Shouwei Zhao, Hai Lin, Zhengui Xue:
Switching control of closed quantum systems via the Lyapunov method. Autom. 48(8): 1833-1838 (2012) - [j19]Yajuan Sun, Hai Lin, Ben M. Chen:
An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications. Int. J. Control 85(10): 1464-1476 (2012) - [j18]Shouwei Zhao, Jitao Sun, Hai Lin:
Geometric Analysis of Reachability and Observability for Impulsive Systems on Complex Field. J. Appl. Math. 2012: 876120:1-876120:12 (2012) - [j17]Wenfei Gu, Cheng Xiang, Y. V. Venkatesh, Dong Huang, Hai Lin:
Facial expression recognition using radial encoding of local Gabor features and classifier synthesis. Pattern Recognit. 45(1): 80-91 (2012) - [j16]Zhijian Ji, Hai Lin, Haisheng Yu:
Leaders in multi-agent controllability under consensus algorithm and tree topology. Syst. Control. Lett. 61(9): 918-925 (2012) - 2011
- [j15]Fuchun Liu, Hai Lin, Zbigniew Dziong:
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Autom. 47(4): 782-788 (2011) - [j14]Mohammad Karimadini, Hai Lin:
Guaranteed global performance through local coordinations. Autom. 47(5): 890-898 (2011) - [j13]Xiaomeng Liu, Hai Lin, Ben M. Chen:
Null controllability of planar bimodal piecewise linear systems. Int. J. Control 84(4): 766-782 (2011) - [j12]Mohammad Karimadini, Hai Lin:
Fault-tolerant cooperative tasking for multi-agent systems. Int. J. Control 84(12): 2092-2107 (2011) - [j11]Xiangxu Dong, Ben M. Chen, Guowei Cai, Hai Lin, Tong Heng Lee:
Development of a Comprehensive Software System for Implementing Cooperative Control of Multiple Unmanned Aerial Vehicles. Int. J. Robotics Autom. 26(1) (2011) - 2010
- [j10]Fuchun Liu, Hai Lin:
Reliable supervisory control for general architecture of decentralized discrete event systems. Autom. 46(9): 1510-1516 (2010) - [j9]Zhijian Ji, Zidong Wang, Hai Lin, Zhen Wang:
Controllability of multi-agent systems with time-delay in state and switching topology. Int. J. Control 83(2): 371-386 (2010) - [j8]Zhihong Huang, Cheng Xiang, Hai Lin, Tong Heng Lee:
Necessary and sufficient conditions for regional stabilisability of generic switched linear systems with a pair of planar subsystems. Int. J. Control 83(4): 694-715 (2010) - [j7]Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge:
Scheduling-and-Control Codesign for a Collection of Networked Control Systems With Uncertain Delays. IEEE Trans. Control. Syst. Technol. 18(1): 66-78 (2010) - 2009
- [j6]Zhijian Ji, Hai Lin, Tong Heng Lee:
A new perspective on criteria and algorithms for reachability of discrete-time switched linear systems. Autom. 45(6): 1584-1587 (2009) - [j5]Zhijian Ji, Zidong Wang, Hai Lin, Zhen Wang:
Interconnection topologies for multi-agent coordination under leader-follower framework. Autom. 45(12): 2857-2863 (2009) - [j4]Hai Lin, Panos J. Antsaklis:
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results. IEEE Trans. Autom. Control. 54(2): 308-322 (2009) - 2008
- [j3]Hai Lin, Panos J. Antsaklis:
Hybrid state feedback stabilization with l2 performance for discrete-time switched linear systems. Int. J. Control 81(7): 1114-1124 (2008) - 2007
- [j2]Guisheng Zhai, Xuping Xu, Hai Lin, Derong Liu:
Extended Lie Algebraic Stability Analysis for Switched Systems with Continuous-Time and Discrete-Time Subsystems. Int. J. Appl. Math. Comput. Sci. 17(4): 447-454 (2007) - [j1]Hai Lin, Panos J. Antsaklis:
Switching Stabilizability for Continuous-Time Uncertain Switched Linear Systems. IEEE Trans. Autom. Control. 52(4): 633-646 (2007)
Conference and Workshop Papers
- 2024
- [c104]Tongjia Zheng, Ciera McFarland, Margaret M. Coad, Hai Lin:
Estimating Infinite-Dimensional Continuum Robot States From the Tip. RoboSoft 2024: 572-578 - 2023
- [c103]Tongjia Zheng, Qing Han, Hai Lin:
Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. ACC 2023: 967-972 - [c102]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Non-Linear Networked Systems Analysis and Synthesis using Dissipativity Theory. ACC 2023: 2951-2956 - [c101]Zhenyuan Yuan, Tongjia Zheng, Mollik Nayyar, Alan R. Wagner, Hai Lin, Minghui Zhu:
Multi-robot-assisted human crowd control for emergency evacuation: A stabilization approach. ACC 2023: 4051-4056 - [c100]Zihao Song, Shirantha Welikala, Panos J. Antsaklis, Hai Lin:
Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions. ACC 2023: 4525-4530 - [c99]Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin:
Stable Real-Time Feedback Control of a Pneumatic Soft Robot. IROS 2023: 2528-2533 - [c98]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. MED 2023: 728-733 - [c97]Mollik Nayyar, Ghanghoon Paik, Zhenyuan Yuan, Tongjia Zheng, Minghui Zhu, Hai Lin, Alan R. Wagner:
Characterizing Evacuee Behavior During a Robot-Guided Evacuation. SSRR 2023: 119-125 - 2022
- [c96]Michael D. Lemmon, Patrick M. Wensing, Vincent Kurtz, Hai Lin:
to Control Robot Hopping over Uneven Terrain. ACC 2022: 520-525 - [c95]Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin:
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. ACC 2022: 1543-1548 - [c94]Tongjia Zheng, Qing Han, Hai Lin:
Feedback Interconnected Mean-Field Density Estimation and Control. ACC 2022: 3445-3450 - [c93]Tongjia Zheng, Qing Han, Hai Lin:
Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. ACC 2022: 4832-4837 - [c92]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
On-line Estimation of Stability and Passivity Metrics. CDC 2022: 267-272 - [c91]Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin:
Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. CDC 2022: 2061-2066 - [c90]Tongjia Zheng, Hai Lin:
PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CDC 2022: 2702-2707 - [c89]Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin:
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. ICRA 2022: 4635-4641 - [c88]Vince Kurtz, Hai Lin:
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. IROS 2022: 8829-8834 - [c87]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. MED 2022: 803-808 - 2021
- [c86]Tongjia Zheng, Hai Lin:
Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models. ACC 2021: 334-339 - [c85]Wei Zheng, Hai Lin:
Point-based Value Iteration for VAR-POMDPs. ACC 2021: 1143-1148 - [c84]Tongjia Zheng, Hai Lin:
Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. ACC 2021: 1607-1612 - [c83]Vince Kurtz, Hai Lin:
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. ACC 2021: 1999-2004 - [c82]Vince Kurtz, Patrick M. Wensing, Hai Lin:
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CDC 2021: 6125-6130 - [c81]Gonzalo J. Martínez, Grigoriy Dubrovskiy, Shangyue Zhu, Alamin Mohammed, Hai Lin, J. Nicholas Laneman, Aaron D. Striegel, Ravikumar V. Pragada, Douglas R. Castor:
An Open, Real-World Dataset of Cellular UAV Communication Properties. ICCCN 2021: 1-6 - 2020
- [c80]Tongjia Zheng, Zhiyu Liu, Hai Lin:
Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control. ACC 2020: 5301-5306 - [c79]Vince Kurtz, Patrick M. Wensing, Hai Lin:
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. ACC 2020: 5352-5357 - 2019
- [c78]Vince Kurtz, Hai Lin:
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. ACC 2019: 2633-2638 - [c77]Alireza Partovi, Hai Lin:
Reactive Supervisory Control of Open Discrete Event Systems. CDC 2019: 1056-1061 - [c76]Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin:
Formal Connections between Template and Anchor Models via Approximate Simulation. Humanoids 2019: 64-71 - [c75]Md. Tahmid Rashid, Daniel Zhang, Zhiyu Liu, Hai Lin, Dong Wang:
CollabDrone: A Collaborative Spatiotemporal-Aware Drone Sensing System Driven by Social Sensing Signals. ICCCN 2019: 1-9 - 2018
- [c74]Wei Zheng, Bo Wu, Hai Lin:
Solving Complex Tasks Hierarchically from Demonstrations. ACC 2018: 1178-1183 - [c73]Bo Wu, Jin Dai, Hai Lin:
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. ACC 2018: 3026-3031 - [c72]Bo Wu, Zhiyu Liu, Hai Lin:
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. ACC 2018: 3032-3037 - [c71]Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin:
Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators. ACC 2018: 3538-3543 - [c70]Zhiyu Liu, Bo Wu, Hai Lin:
A Mean Field Game Approach to Swarming Robots Control. ACC 2018: 4293-4298 - [c69]Wei Zheng, Bo Wu, Hai Lin:
POMDP Model Learning for Human Robot Collaboration. CDC 2018: 1156-1161 - [c68]Zhiyu Liu, Bo Wu, Hai Lin:
Coordinated Robot-Assisted Human Crowd Evacuation. CDC 2018: 4481-4486 - [c67]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CDC 2018: 5610-5615 - [c66]Mohammad Karimadini, Ali Karimoddini, Hai Lin:
Modular Cooperative Tasking for Multi-agent Systems. ICCA 2018: 618-623 - 2017
- [c65]Bo Wu, Bin Hu, Hai Lin:
Toward efficient manufacturing systems: A trust based human robot collaboration. ACC 2017: 1536-1541 - [c64]Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin:
Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. ACC 2017: 2516-2521 - [c63]Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications. CDC 2017: 4452-4457 - 2016
- [c62]Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin:
Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. AAAI Fall Symposia 2016 - [c61]Jin Dai, Ali Karimoddini, Hai Lin:
Achieving fault-tolerance and safety of discrete-event systems through learning. ACC 2016: 4835-4840 - [c60]Bo Wu, Hai Lin:
Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. ACC 2016: 5519-5524 - [c59]Xiaobin Zhang, Bo Wu, Hai Lin:
Assume-guarantee reasoning framework for MDP-POMDP. CDC 2016: 795-800 - [c58]Rafael Rodrigues da Silva, Bo Wu, Hai Lin:
Formal design of robot Integrated Task and Motion Planning. CDC 2016: 6589-6594 - [c57]Jin Dai, Alessandro Benini, Hai Lin, Panos J. Antsaklis, Matthew J. Rutherford, Kimon P. Valavanis:
Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. MED 2016: 1008-1013 - 2015
- [c56]Bo Wu, Jin Dai, Hai Lin:
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. ADHS 2015: 224-229 - [c55]Jin Dai, Hai Lin:
Learning-based design of fault-tolerant cooperative multi-agent systems. ACC 2015: 1929-1934 - [c54]Bo Wu, Hai Lin:
Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. ACC 2015: 2894-2899 - [c53]Xiaobin Zhang, Bo Wu, Hai Lin:
Learning based supervisor synthesis of POMDP for PCTL specifications. CDC 2015: 7470-7475 - 2014
- [c52]Alireza Partovi, Hai Lin:
Assume-guarantee cooperative satisfaction of multi-agent systems. ACC 2014: 2053-2058 - [c51]Ali Karimoddini, Mohammad Karimadini, Hai Lin:
Decentralized hybrid formation control of Unmanned Aerial Vehicles. ACC 2014: 3887-3892 - [c50]Bo Wu, Hai Lin, Michael D. Lemmon:
Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol. CDC 2014: 5266-5271 - [c49]Jin Dai, Hai Lin:
Automatic synthesis of cooperative multi-agent systems. CDC 2014: 6173-6178 - [c48]Jin Dai, Hai Lin:
Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach. ICCA 2014: 186-191 - [c47]Bo Wu, Hai Lin, Michael D. Lemmon:
Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol. ICCA 2014: 1084-1089 - 2013
- [c46]Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee:
A smooth hybrid symbolic control for the formation of UAVs over a partitioned space. ACC 2013: 982-987 - [c45]Ali Karimoddini, Hai Lin:
Hybrid symbolic control for robot motion planning. ICCA 2013: 1650-1655 - 2012
- [c44]Yajuan Sun, Hai Lin:
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems. ACC 2012: 6102-6107 - [c43]Xiaoyang Li, Hai Lin, Jie Lian, Ben M. Chen:
Stability analysis for uncertain linear systems with random parameters. CDC 2012: 4041-4046 - 2011
- [c42]Zhengui Xue, Hai Lin, Tong Heng Lee:
Identification and control of a two-level open quantum system. CDC/ECC 2011: 6254-6259 - [c41]Jie Lian, Xiaoyang Li, Hai Lin:
Stability analysis of systems with stochastic parametric uncertainties. ICCA 2011: 1349-1354 - 2010
- [c40]Qiang Ling, Hai Lin:
Necessary and sufficient bit rate conditions to stabilize quantized Markov jump linear systems. ACC 2010: 236-240 - [c39]Zhijian Ji, Hai Lin, Tong Heng Lee, Qiang Ling:
Multi-agent controllability with tree topology. ACC 2010: 850-855 - [c38]Mohammad Karimadini, Hai Lin:
Decomposability of global tasks for multi-agent systems. CDC 2010: 4192-4197 - [c37]Xiaomeng Liu, Hai Lin, Ben M. Chen:
Graphic interpretations of structural controllability for switched linear systems. ICARCV 2010: 549-554 - [c36]Xiangxu Dong, Guowei Cai, Feng Lin, Ben M. Chen, Hai Lin, Tong Heng Lee:
Implementation of formation flight of multiple unmanned aerial vehicles. ICCA 2010: 904-909 - [c35]Yajuan Sun, Hai Lin, Fuchun Liu, Ben M. Chen:
Computation for Supremal Simulation-Based Controllable Subautomata. ICCA 2010: 1450-1455 - [c34]Mohammad Karimadini, Hai Lin:
Optimal task automaton decomposabilization for a class of global specifications. ICCA 2010: 2042-2047 - 2009
- [c33]Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge:
Robust stability of discrete-time switched delay systems and its application to network-based reliable control. ACC 2009: 2367-2372 - [c32]Fuchun Liu, Hai Lin:
A general architecture for reliable decentralized supervisory control of discrete event systems. CDC 2009: 193-198 - [c31]Qiang Ling, Michael D. Lemmon, Hai Lin:
Stabilize an n-dimensional quantized nonlinear feedforward system with 1 bit. CDC 2009: 1986-1991 - [c30]Shouwei Zhao, Hai Lin, Jitao Sun, Zhengui Xue:
Implicit Lyapunov control of closed quantum systems. CDC 2009: 3811-3815 - [c29]Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge:
A switched system approach to scheduling of networked control systems with communication constraints. CDC 2009: 4991-4996 - [c28]Xiaomeng Liu, Hai Lin, Ben M. Chen:
A graph-theoretic characterization of structural controllability for multi-agent system with switching topology. CDC 2009: 7012-7017 - 2008
- [c27]Zhijian Ji, Hai Lin, Tong Heng Lee:
A graph theory based characterization of controllability for multi-agent systems with fixed topology. CDC 2008: 5262-5267 - [c26]Shi-Lu Dai, Hai Lin, Shuzhi Sam Ge, Xiaoyang Li:
Simultaneous stability of a collection of networked control systems with uncertain delays. ICARCV 2008: 35-40 - [c25]Zhijian Ji, Hai Lin, Tong Heng Lee:
Controllability of Multi-agent Systems with Switching Topology. RAM 2008: 421-426 - [c24]Mohammad Karimadini, Hai Lin, Mohammad Hamiruce Marhaban, Samsul Bahari Mohd Noor, Ishak Aris, Atefeh Davari, Abu Bakar Ghazali:
Universal controller for monotone systems inspired from fuzzy logic control. SMC 2008: 962-967 - 2007
- [c23]Zhihong Huang, Cheng Xiang, Hai Lin, Tong Heng Lee:
A Necessary and Sufficient Condition for Stability of Arbitrarily Switched Second-Order LTI System: Marginally Stable Case. ISIC 2007: 83-88 - [c22]Hai Lin, Panos J. Antsaklis:
Hybrid H∞ state feedback control for discrete-time switched linear systems. ISIC 2007: 112-117 - [c21]Hai Lin, Panos J. Antsaklis:
Characterizing uniformly ultimately bounded switching signals for uncertain switched linear systems. CDC 2007: 6286-6291 - 2006
- [c20]Hai Lin, Panos J. Antsaklis:
Switching Stabilization and l2 Gain Performance Controller Synthesis for Discrete-Time Switched Linear Systems. CDC 2006: 2673-2678 - 2005
- [c19]Hai Lin, Panos J. Antsaklis:
Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results. ISIC 2005: 24-29 - [c18]Hai Lin, Guisheng Zhai, Panos J. Antsaklis:
Asymptotic disturbance attenuation property analysis for discrete-time uncertain switched linear systems. ACC 2005: 1-6 - [c17]Guisheng Zhai, Hai Lin, Xuping Xu, Joe Imae, Tomoaki Kobayashi:
Analysis of switched normal discrete-time systems. ACC 2005: 3800-3805 - [c16]Hai Lin, Panos J. Antsaklis:
A Converse Lyapunov Theorem for Uncertain Switched Linear Systems. CDC/ECC 2005: 3291-3296 - 2004
- [c15]Hai Lin, Panos J. Antsaklis:
Disturbance attenuation in classes of uncertain linear hybrid systems. ACC 2004: 566-571 - [c14]Guisheng Zhai, Hai Lin, Anthony N. Michel, Kazumori Yasuda:
Stability analysis for switched systems with continuous-time and discrete-time subsystems. ACC 2004: 4555-4560 - [c13]Hai Lin, Panos J. Antsaklis:
Persistent disturbance attenuation properties for networked control systems. CDC 2004: 953-958 - [c12]Guisheng Zhai, Hai Lin, Xuping Xu, Anthony N. Michel:
Stability analysis and design of switched normal systems. CDC 2004: 3253-3258 - [c11]Lei Fang, Hai Lin, Panos J. Antsaklis:
Stabilization and performance analysis for a class of switched systems. CDC 2004: 3265-3270 - [c10]Hai Lin, Panos J. Antsaklis:
A necessary and sufficient condition for robust asymptotic stabilizability of continuous-time uncertain switched linear systems. CDC 2004: 3690-3695 - 2003
- [c9]Hai Lin, Guisheng Zhai, Panos J. Antsaklis:
Set-valued observer design for a class of uncertain linear systems with persistent disturbance. ACC 2003: 1902-1907 - [c8]Hai Lin, Panos J. Antsaklis:
Robust invariant control synthesis for discrete-time polytopic uncertain linear hybrid systems. ACC 2003: 5221-5226 - [c7]Hai Lin, Guisheng Zhai, Panos J. Antsaklis:
Robust stability and disturbance attenuation analysis of a class of networked control systems. CDC 2003: 1182-1187 - [c6]Guisheng Zhai, Hai Lin, Panos J. Antsaklis:
Controller failure time analysis for symmetric H∞ control systems. CDC 2003: 2459-2464 - [c5]Hai Lin, Panos J. Antsaklis:
Synthesis of uniformly ultimate boundedness switching laws for discrete-time uncertain switched linear systems. CDC 2003: 4806-4811 - [c4]Hai Lin, Panos J. Antsaklis:
Disturbance attenuation properties for discrete-time uncertain switched linear systems. CDC 2003: 5289-5294 - 2002
- [c3]Hai Lin, Xenofon D. Koutsoukos, Panos J. Antsaklis:
HYSTAR: a toolbox for hierarchical control of piecewise linear hybrid dynamical systems. ACC 2002: 686-691 - [c2]Hai Lin, Panos J. Antsaklis:
Robust controlled invariant sets for a class of uncertain hybrid systems. CDC 2002: 3180-3181 - [c1]Hai Lin, Panos J. Antsaklis:
Controller synthesis for a class of uncertain piecewise linear hybrid dynamical systems. CDC 2002: 3188-3193
Informal and Other Publications
- 2024
- [i87]Yuxuan Kuang, Hai Lin, Meng Jiang:
OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models. CoRR abs/2402.10670 (2024) - 2023
- [i86]Vince Kurtz, Hai Lin:
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets. CoRR abs/2301.07773 (2023) - [i85]Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin:
Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control Based on Mean-Field Hydrodynamic Models. CoRR abs/2302.14752 (2023) - [i84]Tongjia Zheng, Qing Han, Hai Lin:
Full State Estimation of Soft Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer. CoRR abs/2303.06130 (2023) - [i83]Sean Even, Tongjia Zheng, Hai Lin, Yasemin Ozkan Aydin:
Stable Real-Time Feedback Control of a Pneumatic Soft Robot. CoRR abs/2304.04304 (2023) - [i82]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems. CoRR abs/2305.03030 (2023) - [i81]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic. CoRR abs/2305.09116 (2023) - [i80]Mollik Nayyar, Ghanghoon Paik, Zhenyuan Yuan, Tongjia Zheng, Minghui Zhu, Hai Lin, Alan R. Wagner:
Learning Evacuee Models from Robot-Guided Emergency Evacuation Experiments. CoRR abs/2306.17824 (2023) - [i79]Vince Kurtz, Alejandro Castro, Aykut Özgün Önol, Hai Lin:
Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control. CoRR abs/2309.01813 (2023) - [i78]Tongjia Zheng, Ciera McFarland, Margaret M. Coad, Hai Lin:
Estimating Infinite-Dimensional Continuum Robot States From the Tip. CoRR abs/2311.01517 (2023) - [i77]Honghui Wu, Ahmet Taha Koru, Guanxuan Wu, Frank L. Lewis, Hai Lin:
Structural Balance of Complex Weighted Graphs and Multi-partite Consensus. CoRR abs/2311.04389 (2023) - [i76]Shirantha Welikala, Zihao Song, Panos J. Antsaklis, Hai Lin:
Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons. CoRR abs/2312.06472 (2023) - 2022
- [i75]Vince Kurtz, Hai Lin:
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR. CoRR abs/2202.13986 (2022) - [i74]Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin:
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances. CoRR abs/2203.02084 (2022) - [i73]Tongjia Zheng, Hai Lin:
PDE-based Dynamic Control and Estimation of Soft Robotic Arms. CoRR abs/2203.13724 (2022) - [i72]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
On-line Estimation of Stability and Passivity Metrics. CoRR abs/2204.00073 (2022) - [i71]Vince Kurtz, Hai Lin:
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables. CoRR abs/2204.06367 (2022) - [i70]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections. CoRR abs/2204.09756 (2022) - [i69]Zihao Song, Panos J. Antsaklis, Hai Lin:
Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Under Vector String Stability. CoRR abs/2207.02101 (2022) - [i68]Tongjia Zheng, Zhenyuan Yuan, Mollik Nayyar, Alan R. Wagner, Minghui Zhu, Hai Lin:
Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields. CoRR abs/2209.09795 (2022) - [i67]Shirantha Welikala, Hai Lin, Panos J. Antsaklis:
Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems. CoRR abs/2209.14552 (2022) - [i66]Tongjia Zheng, Qing Han, Hai Lin:
Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models. CoRR abs/2210.00976 (2022) - 2021
- [i65]Tongjia Zheng, Hai Lin:
Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback. CoRR abs/2106.00895 (2021) - [i64]Tongjia Zheng, Qing Han, Hai Lin:
Feedback Interconnected Mean-Field Estimation and Control. CoRR abs/2106.00899 (2021) - [i63]Tongjia Zheng, Qing Han, Hai Lin:
Distributed Mean-Field Density Estimation for Large-Scale Systems. CoRR abs/2106.05318 (2021) - [i62]Tongjia Zheng, Qing Han, Hai Lin:
Backstepping Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems. CoRR abs/2109.00605 (2021) - [i61]Vince Kurtz, He Li, Patrick M. Wensing, Hai Lin:
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics. CoRR abs/2109.04424 (2021) - [i60]Wei Zheng, Taeho Jung, Hai Lin:
The Stackelberg Equilibrium for One-sided Zero-sum Partially Observable Stochastic Games. CoRR abs/2109.08339 (2021) - [i59]Vince Kurtz, Patrick M. Wensing, Hai Lin:
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control. CoRR abs/2109.13349 (2021) - [i58]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Active Perception and Control from PrSTL Specifications. CoRR abs/2111.02226 (2021) - [i57]Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin:
idSTLPy: A Python Toolbox for Active Perception and Control. CoRR abs/2111.02943 (2021) - [i56]Vince Kurtz, Hai Lin:
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. CoRR abs/2112.01326 (2021) - 2020
- [i55]Zhiyu Liu, Meng Jiang, Hai Lin:
A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots. CoRR abs/2001.07205 (2020) - [i54]Alireza Partovi, Wei Zheng, Taeho Jung, Hai Lin:
Ensuring Privacy in Location-Based Services: A Model-based Approach. CoRR abs/2002.10055 (2020) - [i53]Vince Kurtz, Patrick M. Wensing, Hai Lin:
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances. CoRR abs/2003.04136 (2020) - [i52]Yann Gilpin, Vince Kurtz, Hai Lin:
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control. CoRR abs/2006.05239 (2020) - [i51]Vince Kurtz, Patrick M. Wensing, Michael D. Lemmon, Hai Lin:
Approximate Simulation for Template-Based Whole-Body Control. CoRR abs/2006.09921 (2020) - [i50]Tongjia Zheng, Qing Han, Hai Lin:
PDE-based Dynamic Density Estimation for Large-scale Agent Systems. CoRR abs/2006.11461 (2020) - [i49]Tongjia Zheng, Qing Han, Hai Lin:
Deployment of Robotic Swarms via Density Feedback Control. CoRR abs/2006.11462 (2020) - [i48]Zhiyu Liu, Meng Jiang, Hai Lin:
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic. CoRR abs/2007.08451 (2020) - [i47]Alireza Partovi, Taeho Jung, Hai Lin:
Opacity of Discrete Event Systems with Active Intruder. CoRR abs/2007.14960 (2020) - [i46]Tongjia Zheng, Hai Lin:
Distributed Density Filtering for Large-scale Systems using Mean-filed Models. CoRR abs/2009.05366 (2020) - [i45]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Automatic Trajectory Synthesis for Real-Time Temporal Logic. CoRR abs/2009.06436 (2020) - [i44]Vince Kurtz, Hai Lin:
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. CoRR abs/2011.07104 (2020) - 2019
- [i43]Wei Zheng, Hai Lin:
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration. CoRR abs/1904.12357 (2019) - [i42]Vince Kurtz, Hai Lin:
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis. CoRR abs/1905.03051 (2019) - [i41]Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin:
Active Perception and Control from Temporal Logic Specifications. CoRR abs/1905.03662 (2019) - [i40]Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing, Hai Lin:
Formal Connections between Template and Anchor Models via Approximate Simulation. CoRR abs/1909.09693 (2019) - [i39]Vince Kurtz, Hai Lin:
Kalman Filtering with Gaussian Processes Measurement Noise. CoRR abs/1909.10582 (2019) - 2018
- [i38]Bo Wu, Zhiyu Liu, Hai Lin:
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. CoRR abs/1802.04836 (2018) - [i37]Bo Wu, Jin Dai, Hai Lin:
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. CoRR abs/1802.05728 (2018) - [i36]Bo Wu, Hai Lin:
Privacy Preserving Controller Synthesis via Belief Abstraction. CoRR abs/1802.10051 (2018) - [i35]Rafael Rodrigues da Silva, Hai Lin:
Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications. CoRR abs/1803.11247 (2018) - [i34]Wei Zheng, Bo Wu, Hai Lin:
POMDP Model Learning for Human Robot Collaboration. CoRR abs/1803.11300 (2018) - [i33]Alireza Partovi, Jin Dai, Hai Lin:
Reactive Supervisory Control of Open Discrete-event Systems. CoRR abs/1804.00037 (2018) - [i32]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CoRR abs/1804.03810 (2018) - [i31]Shaobin Cao, Zhijian Ji, Hai Lin, Haisheng Yu:
Perfectly Controllable Multi-Agent Networks. CoRR abs/1807.00479 (2018) - [i30]Vincent Kurtz, Hai Lin:
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance. CoRR abs/1811.01075 (2018) - [i29]Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications. CoRR abs/1812.01204 (2018) - 2017
- [i28]Xiaobin Zhang, Bo Wu, Hai Lin:
Counterexample-Guided Abstraction Refinement for POMDPs. CoRR abs/1701.06209 (2017) - [i27]Bo Wu, Xiaobin Zhang, Hai Lin:
Permissive Supervisor Synthesis for Markov Decision Processes through Learning. CoRR abs/1703.07351 (2017) - [i26]Xiaobin Zhang, Bo Wu, Hai Lin:
Supervisor Synthesis of POMDP based on Automata Learning. CoRR abs/1703.08262 (2017) - [i25]Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications. CoRR abs/1705.10259 (2017) - [i24]Jin Dai, Alessandro Benini, Hai Lin, Panos J. Antsaklis, Matthew J. Rutherford, Kimon P. Valavanis:
Learning-based Formal Synthesis of Cooperative Multi-agent Systems. CoRR abs/1705.10427 (2017) - [i23]Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin:
Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications. CoRR abs/1705.11085 (2017) - [i22]Bo Wu, Bin Hu, Hai Lin:
A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints. CoRR abs/1706.00007 (2017) - [i21]Jin Dai, Hai Lin:
Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures. CoRR abs/1707.05428 (2017) - [i20]Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin:
Reactive Integrated Mission and Motion planning. CoRR abs/1711.02201 (2017) - 2016
- [i19]Rafael Rodrigues da Silva, Bo Wu, Hai Lin:
Formal Design of Robot Integrated Task and Motion Planning. CoRR abs/1604.05657 (2016) - [i18]Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin:
Combined top-down and bottom-up design of cooperative multi-robot systems. CoRR abs/1607.07797 (2016) - [i17]Rafael Rodrigues da Silva, Samuel Silva, Grigoriy Dubrovskiy, Hai Lin:
SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments. CoRR abs/1609.07006 (2016) - [i16]Rafael Rodrigues da Silva, Hai Lin:
Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications. CoRR abs/1609.07501 (2016) - 2014
- [i15]Ali Karimoddini, Mohammad Karimadini, Hai Lin:
Decentralized Hybrid Formation Control of Unmanned Aerial Vehicles. CoRR abs/1403.0258 (2014) - 2012
- [i14]Yajuan Sun, Hai Lin, Ben M. Chen:
Bisimilarity Enforcing Supervisory Control for Deterministic Specifications. CoRR abs/1203.1745 (2012) - [i13]Xiaomeng Liu, Hai Lin, Ben M. Chen:
Graph-Theoretic Characterizations of Structural Controllability for Multi-Agent System with Switching Topology. CoRR abs/1203.5583 (2012) - 2011
- [i12]Mohammad Karimadini, Hai Lin:
Necessary and Sufficient Conditions for Task Automaton Decomposition. CoRR abs/1101.2002 (2011) - [i11]Mohammad Karimadini, Hai Lin:
Task Decomposability Under Event Failures for Two Cooperative Agents. CoRR abs/1101.2003 (2011) - [i10]Yajuan Sun, Hai Lin, Fuchun Liu:
Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata. CoRR abs/1101.3500 (2011) - [i9]Xinhua Wang, Hai Lin:
Two-step differentiator for delayed signal. CoRR abs/1103.1001 (2011) - [i8]Xinhua Wang, Hai Lin:
Design and frequency analysis of continuous finite-time-convergent differentiator. CoRR abs/1103.4286 (2011) - [i7]Xinhua Wang, Hai Lin:
Design and analysis of continuous hybrid differentiator. CoRR abs/1103.4311 (2011) - [i6]Xiaomeng Liu, Hai Lin, Ben M. Chen:
Structural Controllability of Switched Linear Systems. CoRR abs/1106.1703 (2011) - [i5]Mohammad Karimadini, Hai Lin:
Communicate only when necessary: Cooperative tasking for multi-agent systems. CoRR abs/1106.3134 (2011) - [i4]Ali Karimoddini, Hai Lin, Ben M. Chen, Tong Heng Lee:
Hybrid 3-D Formation Control for Unmanned Helicopters. CoRR abs/1108.3405 (2011) - [i3]Quan Quan, Hai Lin, Kai-Yuan Cai:
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input. CoRR abs/1111.0129 (2011) - [i2]Yajuan Sun, Hai Lin, Ben M. Chen:
Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence. CoRR abs/1112.3555 (2011) - 2009
- [i1]Mohammad Karimadini, Hai Lin:
Synchronized Task Decomposition for Cooperative Multi-agent Systems. CoRR abs/0911.0231 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-30 00:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
