This paper presents a control strategy based on a new notion of time-varying fixed-time convergent control barrier functions (TFCBFs) for a class of coupled multi-agent systems under signal temporal logic (STL) tasks. In this framework, each agent is assigned a local STL task regradless of the tasks of other agents. Each task may be dependent on the behavior of other agents which may cause conflicts on the satisfaction of all tasks. Our approach finds a robust solution to guarantee the fixed-time satisfaction of STL tasks in a least violating way and independent of the agents' initial condition in the presence of undesired violation effects of the neighbor agents. Particularly, the robust performance of the task satisfactions can be adjusted in a user-specified way.
Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
Amazon Robotics（亚马逊机器人）；Department of Mechanical Engineering（机械工程系）；Worcester Polytechnic Institute（沃斯堡技术学院）；Department of Electrical and Computer Engineering and the Department of Computer Science（电气与计算机工程系和计算机科学系）
Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
School of Automation Science and Electrical Engineering, Beihang University（北京航空航天大学自动化科学与电气工程学院）；Hangzhou Innovation Institute, Beihang University（北京航空航天大学杭州创新研究院）；State Key Laboratory of Industrial Control Technology, Zhejiang University（浙江大学工业控制技术国家重点实验室）
Breaking the Convergence Barrier: Optimization via Fixed-Time Convergent Flows
Indian Institute of Technology Kharagpur（印度理工学院卡拉格普尔分校）；Tata Consultancy Services Research（塔塔咨询服务公司研究院）；University of California, Santa Cruz（加利福尼亚大学圣克鲁兹分校）
