4.8 Article

Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks

Related references

Note: Only part of the references are listed.
Article Automation & Control Systems

Distributed model predictive control for multi-robot systems with conflicting signal temporal logic tasks

Xiaoyi Zhou et al.

Summary: This paper studies the control problem of multi-robot systems under temporal logic tasks with limited time and logic constraints. A distributed model predictive control (DMPC) strategy is proposed to handle conflicting temporal logic tasks. The strategy utilizes signal temporal logic (STL) to describe the tasks, and introduces compatibility constraints and slack parameters to address conflicts. By incorporating discrete events into the DMPC optimization problem, the proposed method can satisfy motion tasks and safety requirements as much as possible.

IET CONTROL THEORY AND APPLICATIONS (2022)

Article Robotics

Multi-Agent Motion Planning From Signal Temporal Logic Specifications

Dawei Sun et al.

Summary: This article addresses the challenging problem of multi-agent cooperative motion planning using signal temporal logic (STL) for complex tasks. A method based on timed waypoints is proposed and evaluated on various benchmarks, demonstrating its superiority over existing abstraction-based and model predictive control (MPC)-based motion planning methods for multi-agent planning with complex specifications and long planning horizons.

IEEE ROBOTICS AND AUTOMATION LETTERS (2022)

Article Automation & Control Systems

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables

Vincent Kurtz et al.

Summary: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP). In this letter, we propose a more efficient MICP encoding for STL, which can encode disjunction using a logarithmic number of binary variables and encode conjunction without binary variables. Simulation examples demonstrate the superior performance of our proposed approach for long and complex specifications. Open-source software is available: https://stlpy.readthedocs.io.

IEEE CONTROL SYSTEMS LETTERS (2022)

Article Automation & Control Systems

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints

Wenliang Liu et al.

Summary: This paper proposes a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discrete-time system that satisfies Signal Temporal Logic (STL) formulae.

IEEE CONTROL SYSTEMS LETTERS (2022)

Article Automation & Control Systems

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

Lars Lindemann et al.

Summary: This paper presents the implementation and experimental results of two frameworks for multi-agent systems under temporal logic tasks, where each agent is subject to either a local LTL or STL task and tasks may be coupled. The experimental results include three scenarios demonstrating a variety of tasks.

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2021)

Article Automation & Control Systems

Nonlinear Model Predictive Trajectory Tracking Control of Underactuated Marine Vehicles: Theory and Experiment

Haojiao Liang et al.

Summary: The article investigates trajectory tracking control for underactuated marine vehicles using nonlinear model predictive control (NMPC) with practical constraints. A novel NMPC algorithm is proposed, incorporating an auxiliary time-varying tracking controller and systematic parameter design. Simulation and hardware experiments confirm the effectiveness of the designed algorithm.

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2021)

Article Automation & Control Systems

Multiple-Target Surrounding and Collision Avoidance With Second-Order Nonlinear Multiagent Systems

Bin-Bin Hu et al.

Summary: This article proposes an equal-distance surrounding control method for second-order nonlinear multiagent systems, which uses a distributed estimator and adaptive distributed control law to achieve collaborative surrounding of multiple moving targets while meeting stability conditions. Experimental results with unmanned surface vessels confirm the effectiveness of the proposed method.

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2021)

Article Automation & Control Systems

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

Yann Gilpin et al.

Summary: Signal Temporal Logic (STL) has gained popularity in formal specification for symbolic control due to its expressive nature close to natural language. Recent research has focused on using smooth approximations of robustness to enable faster methods for finding local maxima, albeit potentially sacrificing accuracy and/or completeness. A novel robustness approximation has been proposed, which is smooth, sound, and asymptotically complete, offering an explicit tradeoff between conservativeness and completeness.

IEEE CONTROL SYSTEMS LETTERS (2021)

Article Robotics

Multirobot Coordination With Counting Temporal Logics

Yunus Emre Sahin et al.

IEEE TRANSACTIONS ON ROBOTICS (2020)

Article Automation & Control Systems

Optimal Model-Free Output Synchronization of Heterogeneous Multiagent Systems Under Switching Topologies

Chaoxu Mu et al.

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2020)

Proceedings Paper Automation & Control Systems

What to Do When You Can't Do It All: Temporal Logic Planning with Soft Temporal Logic Constraints

Hazhar Rahmani et al.

2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) (2020)

Proceedings Paper Automation & Control Systems

Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control

Tongjia Zheng et al.

2020 AMERICAN CONTROL CONFERENCE (ACC) (2020)

Article Automation & Control Systems

Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks

Lars Lindemann et al.

IEEE CONTROL SYSTEMS LETTERS (2019)

Article Automation & Control Systems

Control Barrier Functions for Signal Temporal Logic Tasks

Lars Lindemann et al.

IEEE CONTROL SYSTEMS LETTERS (2019)

Article Automation & Control Systems

Consensus Control for a Multi-Agent System With Integral-Type Event-Triggering Condition and Asynchronous Periodic Detection

Aiping Wang et al.

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2017)

Article Automation & Control Systems

Distributed MPC for formation of multi-agent systems with collision avoidance and obstacle avoidance

Li Dai et al.

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS (2017)

Article Automation & Control Systems

Distributed MPC of Aggregated Heterogeneous Thermostatically Controlled Loads in Smart Grid

Mingxi Liu et al.

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2016)

Article Automation & Control Systems

A synthesis approach of distributed model predictive control for homogeneous multi-agent system with collision avoidance

Peng Wang et al.

INTERNATIONAL JOURNAL OF CONTROL (2014)

Article Automation & Control Systems

Iterative Distributed Model Predictive Control of Nonlinear Systems: Handling Asynchronous, Delayed Measurements

Jinfeng Liu et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)