Safe Autonomy with Control Barrier Functions: Theory and Applications

Wei Xiao, Ph.D., is a Postdoctoral Associate at Massachusetts Institute of Technology. He received a B.Sc. from the University of Science and Technology Beijing, a M.Sc. degree from the Chinese Academy of Sciences (Institute of Automation), and a Ph.D. from Boston University. His research interests include control theory and machine learning with particular emphasis on robotics and traffic control. He received an Outstanding Student Paper Award at the 2020 IEEE Conference on Decision and Control.

Christos G. Cassandras, Ph.D., is a Distinguished Professor of Engineering at Boston University. He is Head of the Division of Systems Engineering, Professor of Electrical and Computer Engineering, and co-founder of Boston University's Center for Information and Systems Engineering (CISE). He received a B.S. from Yale University, a M.S.E.E from Stanford University, and S.M. and Ph.D. degrees from Harvard University. He specializes in the areas of discrete event and hybrid systems, cooperative control, stochastic optimization, and computer simulation, with applications to computer and sensor networks, manufacturing systems, and transportation systems. He has published over 450 refereed papers in these areas and six books. He has guest-edited several technical journal issues and serves on several journal editorial boards. In addition to his academic activities, he has worked extensively with industrial organizations on various systems integration projects and the development of decision-support software. He has most recently collaborated with MathWorks, Inc. in the development of the discrete event and hybrid system simulator SimEvents.

Calin Belta, Ph.D, is a Professor in the Department of Mechanical Engineering at Boston University, where he holds the Tegan family Distinguished Faculty Fellowship. He is also the Director of the BU Robotics Lab. He received B.Sc. and M.Sc. degrees from the Technical University of Iasi and M.Sc. and Ph.D. degrees from the University of Pennsylvania. His research interests include dynamics and control theory, with particular emphasis on hybrid and cyber-physical systems, formal synthesis and verification, and applications in robotics and systems biology. He has received the Air Force Office of Scientific Research Young Investigator Award and the National Science Foundation CAREER Award. He is a Fellow and Distinguished Lecturer of IEEE.

魏曉博士是麻省理工學院的博士後研究員。他畢業於北京科技大學獲得學士學位，並在中國科學院自動化研究所獲得碩士學位，以及在波士頓大學獲得博士學位。他的研究興趣包括控制理論和機器學習，尤其關注機器人和交通控制。他在2020年IEEE決策與控制會議上獲得優秀學生論文獎。

克里斯托斯·G·卡桑德拉斯博士是波士頓大學的杰出工程教授。他是系統工程學部的負責人，同時也是電機與計算機工程學教授，以及波士頓大學信息與系統工程中心（CISE）的聯合創始人。他畢業於耶魯大學獲得學士學位，斯坦福大學獲得碩士學位，以及哈佛大學獲得碩士和博士學位。他專注於離散事件和混合系統、合作控制、隨機優化和計算機模擬等領域，並應用於計算機和感測器網絡、製造系統和交通系統。他在這些領域發表了450多篇經過同行評審的論文和六本書籍。他曾擔任多個技術期刊的客座編輯，並擔任多個期刊的編輯委員會成員。除了學術活動外，他還與工業組織廣泛合作，參與各種系統集成項目和決策支持軟件的開發。最近，他與MathWorks公司合作開發了離散事件和混合系統模擬器SimEvents。

卡林·貝爾塔博士是波士頓大學機械工程系的教授，擔任Tegan家族杰出教職獎的持有者，同時也是波士頓大學機器人實驗室的主任。他畢業於雅典理工大學獲得學士和碩士學位，並在賓夕法尼亞大學獲得碩士和博士學位。他的研究興趣包括動力學和控制理論，尤其關注混合和物理系統、形式合成和驗證，以及在機器人和系統生物學中的應用。他曾獲得空軍科學研究辦公室的青年研究員獎和國家科學基金會的職業生涯獎。他是IEEE的會士和傑出演講者。