Control Barrier Functions for Signal Temporal Logic Tasks

@article{Lindemann2019ControlBF,
  title={Control Barrier Functions for Signal Temporal Logic Tasks},
  author={Lars Lindemann and D. Dimarogonas},
  journal={IEEE Control Systems Letters},
  year={2019},
  volume={3},
  pages={96-101}
}
The need for computationally-efficient control methods of dynamical systems under temporal logic tasks has recently become more apparent. [...] Key Method In particular, time-varying control barrier functions are considered where the temporal properties are used to satisfy signal temporal logic tasks. The resulting controller is given by a switching strategy between a computationally-efficient convex quadratic program and a local feedback control law.Expand
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks
TLDR
This work proposes a computationally-efficient control strategy to solve the multi-agent control synthesis problem that results in a robust satisfaction of a set of signal temporal logic tasks and proposes a decentralized feedback control law based on time-varying control barrier functions. Expand
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks
TLDR
This work derives collaborative feedback control laws based on a decentralized control barrier function condition that results in discontinuous control laws, as opposed to a centralized condition resembling the single-agent case. Expand
Continuous-time Signal Temporal Logic Planning with Control Barrier Functions
TLDR
An offline trajectory planner for linear cyber-physical systems with continuous dynamics, where controls are generated by digital computers in discrete time is proposed, based on a Mixed Integer Quadratic Programming (MIQP) formulation that utilizes CBFs to produce system trajectories that are valid in continuous time. Expand
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications
TLDR
A fully automatic framework that translates a user defined specification in temporal logic to a sequence of barrier function based quadratic programs is presented and it is proved that the resulting system trajectory synthesized by the proposed controller satisfies the given specification. Expand
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
TLDR
This brief presents the implementation and experimental results of two frameworks for multi-agent systems under temporal logic tasks, which were recently proposed, and proposes to combine the two aforementioned frameworks to use the strengths of both LTL and STL. Expand
Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks
TLDR
This paper proposes to combine the benefits of the two approaches and use an efficient prescribed performance control (PPC) base law to guide exploration within the reinforcement learning algorithm. Expand
High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications
TLDR
The proposed HOCLBFs can be used to guarantee the Boolean satisfaction of Signal Temporal Logic formulae over the state of the system and illustrate the approach on a safety-critical optimal control problem (OCP) for a unicycle. Expand
Gradient-Based STL Control with Application to Nonholonomic Systems
TLDR
A class of controllers capable of providing satisfaction guarantees for simple systems and specifications is introduced and then extended for the case of unicycle-like dynamics, and the possibility of combining such controllers in order to tackle more complex task specifications while retaining their computational efficiency is examined. Expand
Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks
TLDR
This work proposes a hybrid feedback control strategy using time-varying control barrier functions that finds least violating solutions in the aforementioned conflicting situations based on a suitable robustness notion and by initiating collaboration among agents. Expand
Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications
TLDR
This is the first paper proposing a QP based method for the aforementioned problem of satisfying spatiotemporal specifications for nonlinear control-affine dynamics with input constraints, and it is shown that such spatio-temporal specifications can be translated into temporal logic formulas. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 22 REFERENCES
Prescribed performance control for signal temporal logic specifications
TLDR
Simulations of a multi-agent system, using consensus dynamics, show that a wide range of specifications, i.e., formation, sequencing, and dispersion, can be robustly satisfied. Expand
Robust temporal logic model predictive control
  • S. Sadraddini, C. Belta
  • Mathematics, Computer Science
  • 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton)
  • 2015
TLDR
This paper introduces a (conservative) computationally efficient framework to synthesize control strategies based on mixed integer programs that satisfy the temporal logic requirements, are robust to all possible realizations of the disturbances, and optimal with respect to a cost function. Expand
Temporal logic motion planning for dynamic robots
TLDR
This paper designs a control law that enables the dynamic model to track a simpler kinematic model with a globally bounded error and builds a robust temporal logic specification that takes into account the tracking errors of the first step. Expand
Model predictive control with signal temporal logic specifications
TLDR
This work describes the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness, and encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a model predictive control framework. Expand
Deductive control synthesis for alternating-time logics
TLDR
This work shows that reasoning about temporal logic constraints in ATL*, an expressive branching-time logic that allows for quantification over control strategies, can be reduced effectively to reasoning about combinations of barrier certificates and Lyapunov functions. Expand
Nonsmooth Barrier Functions With Applications to Multi-Robot Systems
TLDR
This letter extends previously established concepts for barrier functions to a class of nonsmooth barrier functions that operate on systems described by differential inclusions, and validates the results by deploying Boolean compositions of nonsMooth Barrier functions onto a team of mobile robots. Expand
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
We present a computational framework for automatic synthesis of decentralized communication and control strategies for a robotic team from global specifications, which are given as temporal and logicExpand
Constrained control of input-output linearizable systems using control sharing barrier functions
TLDR
This paper investigates a control-sharing property for multiple CBFs and provides sufficient and necessary conditions for the property to hold and studies the tracking control design problem of an input–output linearizable system with multiple time-varying output constraints. Expand
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
TLDR
This paper develops a methodology that allows safety conditions—expression as control barrier functions—to be unified with performance objectives—expressed as control Lyapunov functions—in the context of real-time optimization-based controllers. Expand
Stabilization with guaranteed safety using Control Lyapunov-Barrier Function
TLDR
A novel nonlinear control method for solving the problem of stabilization with guaranteed safety for nonlinear systems based on the merging of the well-known Control Lyapunov Function and the recent concept of Control Barrier Function. Expand
...
1
2
3
...