报告题目: Automatic Deployment of A Robotic Team using Formal Methods

报告人: Ph.D Candidate Yushan Chen
Hybrid and Networked Systems Laboratory,
Boston University

报告时间：4月24日 星期三 上午10:00
报告地点：浙江大学教九207会议室

报告摘要:
In traditional motion planning, the problem is simply specified as ''go from A to B while avoiding obstacles'', where A and B are two configurations or regions of interest in the robot workspace. However, a large number of robotic applications require more expressive specification languages, which allow for logical and temporal statements about the satisfaction of properties of interest.

We establishes theoretical and computational frameworks for automatic synthesis of robot control and communication schemes that are correct-by-construction from task specifications given in expressive languages. The first problem we consider is the generation of provably-correct individual control and communication strategies for a team of robots from rich task specifications in the case when the workspace is static. The second problem relaxes this assumption and considers a scenario in which the environment changes according to some unknown patterns. To demonstrate the proposed frameworks, we implement the derived algorithms in two experimental platforms, the Robotic Urban-Like Environment (RULE) and the Robotic InDoor-like Environment (RIDE).

报告人简介:
Yushan Chen received B.S. degree in network engineering from Beijing University of Post and Telecommunication, Beijing, China (2008) and M.S degree in electrical and computer engineering from Boston University, Boston, USA (2010). She will receive Ph.D degree in electrical and computer engineering from Boston University in May, 2013. Her research interests include coordination and control of multi-agent systems, robot motion planning, formal methods in control synthesis, computer vision, and machine learning.

Her Ph.D dissertation titled "Formal Synthesis of Control and Communication Schemes", is nominated for the Best ECE Dissertation Award in Boston University (2013). She received 1st Prize Center of Information and Systems Engineering Award on BU Science and Engineering Day for her work on LTL robot motion control based on automata-learning (2012), Boston, USA. She also received the Best Student Paper Award at the 10th International Symposium on Distributed Autonomous Robotic Systems (DARS), for her work on distributed control synthesis, Lausanne, Switzerland (2010). She is a student member of the IEEE Control System Society.