Hai Lin
- OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models
2024/02/16 by Yuxuan Kuang, Hai Lin, Kuang, Yuxuan +3 · 15 citations
Computer Science · #Advanced Image and Video Retrieval Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Robotic Path Planning Algorithms #Robotics (cs.RO)
- Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
2022/04/13 by Vince Kurtz, Kurtz, Vince, Hai Lin +1 · 7 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotics (cs.RO) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets
2023/01/18 by Vince Kurtz, Kurtz, Vince, Hai Lin +1 · 6 citations
Chemistry · Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Robotic Path Planning Algorithms #Robotics (cs.RO) #Synthetic Organic Chemistry Methods #Systems and Control (eess.SY) #electronic engineering #information engineering
- Symbol Detection of Ambient Backscatter Systems with Manchester Coding
2018/04/03 by Qin Tao, Tao, Qin, Caijun Zhong +5 · 3 citations
Engineering · #Advanced Wireless Communication Technologies #Energy Harvesting in Wireless Networks #FOS: Computer and information sciences #FOS: Electrical engineering #Performance (cs.PF) #Signal Processing (eess.SP) #Wireless Communication Security Techniques #electronic engineering #information engineering
- Beam Squint and Channel Estimation for Wideband mmWave Massive MIMO-OFDM Systems
2019/10/24 by Bolei Wang, Mengnan Jian, Feifei Gao +2 · 4 citations
Engineering · #Millimeter-Wave Propagation and Modeling #Advanced MIMO Systems Optimization #Electromagnetic Compatibility and Measurements
- Structural Controllability of Switched Linear Systems
2011/06/09 by Xiaomeng Liu, Liu, Xiaomeng, Hai Lin +3 · 1 citation
Computer Science · Engineering · #Control and Stability of Dynamical Systems #Distributed Control Multi-Agent Systems #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Full State Estimation of Continuum Robots from Tip Velocities: A Cosserat-Theoretic Boundary Observer
2023/03/10 by Tongjia Zheng, Zheng, Tongjia, Qing Han +3 · 2 citations
Engineering · Biochemistry, Genetics and Molecular Biology · #Soft Robotics and Applications #Cellular Mechanics and Interactions
- Full-Duplex Massive MIMO Relaying Systems with Low-Resolution ADCs
2017/05/14 by Chuili Kong, Caijun Zhong, Kong, Chuili +9 · 1 citation
Computer Science · Engineering · #Advanced MIMO Systems Optimization #Cooperative Communication and Network Coding #FOS: Computer and information sciences #Full-Duplex Wireless Communications #Information Theory (cs.IT)
- A New View of Multi-User Hybrid Massive MIMO: Non-Orthogonal Angle Division Multiple Access
2017/02/09 by Hai Lin, Feifei Gao, Lin, Hai +5 · 1 citation
Engineering · #Advanced MIMO Systems Optimization #Antenna Design and Analysis #Antenna Design and Optimization
- Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications
2017/05/30 by Zhiyu Liu, Liu, Zhiyu, Jin Dai +5 · 1 citation
Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Modular Robots and Swarm Intelligence #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- High-Mobility Wideband Massive MIMO Communications: Doppler Compensation, Analysis and Scaling Law
2018/07/18 by Guo Wei, Weile Zhang, Guo, Wei +7 · 1 citation
Engineering · #Advanced MIMO Systems Optimization #Antenna Design and Analysis #Antenna Design and Optimization
- On-line Estimation of Stability and Passivity Metrics
2022/03/31 by Shirantha Welikala, Welikala, Shirantha, Hai Lin +3 · 3 citations
Engineering · #Advanced Control Systems Design #Advanced Control Systems Optimization #Control Systems and Identification #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models
2020/09/10 by Tongjia Zheng, Hai Lin, Zheng, Tongjia +1 · 1 citation
Computer Science · #Target Tracking and Data Fusion in Sensor Networks #Distributed Control Multi-Agent Systems #Distributed Sensor Networks and Detection Algorithms
- Learning Evacuee Models from Robot-Guided Emergency Evacuation Experiments
2023/06/30 by Mollik Nayyar, Nayyar, Mollik, Ghanghoon Paik +11 · 1 citation
Computer Science · Engineering · #Context-Aware Activity Recognition Systems #Evacuation and Crowd Dynamics #FOS: Computer and information sciences #Human Pose and Action Recognition #Robotics (cs.RO)
- A Decentralized Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections
2022/04/20 by Shirantha Welikala, Hai Lin, Welikala, Shirantha +3 · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · #Nonlinear Dynamics and Pattern Formation #Gene Regulatory Network Analysis #Distributed Control Multi-Agent Systems
- MM-IssueLoc: A Controlled Benchmark for Evaluating Visual Evidence in Multimodal Repository-Level Issue Localization
2026/07/16 by Shaoxiong Zhan, Shi Hu, Boyu Feng +7
#cs.SE #cs.AI