Hai Lin

199 papers and 5.0k indexed citations i.

Hai Lin has authored 199 papers that have received a total of 5.0k indexed citations. This includes 87 papers in Control and Systems Engineering, 74 papers in Computer Networks and Communications and 55 papers in Computational Theory and Mathematics. The topics of these papers are Stability and Control of Uncertain Systems (51 papers), Formal Methods in Verification (45 papers) and Distributed Multi-Agent Coordination and Control (38 papers). Hai Lin is often cited by papers focused on Stability and Control of Uncertain Systems (51 papers), Formal Methods in Verification (45 papers) and Distributed Multi-Agent Coordination and Control (38 papers) and collaborates with scholars based in United States, China and Singapore. Hai Lin's co-authors include Panos J. Antsaklis, Guisheng Zhai, Ali Karimoddini and Ben M. Chen and has published in prestigious journals such as Proceedings of the National Academy of Sciences, IEEE Transactions on Automatic Control and Automatica.