Formal Methods for Control of Nonlinear Systems (eBook, ePUB) von Yinan Li; Jun Liu

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology.While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. ...

Weiterlesen / Aufklappen

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Geräte: eReader
mit Kopierschutz
eBook Hilfe

Barrierefreiheit

Text-to-Speech
E-Mail des Verlags für Barrierefreiheitsfragen: ebookqueries@tandf.co.uk
ARIA-Rollen für verbesserte strukturelle Navigation
Navigation über vor-/zurück-Elemente ohne Inhaltsverzeichnis
Seitennummerierung folgt dem gedruckten Werk
Mathematische Inhalte in MathML für assistive Technologien
Kurze Alternativtexte für nicht-textuelle Inhalte vorhanden
Text und Medien in logischer Lesereihenfolge angeordnet
Navigierbarer Index mit direktem Zugriff auf Indexbegriffe
Navigierbares Inhaltsverzeichnis für direkten Zugriff auf Text und Medien

Jun Liu received the B.S. degree in applied mathematics from Shanghai Jiao-Tong University in 2002, the M.S. degree in mathematics from Peking University in 2005, and the Ph.D. degree in applied mathematics from the University of Waterloo in 2011. Following an NSERC Postdoctoral Fellowship in Control and Dynamical Systems at Caltech, he became a Lecturer in Control and Systems Engineering at the University of Sheffield in 2012. He joined the Faculty of Mathematics of the University of Waterloo in 2015, where he currently is an Associate Professor of Applied Mathematics and directs the Hybrid Systems Laboratory. Dr. Liu's main research interests are in the theory and applications of hybrid systems and control, including rigorous computational methods for control design with applications in cyber-physical systems and robotics. He was awarded a Marie-Curie Career Integration Grant from the European Commission in 2013, a Canada Research Chair from the Government of Canada in 2017 and 2022, an Early Researcher Award from the Ontario Ministry of Research, Innovation and Science in 2018, and an Early Career Award from the Canadian Applied and Industrial Mathematics Society and Pacific Institute for the Mathematical Sciences in 2020. His best paper awards include the Zhang Si-Ying Outstanding Youth Paper Award and the Nonlinear Analysis: Hybrid Systems Paper Prize. Dr. Liu is a senior member of IEEE, a member of SIAM, and a lifetime member of CAIMS. He has served on the editorial boards and program committees of several journals and conferences, including Automatica, Nonlinear Analysis: Hybrid Systems, Systems & Control Letters, the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), the IEEE Conference on Decision and Control (CDC), and the American Control Conference (ACC).

Yinan Li is a senior autonomy developer at OTTO Motors-the industrial division of Clearpath Robotics- in Kitchener, Ontario, Canada. She works on navigation algorithms for industrial mobile robots, multi-robot traffic control and coordination. Before joining OTTO Motors, she was a post-doctoral fellow at Hybrid Systems Laboratory, shortly after she received her Ph.D. degree in applied mathematics from University of Waterloo in 2019. Her Ph.D. and post-doctoral research focused on formal control methods for nonlinear systems, and joint research with Georgia Institute of Technology and Clearpath Robotics were about applications of formal control methods in humanoid and mobile robots. She was awarded the 2020 Huawei prize for best research paper for her research in this area.

Produktdetails