![\"\"](\"\/cise\/files\/2022\/09\/Photo_Fei.png\")
Fei Chen<\/span><\/span>\nSystems Engineering Visiting Scholar<\/span>
\nPhD Candidate, KTH Royal Institute of Technology<\/span><\/h4>\n
Funnel Control for Leader-Follower Multi-Agent Systems and Its Application to STL Tasks<\/strong><\/h4>\nSignificant research has been devoted to the problem of distributed formation control of\u00a0multi-agent systems. These distributed strategies are usually for all agents and sometimes it may be\u00a0redundant and costly since the desired tasks may be fulfilled by steering part of the agents through the\u00a0appropriately designed local control strategy. Therefore, we instead consider a general leader-follower\u00a0framework, where a group of agents with external inputs are selected as leaders in order to drive the\u00a0group of followers in a way that the entire system can achieve the target formation within certain\u00a0prescribed performance transient bounds. Then, we investigate the topological conditions on the\u00a0leader-follower networks under which we can design the leaders to achieve the target formation within\u00a0such prescribed transient bounds. In this leader-follower framework, we also apply the formal\u00a0methods based approaches in order to specify more complex and high-level task specifications that\u00a0cannot be easily defined as classic control objectives. Signal Temporal Logic (STL), which is based on\u00a0continuous time signals, has the added feature of formulating both time and space constraints, and\u00a0thus provides potentials to deal with quantitative transient constraints for multi-agent systems.\u00a0Therefore, we propose a funnel-based approach for the cooperative control of leader-follower multi-agent systems under STL specifications.<\/p>\n
Fei Chen<\/strong> is currently a Ph.D. student in the Division of Decision and Control Systems at KTH\u00a0Royal Institute of Technology (Sweden). He received his M.Sc. degree from the Systems and Control\u00a0group in the Electrical Engineering Department at Eindhoven University of Technology (Netherlands)\u00a0in 2016. He received his B.Sc. degree in the Department of Control Science and Engineering at\u00a0Zhejiang University (China) in 2014. His research interests are situated on the edge between control\u00a0theory and formal methods in computer science, with particular interests in formal verification and\u00a0control synthesis for multi-agent systems under temporal logic specifications.<\/p>\nFaculty Host:<\/strong> Christos Cassandras
\nStudent Host: <\/strong>Ahmad Ahmad<\/p>\n","protected":false},"excerpt":{"rendered":"Date: February 3, 2022 Time: 3:00PM-4:00PM Location: 8 Saint Mary\u2019s Street, PHO 203 Fei Chen Systems Engineering Visiting Scholar PhD Candidate, KTH Royal Institute of Technology Funnel Control for Leader-Follower Multi-Agent Systems and Its Application to STL Tasks Significant research has been devoted to the problem of distributed formation control of\u00a0multi-agent systems. These distributed strategies […]<\/p>\n","protected":false},"author":18605,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/no-sidebars.php","meta":[],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/37229"}],"collection":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/users\/18605"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/comments?post=37229"}],"version-history":[{"count":10,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/37229\/revisions"}],"predecessor-version":[{"id":38158,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/37229\/revisions\/38158"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/media?parent=37229"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Faculty Host:<\/strong> Christos Cassandras Date: February 3, 2022 Time: 3:00PM-4:00PM Location: 8 Saint Mary\u2019s Street, PHO 203 Fei Chen Systems Engineering Visiting Scholar PhD Candidate, KTH Royal Institute of Technology Funnel Control for Leader-Follower Multi-Agent Systems and Its Application to STL Tasks Significant research has been devoted to the problem of distributed formation control of\u00a0multi-agent systems. These distributed strategies […]<\/p>\n","protected":false},"author":18605,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/no-sidebars.php","meta":[],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/37229"}],"collection":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/users\/18605"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/comments?post=37229"}],"version-history":[{"count":10,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/37229\/revisions"}],"predecessor-version":[{"id":38158,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/37229\/revisions\/38158"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/media?parent=37229"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nStudent Host: <\/strong>Ahmad Ahmad<\/p>\n","protected":false},"excerpt":{"rendered":"